为什么AI总在“证伪”而非“证明”？同济陈小杨：大猜想的证明需要新工具，AI目前做不到

近几个月来，从组合几何到雅可比猜想，多个纯数学领域的重要问题被AI逐一否决。为什么AI总在“证伪”而非“证明”？同济大学数学科学学院长聘副教授陈小杨告诉澎湃科技，大猜想的证明需要突破现有工具，这是AI尚未具备的能力；而构造反例本质上是一场极其复杂的搜索，恰好发挥了AI擅长海量计算与自我迭代的优势。