AI把数学干废了这个问题我思考了一阵子了。AI干废的是不会用AI的数学家，新人能利用AI做出很好的成果，发现新大陆

1. 以后，人类菲尔兹奖级别的数学贡献，会很容易得到。数学界之前就有评论，王虹与邓煜获得的菲尔兹奖是最后一个人类奖。这次OpenAI公布的722篇成果，里面就有个比王虹三维挂谷问题难度更高的，四维挂谷问题的证明。

2. 顶尖数学家震惊、拒绝，集体批评OpenAI破坏人类数学学术传统，拿出不好理解的论文。这是因为这些进展不好懂，却要人类数学家去验证真假，而且还没有新方法，学不到东西。

3. 这个效果是，顶尖数学家很可能受害了。以前他们引以为傲的数学成就，AI三小时就干出来了。但是，有没有学数学的人受益？也还是有的。我就有数学博士朋友，做别的事去了，但很多年来还是喜欢数学，找我要了OpenAI的BSD论文，已经用AI重新找到了感觉。

4. 我觉得AI并没有减少数学本身的魅力。喜欢数学的人还是很多，虽然AI可以很快给出答案，这并没有让数学就变得没意思。很多数学难题，人们题目都看不懂，但是也有兴趣，更别说能看懂题目的著名猜想。这些是数学爱好者的终极兴趣，他们对数学家并没有太多兴趣，本质还是对数学的兴趣。如果AI能解决更多难题，证明哥德巴赫猜想、孪生素数猜想，这不是很好的事么？

5. 现在，不能拒绝AI，需要的是与AI合作。几个任务，一个是把AI的突破解说好，这只是时间问题，如果AI的证明确实是对的，总会得到验证，总会有数学界的人出来解说。

6. 更重要的，是改变数学的研究方式，过去的人类数学研究可以大幅改进了。细节交给AI，人类发明框架，让AI去暴力突破。这绝对大有可为，现在AI还没能包打天下，没有发明新东西，只是利用算力优势做了人没法尝试的对无数个方向进行组合搜索。人机结合，不断突破，人类负责使用AI，输出对人类阅读友好的论文版本。顶尖数学家需要学习AI，不然肯定会被善于使用AI的数学家超过。以后顶尖数学家的定义会被改变，顶尖意思就是用AI、指导AI做数学最厉害。

7. 杨立坤的评论很好：“数学根本没有死，而是正迎来一个前所未有的新时代！形式化证明将被极大地自动化，但这并不意味着人类失去价值。未来数学研究的重点将转向发展新概念、新抽象、新定义和新猜想。轮船的发明确实降低了人类自己'游泳'的重要性。但轮船让我们发现了新大陆！”人类数学家应该驾驶AI航船，探索激动人心的数学新大陆。