AI两小时干翻博士论文，菲尔兹奖进入"2030倒计时"？

温故智新AIGC实验室

TL;DR：

菲尔兹奖得主Timothy Gowers亲测ChatGPT 5.5 Pro，结果AI零提示下两小时交出博士论文级证明。他感叹"我的数学输入为零"，并预测菲尔兹奖大概能撑到2030年。更扎心的是，即将上台领奖的得主也在一道经典难题上输给了AI。数学圈开始认真思考：人类最高数学荣誉，是不是要改规则了？

7月23日，国际数学家大会（ICM 2026）将在费城开幕，四年一度的菲尔兹奖即将颁出。但就在开幕前一周，一条推文直接炸了锅。

"最后一次人类菲尔兹奖"

Anthropic技术员工、前Google Gemini高级机器学习工程师Alek Dimitriev在X上发帖："下周颁发的菲尔兹奖，将是人类最后一次拿到这个奖。"1

这暴论迅速引来围观，就连深度学习圈的大佬Christian Szegedy都连夜转发。2 Szegedy是谁？Inception网络（GoogLeNet）一作、Batch Normalization共同作者、最早系统研究对抗样本的数学大神。2023年加入xAI，2025年创立Math Inc，目标是用自动形式化搞出可验证的超级智能。2

一个天天推模型极限，一个从深度学习奠基转战机器验证数学，两人却同时得出一个结论：菲尔兹奖，到头了。

真正让这场讨论从"危言耸听"变成"现实课题"的，是一位获奖者本人的现身说法。

Gowers的测试：我的输入是零

就在Szegedy转发第二天，菲尔兹奖得主、剑桥教授Timothy Gowers出现在评论区："我也有过类似想法，不过有滞后，大概能撑到2030年。"2

Gowers不是随口一说——两个月前他刚做了一场实验，结果让自己都惊到了。3

他把数学家Nathanson论文中的一道开放题丢给了ChatGPT 5.5 Pro：给定整数个数k和和集的大小，让集合中最大数尽可能小。Nathanson给出的答案是2的k次方量级（20个数最大约100万），并问能否改进。

17分5秒，模型交回一个构造——压到了平方量级，20个数最大只要几百，而且已达到最优。

Gowers让它写成正规预印本格式：2分23秒。再挑战更难的版本——改进MIT本科生Rajagopal论文中的界：16分41秒把指数压到平方根指数，写预印本47分39秒。Rajagopal本人验证：看起来是对的。

最后Gowers问能否彻底摆脱指数式膨胀。模型13分33秒想出方案，核实两个命题各用9分钟，最后31分40秒产出预印本。全程不到两个小时。

Gowers在博客里给了评价："相当于组合数学博士论文里完全合理的一章。" 然后补了一句真正扎心的：

"我的数学输入是零，我甚至没在提示词上做任何花样。"3

"这想法我琢磨两周会非常自豪，AI用了一小时"

Rajagopal在Gowers的博客里专门写了一节分析模型思路。第一步改进他认为是"常规改动"。真正让他坐不住的是第二步：原来数列1,4,16,64翻倍涨；ChatGPT换了个思路——先找一组彼此相加不会撞车的数，再把每个数乘以同一倍数复制出一份。翻倍数列中"四个小的等于一个大的"的关系被原样保留，所有数却压缩在小范围里。

Rajagopal说："这像把半条几何级数塞进多项式区间，相当反直觉。而且据我所知，这个想法完全是原创的。" 他最后写了一句话让所有数学博士生背后一凉：

"这是我琢磨一两星期后想出来会非常自豪的那类想法。而ChatGPT用了不到一小时，找到它，并且证明了它。"3

即将领奖的菲尔兹得主：这道题我输给了AI

Gowers的实验后没几天，OpenAI又扔出一个炸弹：一个内部通用推理模型，推翻了大数学家埃尔德什1946年提出的平面单位距离猜想。4 普林斯顿的Noga Alon说，这是埃尔德什最喜爱的难题之一，AI解法彻底攻克了这个历史难题，改变了几十年共识。

评价这份证明的人里，有一位叫Jacob Tsimerman——他正是即将在7月23日站上菲尔兹领奖台的四位得主之一。Tsimerman透露：他自己曾短暂研究过这道题，试着构造反例，但没能取得进展。 他即将代表人类领取数学最高荣誉，而在埃尔德什的难题上，他刚被AI悄悄超越。4

2030大限，然后呢？

Szegedy在争议中说出了关键：菲尔兹奖的目的是奖励年轻天才并鼓励他们继续做数学。如果AI的贡献难以评估，这个奖的意义就成了问题。2

Gowers做了一个思想实验：假如一位数学家通过与AI长期对话解决了重大难题，他起了引导作用但技术活全是AI干的，我们会把它当成这位数学家的重大成就吗？他的答案：不会。3

他把话挑得更明：如果你做数学的目标是让自己的名字永远和某个定理绑在一起，那这个时代可能撑不了太久了。但跟难题死磕仍然值得——价值在于获得对解题过程本身的洞察，这种洞察是读别人答案换不来的。他打了个比方：代码写得好的人，用AI写代码也比水平一般的人强；算术扎实的人，用计算器也更易察觉答案不对劲。 解过难题留下的"手感"，正在变成驾驭AI的入门级能力。3

另一位菲尔兹奖得主陶哲轩将在ICM 2026上做公开讲座《AI时代的数学》。4 他5月在斯坦福讲完《新数学工作流》后宣布改变工作习惯——不再试图实时跟进所有新证明，因为AI生成证明的速度已经超过人类消化速度。他甚至建议：给AI生成数学和人类数学分设不同发表场所，就像高速公路和人行道。4

这件事迅速发酵，量子位5、智源社区6、CSDN7、知乎8、腾讯科技9等纷纷跟进报道，几乎都在重复同一个疑问：数学研究者，路在何方？

博士生们：练好"手感"再上车

Gowers算过一笔时间账：今年秋天入学的博士生，最早2029年才能毕业。到那时，做数学研究这件事意味着什么，可能已经面目全非。3

对于数学专业的学生，这份"2030大限"预测不是末日，而是一份职业规划提示：在AI能两小时搞出博士论文的时代，只靠会解题已经不够。或许正如Gowers所说，真正的价值是那颗"解题手感"——它让你能和AI聊出深度，而不是被AI替代。

菲尔兹奖的2030悬疑，其实是对人类数学教育的一次倒计时。 你是准备继续卷解题，还是先跟AI交个朋友？

引用：

  1. Alek Dimitriev (@tensor_rotator) on X (2026/7/18). "下周颁发的菲尔兹奖，将是人类最后一次拿到这个奖。" https://x.com/tensor_rotator/status/2078335791156310369 ↩︎

  2. Christian Szegedy (@ChrSzegedy) on X (2026/7/19). 转发并讨论菲尔兹奖未来. https://x.com/ChrSzegedy/status/2078624857223536824 ↩︎ ↩︎ ↩︎ ↩︎

  3. Gowers, Timothy (2026/5/8). A recent experience with ChatGPT 5.5 Pro. https://gowers.wordpress.com/2026/05/08/a-recent-experience-with-chatgpt-5-5-pro/ ↩︎ ↩︎ ↩︎ ↩︎ ↩︎ ↩︎

  4. 新智元 (2026/7/24). AI不到两小时搞定一章博士论文，菲尔兹奖还能撑到2030年吗？ https://mp.weixin.qq.com/s/tZ44rXrMDJJldRt5ZP8GPA ↩︎ ↩︎ ↩︎ ↩︎

  5. 量子位 (2026/5/11). 数学专业，危！菲尔兹奖得主亲测ChatGPT 5.5 Pro，17分钟出论文级... https://www.qbitai.com/2026/05/415186.html ↩︎

  6. 智源社区 (2026/5/11). 菲尔兹奖得主0贡献！GPT-5.5 Pro两小时跑出博士级证明 https://hub.baai.ac.cn/view/54581 ↩︎

  7. CSDN (2026/5/12). 菲尔兹奖得主体验ChatGPT 5.5 Pro：AI冲击下，数学研究的危机与人类... https://blog.csdn.net/techforward/article/details/160989729 ↩︎

  8. 知乎 (2026/5/12). 菲尔兹奖得主用AI解出博士级数学题，然后他开始为博士生们发愁了 https://zhuanlan.zhihu.com/p/2036883659161069509 ↩︎

  9. 腾讯网 (2026/5/11). 数学专业，危！菲尔兹奖得主亲测ChatGPT 5.5 Pro https://view.inews.qq.com/a/20260511A05ESW00 ↩︎