🤖 AI · 数学 · 科技前沿

🔥 刚拿菲尔兹奖就跳槽OpenAI，Jacob Tsimerman的"两年预言"不是危言耸听——AI正在从计算器变成数学家，而人类的护城河正在以肉眼可见的速度归零。

一、菲尔兹奖得主的"倒戈"

2026年7月23日，费城国际数学家大会，四位新科菲尔兹奖得主刚刚接过奖章。其中一位——38岁的加拿大多伦多大学教授Jacob Tsimerman——却在记者会上扔出一枚炸弹：他即将加入OpenAI从事AI安全研究，不再招收任何新的数学博士生。理由很简单：他认为两年内AI将在所有数学证明领域彻底超越人类数学家，培养一个"可能很快消失的职业"没有意义。

Tsimerman不是外行。他两届IMO金牌得主，多伦多大学史上最年轻正教授，刚刚证明了悬置近40年的安德烈-奥尔特猜想。在数学界，他属于金字塔尖那万分之一。而现在，这个人说他担心数学职业"不会再以现在的形式存在了"。

二、"我已经被AI提速一倍"

Tsimerman不是站在AI门外做判断。他每天都在用ChatGPT和Claude做研究，AI已经把科研效率提高了一倍以上。让AI梳理问题边界、检索文献、生成证明思路，虽然"它给出的证明通常是错的，但通常能把正确方向拉出来，帮我走完80%"。2025年他往arXiv上传了5篇论文，这还没算那篇标题吓人的第六篇——《涉及AI的灭绝性未来的分类》。

更让人后背发凉的是2026年5月，OpenAI用模型推翻了单位距离猜想——Tsimerman自己也曾短暂研究却无功而返的难题。一个通用AI模型，解决了困扰人类几十年的数学猜想。Tsimerman在回应文章中写道："这是一项非常令人印象深刻的工作，然而，它也相当令人不安。"

三、陶哲轩说"百年危机"，3164位数学家集体签名

Tsimerman不是孤例。同一会场上，2006年菲尔兹奖得主陶哲轩做了一场题为《人工智能时代的数学》的演讲，直言数学正在进入"一场关于价值观与实践方式的基础危机"——上一次数学界用"危机"这个词，还是一百多年前的罗素悖论和哥德尔不完备定理。他引用了一份独立评测：今年5月，四套AI系统面对10道全新研究级数学题，以"可发表质量"解出了7道，单题算力成本仅10到1000美元。

另一位菲尔兹奖得主Timothy Gowers的比喻更扎心：数学不会死于AI做不到，而会死于AI做得太好了——就像湖泊可以干涸而死，也可以富营养化而死。2026年6月，《莱顿宣言》发布，目前已获3164位数学家签名，国际数学联盟正式背书，呼吁"数学过去是、将来也应该永远是一项深刻的人类事业"。但Gowers没有签，因为他觉得这已经不是一份宣言能解决的问题了。

综合Quanta Magazine、InfoQ、新智元、OpenAI官方回应报道 | 2026年8月2日