xAI联合创始人预言：AI已终结数学“英雄时代”，学科即将工业化转型
2026/10/06 13:04阅读量 3
xAI联合创始人Christian Szegedy发文指出，随着OpenAI、Anthropic等机构在2026年5月至9月间利用AI连续攻克费马大定理、Navier-Stokes方程等长期悬而未决的数学猜想，纯数学依赖人类天才孤独攀登的“英雄时代”宣告结束。Szegedy预测数学将从少数人的手艺转变为全科技行业的基础设施，这一观点引发了学界关于身份认同与未来工作模式的激烈分化与讨论。
事件概述
xAI联合创始人、深度学习先驱Christian Szegedy发布长文《数学何去何从？》，宣称人工智能已在短时间内解决多个重大数学猜想，标志着持续两千年的数学家“英雄攀登时代”终结。他预言数学将走出象牙塔，成为支撑所有科学技术进步的工业化基础设施，其角色将从孤独的探险者转变为测绘者与指挥者。
核心信息：AI突破时间线
根据Szegedy的描述，2026年5月至9月期间，主要AI机构取得了以下突破性进展，远超其此前设定的2029年目标：
- 2026年5月：OpenAI利用AI推翻了悬置80年的单位距离猜想（Unit Distance Conjecture）。
- 2026年7月：Anthropic研究员使用Claude Fable 5模型，证伪了1939年提出的雅可比猜想（Jacobi Conjecture）。
- 2026年9月4日：Anthropic内部模型仅用11天，在定理证明器Lean中完成了费马大定理（Fermat's Last Theorem）的完整形式化证明。
- 2026年9月8日：OpenAI宣布由1万个Agent组成的系统运行88小时，攻破了千禧年难题之一的Navier-Stokes方程。
- 2026年9月21日：OpenAI称其内部模型已累计解决超过100个长期悬而未决的数学问题。
背景与逻辑：为何是数学率先被AI“毕业”？
Szegedy自2019年起主张通过“自动形式化”路径打造超人数学家，即让AI将人类数学翻译为机器可逐行检验的代码。他认为数学成为首个被AI工业化的基础学科，原因在于：
- 可验证性：数学命题对就是对、错就是错，无需像自然科学那样进行物理实验。
- 历史积累：过去两千年建立的庞大知识体系为AI提供了丰富的训练数据和逻辑结构。
- 工具进化：他将早期AI比作莱特兄弟时代的飞机，虽原始但已能飞入无人区；随着算力提升和模型迭代，AI将从“辅助工具”变为“主导力量”，能够处理更复杂的理论构建。
学界反应：分化与阵痛
尽管技术突破显著，但数学界对此反应复杂，呈现出明显的两极分化：
- 悲观与抗拒派：
- 菲尔兹奖得主舍尔策（Scholze）公开表示拒绝使用AI，愿“死守到底”。
- 帝国理工学院数学家Kevin Buzzard用“悲伤五阶段”（否认、愤怒、讨价还价、抑郁）形容学界现状。有博士生因AI瞬间解决了其卡住的研究引理而陷入意义怀疑。
- Mathematica之父Stephen Wolfram撰文反驳，认为数学的目标来自人类系统之外，且当前AI存在“证明通过但证非所求”的风险，坚持纯数学永远不会被完全自动化。
- 乐观与适应派：
- Stanford数学家Jared Duker Lichtman表示自2019年起就在等待这一刻，认为颠覆带来的是新生命而非真空。
- Szegedy指出，未来的数学家需要具备三种新能力：选择值得探索的地形、指挥AI编队、以及向全球传播发现。传统的“登顶英雄主义”将让位于产业化的基础设施建设。
值得关注的影响
Szegedy预测，未来几年内大学、期刊及终身教职委员会的奖励机制将发生根本性变化。私有化、商业化的“勘探”将成为主流，数学将从学术界安静的角落成长为全科技行业的通用地基。正如希尔伯特墓碑上所刻：“我们必须知道，我们终将知道。”