据《Quanta Magazine》报道，人工智能模型正以不断加快的速度，协助数学家发现并证明新的研究成果。
这一变革在2025年7月迎来了爆发点。当时，多个AI模型在国际数学奥林匹克竞赛（IMO）中表现惊人，成功解决了六道题目中的五道。尽管竞赛题目本质上是已有标准答案的逻辑难题，而非尚未解决的开放性研究课题，但其展现出的性能仍令数学界感到震撼。
此前，许多数学家曾认为AI极易出错，并对其持否定态度，但现在他们已开始利用这项技术开拓新的研究领域。据该媒体报道，部分研究人员现在仅用一天时间，就能完成过去需要数周甚至数月的手动推导工作。
在某些情况下，算法现在能够在极少人工干预的情况下，自主提出猜想、完成证明并验证结果。此外，还有研究人员通过与ChatGPT、Claude或Gemini等大语言模型进行深度对话，来开发全新的证明策略。
研究方法的范式转移
加州大学洛杉矶分校的著名数学家陶哲轩（Terence Tao）指出，2025年是AI真正开始在各类数学任务中发挥实用价值的一年。
在描述人类研究者与AI工具之间的协同效应时，陶哲轩形象地比喻道：“这个人手里有一把铲子，那个人手里有一把镐。有了它们，我们就能合力开凿隧道。”
陶哲轩还预言，该领域将经历重大的结构性变革。他认为，数学家未来的研究模式将不再是逐个攻克难题，而是利用这些工具同时解决成千上万个问题，并进行大规模的统计学研究。
尽管这项技术正在改变科研工作流，但陶哲轩也提到，没有人指望AI会取代人类数学家，尽管学术机构和研究文化层面上的重大变革已不可避免。
《Quanta Magazine》的报道还提到，多伦多大学的丹尼尔·利特（Daniel Litt）也证实，人工智能正在从根本上改变数学研究的实践方式。
