同济学者陈小杨谈AI与数学：擅长构造反例，大猜想证明仍需新工具

2026年9月4日，同济大学数学科学学院长聘副教授陈小杨在接受澎湃新闻采访时，就人工智能在数学研究中的作用发表了自己的看法。他认为，AI在数学领域的能力存在明显边界：重大猜想的证明需要突破现有工具，而这正是AI目前尚不具备的能力；但构造反例本质上是一场极其复杂的搜索，恰好可以发挥AI擅长海量计算与自我迭代的优势。

陈小杨表示，大猜想的证明往往需要新的数学工具，而AI目前尚未展现出创造这类工具的能力，因此在这一任务上存在明显局限。相比之下，构造反例的过程更像是在一个巨大的可能性空间中寻找特例，需要遍历海量组合并不断调整策略，这与AI强大的计算能力和快速迭代特征高度契合。

此次采访中，陈小杨并未针对某个具体数学猜想展开分析，而是从方法论层面探讨了AI与数学研究的关系。这一观点也反映出当前学术界对AI能力的普遍认知：AI可以在特定任务中辅助数学家，但要独立完成重大理论突破，仍有很长的路要走。