震惊！全球顶尖数学家竟在五一假期“疯狂“敲代码！AI协作或将彻底改变数学研究方式！-CSDN博客

五一假期，你在干什么？旅游？追剧？而世界顶级数学家、菲尔兹奖得主陶哲轩，却在忙着发布自己的开源项目！

"我在大模型的协助下编写了一个概念验证软件工具，用于验证涉及任意正参数的给定估计是否成立(在常数因子范围内)。"

震惊！谁能想到数学界的"半神"陶哲轩竟亲自上阵编码，还公开发布在GitHub上？（Giithub链接在文章底部）更惊人的是，他仅用了4小时就完成了这个验证器的编写，而这一切都归功于AI的"频繁协助"！

数学界"半神"的AI协作秘籍

陶哲轩是谁？他13岁获国际数学奥林匹克金牌，21岁获普林斯顿大学博士学位，24岁成为UCLA终身教授，31岁获数学界最高荣誉菲尔兹奖。他在调和分析、偏微分方程、组合数学等领域有重大贡献，被誉为当代最伟大的数学家之一。

这样一位数学巨擘，为何如此热衷于探索AI工具？

陶哲轩与AI的"蜜月期"始于2022年底ChatGPT发布后。起初，他把ChatGPT当作兴趣性工具，用来把数学内容变成儿歌、故事等。他曾回忆说，一开始让ChatGPT回答复杂数学问题时，"它给出的答复很荒诞"，语言通顺但"没有深度"。

转折点发生在他开始尝试GPT-4。他没有让AI直接解答问题，而是指令GPT-4"提供解题策略和方向建议，而不是直接尝试解题"。结果令人惊喜——他发现AI可以作为"热情的头脑风暴伙伴"，有时给出他已知的相关思路，偶尔还能提供"非显而易见"的建议。

2023年7月，一个重要事件引发学界关注：陶哲轩成功"用GPT-4解决了一个数学证明题"。具体做法令人惊叹——GPT-4为他提出了8种可能的解题方法，其中1种最终奏效！这一成功验证了他关于"让AI扮演合作者"策略的有效性。

2023年3月，他首次公开宣布"多种AI工具都会纳入自己的工作流"。越来越多的证据表明，陶哲轩不仅是AI应用的早期采纳者，更是在深度探索其在高阶数学研究中的潜力。

2024年6月，在《科学美国人》的重磅访谈中，陶哲轩分享了他对AI与数学未来的大胆构想：

"现在我们可能需要逐个去证明定理，就像一个个工匠手工打造木偶；而AI出现后，我们可以开始批量证明数百、上千个定理"

他描绘了一幅数学研究"流水线"式生产的图景，以及"人类-AI共驾"模式的前景。他比喻道：就像棋类游戏在AI征服后反而更加繁荣，因为人们可以用引擎进行前20步的检验；他设想数学也会如此。

陶哲轩特别关注形式化证明工具。他与团队一起用Lean形式化验证了多项Freiman–Ruzsa猜想的最新证明，这一过程汇集了全球20多名合作者的智慧。他强调"合作式数学"才会兴起：形式化证明检查器让团队协作成为可能，每人分工做自己擅长的小部分，由程序100%保证正确性。

2024年10月，面对OpenAI推出的新模型o1，他坦言其推理能力仅相当于"一个表现平庸但不完全无能的"研究生助手。虽然评价不高，但他依然看好AI的发展潜力。

2025年5月，陶哲轩的实践更进一步——他开源了一个自动验证分析学中形式估计的工具。这个工具能验证$X\lesssim Y$等不等式是否成立，为数学家提供了强大的自动化支持。

最令人震惊的是，他仅用4小时就在ChatGPT的协助下完成了整个编程过程！这个效率提升是革命性的。在GitHub上公开的对话中，我们可以看到陶哲轩与ChatGPT的密切协作：

他先向AI提出需求："我想编写一些Python类来操作符号表达式。并且希望有一个表示变量的类，比如x、y、z...... 你能帮我编写一些具有这种功能的基础类来入门吗？"

ChatGPT仅思考6秒就给出答案。随后陶哲轩不断提问，AI也做到有问必答，从简单到复杂的编程问题都迎刃而解。

陶哲轩大胆预测："如果使用得当，到2026年，AI将成为数学研究和许多其他领域值得信赖的合著者。"

他已经开始构建面向这一未来的基础设施。2024年12月，他加入"AI for Math基金"咨询委员会，为自动定理证明项目提供指导。2024年9月，他在博客上提出普遍代数方向的试点合作项目，探索如何将AI工具应用于众包数学研究。

不过，陶哲轩也清醒地认识到AI的局限。他指出AI生成的证明常含"十之八九是废话"，需要逐行检查。因此，他认为数学家需要重新学习如何判断新型文本的正确性。但是，陶哲轩将AI视为数学研究的"副驾驶"：它可以在数年内提升辅助能力，但真正的创见和关键想法仍需人类引导。

陶哲轩的实践告诉我们：顶尖人才不是排斥新技术，而是主动拥抱并探索如何将其整合到工作中。通过让AI处理繁琐细节，人类才能将更多精力放在真正的创造性思考上。

也许，这就是未来科研的新常态——人机协作，相互赋能，共同推动知识边界的拓展！

开源项目地址：https://github.com/teorth/estimates

陶哲轩和ChatGPT的对话记录：https://chatgpt.com/share/68143a97-9424-800e-b43a-ea9690485bd8

最近，我们的线上课程更新了大量新内容，包括桌面软件和Chrome插件开发，以及我们的知识管理专项课。今天3点前下单赠送的实体指南会在今天发货，下一次实体指南发货时间是6月1号。有需要的可以看一下。

https://qwyofiv4bd3.feishu.cn/wiki/EYrIwgZlriIy8hkX73dcSPumnuc