🧮 人工智能 · 数学 · 科技前沿

🔥 2026年菲尔兹奖得主Jacob Tsimerman获奖当日宣布加盟OpenAI，并断言两年内AI将全面超越人类数学家——这不仅是个人职业选择，更是数学界一场地震级的范式转换。

一、菲尔兹奖台上的"叛逃"：一个数学天才的惊人转身

2026年7月23日，费城国际数学家大会。38岁的多伦多大学教授Jacob Tsimerman从国际数学联盟主席手中接过菲尔兹奖章。他因证明安德烈-奥尔特猜想、重塑o-极小性理论而登顶数学最高荣誉。然而记者会上他说出的不是感谢恩师，而是"我很快将在OpenAI的安全部门开始一个新职位"——全场寂静。

一个刚站上数学界最高领奖台的人，转头就宣布停止招收数学博士生，加入一家AI公司。一位机器学习教授在X平台发文吐槽："这就像聘请利昂内尔·梅西担任项目经理。"但Tsimerman的转向绝非一时冲动：他早在2025年就与Andrew Critch合著论文，系统梳理AI可能导致人类灭绝的五种路径，他的X账号十几年来只发过一条帖子，主题就是"数学家将如何失业"。

二、两年超越的底气：AI正在改写数学史

Tsimerman的预测看似激进，实则有坚实的现实基础。2026年5月，OpenAI的通用推理模型独立证伪了埃尔德什1946年提出的平面单位距离猜想——一个悬了80年的离散几何难题，而Tsimerman本人正是验证该结果的九位联署数学家之一。几乎同时，他在Anthropic的学生Levent Alpöge，用Claude Fable 5构造出雅可比猜想的反例，终结了87年悬案。就在2026年8月1日，OpenAI公布下一代模型Astra独立攻克10个长期未解决数学难题，总推理成本仅约2000美元。

更令人深思的是，连另一位菲尔兹奖得主Timothy Gowers也在亲测ChatGPT 5.5 Pro后态度剧变：AI仅用一小时就把他丢出的数论问题推进到了博士级成果，将他原本线性的研究界限直接推到了二次甚至多项式级别。Gowers坦言那种感觉"像地毯被从脚下猛地抽走"。

三、数学不会消亡，但"手写证明"不再是中心

Tsimerman并非预言数学的终结。他看到了一个激动人心的未来：AI或许能将前沿数学成果的产出效率提升十倍甚至百倍。但同时也清醒地指出，对正在读博的年轻人来说，这是一个动荡期——"我们教的和学的技能，可能没那么重要了。"这正是他停止招收数学博士生的原因：不想把年轻人推进一个正在剧变的职业轨道。

他的选择揭示了一个深层逻辑：数学不会死于停滞，而可能死于过剩。当AI可以昼夜不停地证明定理，人类数学家的工作重心将从"亲手写出证明"上移，转向选择问题、定义框架、建立新结构。正如Tsimerman自己所说，他去OpenAI的目标，是用数学的严谨给AI"上锁"——将形式化验证、对齐理论这些底层全是数学的领域，交到一个证明过悬置数十年难题的人手里，才是数学能力在AI时代最硬核的用法。

综合新浪科技、InfoQ、The Atlantic、Hacker News报道 | 2026年8月2日