8.0
深览指数
科技腾讯新闻·新智元··AI 生成
数学要「毕业」了！xAI联创宣判：两千年英雄史彻底落幕
xAI联合创始人Christian Szegedy发表长文，宣告AI已开始解决悬而未决的数学猜想（如费马大定理、Navier-Stokes方程），纯数学的“英雄攀登时代”即将终结。他认为，AI将把数学从少数天才的手艺，变为全科技行业的基础设施。文章梳理了AI在数学证明领域的里程碑进展，描述了数学家面对这一转折的哀伤与抗争（如Wolfram、菲尔兹奖得主舍尔策），并指出了未来数学家角色的转变方向。适合关心AI科学应用与数学未来的技术管理者、科研人员与深度思考者阅读。原文 ↗
核心观点
- ▍纯数学的“英雄攀登时代”正在结束：AI已经能解决长期悬而未决的猜想，数学将从少数天才的手艺，变成全科技行业的基础设施。
- ▍未来数学家的角色将从“攀登者”转变为“地形选择者”、“指挥者”和“传播者”，大学与终身教职的奖励机制将发生根本变化。
- 012026年9月，Anthropic内部模型用11天在Lean中完成了费马大定理的完整证明。
- 022026年9月，OpenAI通过1万个Agent跑了88小时，攻破千禧年难题Navier-Stokes方程。
- 032026年9月，OpenAI内部模型已解决100多个长期悬而未决的数学问题。
- 042026年5月，OpenAI推翻悬置80年的单位距离猜想。2026年7月，Anthropic研究员用Claude证伪了雅可比猜想。
- 05xAI联合创始人Szegedy拥有深度学习背景（Inception网络、对抗样本、批归一化），他早在2019年就押注2029年出现超人AI数学家，后提前至2026年。
反方 / 局限
- — Mathematica之父Stephen Wolfram持反对观点，认为纯数学的目标必须来自系统之外（来自人类），AI会犯“证明通过但证的不是想要的”错误。
- — 帝国理工数学家Kevin Buzzard用“悲伤五阶段”形容数学界的反应，且有菲尔兹奖得主公开表示“不会用AI，愿为此死守到底”。
- — 文章暗示，即使AI能解决大量猜想，其当前能力仍很原始，只能解决“没那么有意思”的石头，真正的大山还有待工具磨砺。
Christian SzegedyStephen WolframKevin BuzzardxAIAnthropicOpenAILean（定理证明器）费马大定理Navier-Stokes方程雅可比猜想自动形式化
13 分钟 · 4 卡片 · 10 资料
读原文 →