2026，AI给数学家带来危机

事件概述

2026年5月至7月，OpenAI、DeepMind和Anthropic相继在数学难题上取得突破性进展，引发了数学界对行业未来走向的广泛讨论。

核心信息

• 5月20日：OpenAI的通用推理模型自主推翻匈牙利数学家保罗·埃尔德什提出的“单位距离猜想”，该猜想已困扰数学界80年。菲尔兹奖得主蒂莫西·高尔斯评价称“此前没有任何AI生成的证明能接近这个水准”。
• 5月21日：谷歌DeepMind的AlphaProof Nexus自主解决9道公开Erdős难题（其中2道悬而未决达56年），单题推理成本仅几百美元，且利用Lean形式语言完成正确性自检，无需数学家前置质检。
• 7月20日：Anthropic员工使用Fable 5找到雅可比猜想的三维空间反例，该猜想被列入“21世纪的世纪数学难题”，此前已悬而未决87年。

关键转变

与2024年（AI在IMO中达到银牌水平）和2025年（GPT-5被驳斥为“超级文献检索”）不同，2026年的突破具有本质区别：

• 问题分量更重：单位距离猜想、雅可比猜想均为公认核心难题，难度和地位远超此前冷门问题。
• 自主性更强：AI生成完整证明并自行验证（如DeepMind用Lean语言），无需人工筛选错误。
• 传播设计精心：AI团队优先选择大众易懂、数学家关注且证明简洁的问题公布，以放大影响力。

当前局限

AI目前并非“比人类更聪明”，而是“无学科壁垒、无权威偏见”，通过“大力出奇迹”补齐人类现有知识盲区，但缺乏在未知方向拓展边界的洞察能力。自然语言推理成果仍需顶级数学家人工复核，Lean形式化基础建设尚不完善。北京大学李欣意副教授比喻：AI所做的是将人类知识“取凸包”，而非在未知方向上探索。

行业危机与应对

2026年6月2日，来自15所大学的16位研究者发布《莱顿人工智能与数学宣言》（获国际数学联盟正式支持，陶哲轩、彼得·舒尔茨等人签署），指出三大风险：

1. 同行评议压力：AI快速生成大量“看似正确”的证明，隐藏错误难发现，会挤占真正有价值成果的传播空间。
2. 成果归属与版权：AI训练基于前人成果但无法合理署名，且存在未授权使用论文的问题。
3. 商业导向威胁：科技公司倾向解决“容易出成果”而非“有深远意义”的问题，可能改变数学界激励机制，破坏招聘、资助和认可体系，威胁研究人员自主性。

宣言要求研究者公开AI和计算资源使用情况、坚持同行评审、由人类承担责任，并建设独立于商业公司的公共计算设施，守住人类决定“什么数学值得做”的权利。