AI破解数学难题，顶尖数学家怎么看

“ 可以说，数学是一个有机整体吧。 有关它的重大问题的解决，会吸引更多人来投身； 投身其中的人，又创造更多可能性。 人类就是在一个个可能性里面创造奇迹。 要是把这些可能性都扼杀掉了，那奇迹可能就被扼杀了。 ” OpenAI一次性公开了722篇由内部模型生成的数学研究手稿，分为372组相关成果，涉及多个数学分支。 部分成果尚待进一步验证，此后也有部分手稿被撤回。 此前，OpenAI曾于5月宣布用通用推理模型攻克了单位距离问题。

Nature杂志发表深度专题报道，呼吁重视AI生成证明的可靠性、研究成果的署名及同行评议等问题。 25位菲尔兹奖得主联名发表声明，指出解决难题并非数学研究的全部目标。 数学家陶哲轩在个人博客转载人类数学协会声明，对大规模集中发布研究手稿的方式提出质疑。 人类发明概念、修正直觉、建立理论，训练后来者如何思考。 如果机器可以迅速抵达终点，那么那些发生在抵达之前的事情，还意味着什么？ 什么才算数学？ 人类又究竟希望从数学中得到什么？

复旦大学上海数学中心、数学科学学院教授李志远，从数学家的具体经验出发，讨论AI进入数学研究之后，数学正发生着怎样的变化，数学家们又如何重新理解自己的工作，以及“数学”本身。 李志远认为，AI对计算类问题的解决很擅长，但在代数几何领域，部分问题尚且无法被AI解答。 数学是探索真理的科学，数学真理在被我们发现并转译如为人类可理解的知识之前，就已经存在。 AI在这方面或许比我们更强，但就其本质而言仍是临摹。 数学的发展不仅依靠解决已有问题，也依靠创造新的概念和理论框架。

AI若不能转化为人类能够理解的语言，这种临摹对人类而言就没有意义。 数学不存在了吗？ 数学家愿意用数十年去研究某些难题，因为这些数学问题可以视作夜航中的灯塔。 面对网络上“数学不存在了”等论调，李志远并不认为数学不存在了，AI带来的不确定性冲击了每个行业。 AI的发展对数学工作者的学术能力提出了更高要求。 在AI时代，想要投身数学研究的学生们应该培养自己的能力，对问题的理解力不要退化，不是什么事情都交给AI就可以了。