xAI联创长文断言:数学英雄时代结束,AI十年内改写规则
新智元 · wechat · 2026-10-06
新智元编译了 xAI 联合创始人 Christian Szegedy 的长文《数学何去何从？》，他把纯数学比作没有地图的丛林探险，而 AI 是一架已经把旗插上山巅的飞机。
文中回顾了 2026 年的一系列标志事件：OpenAI 推翻单位距离猜想、Anthropic 用 Claude 证伪雅可比猜想、内部模型 11 天用 Lean 写完费马大定理完整证明、上万个 Agent 攻克 Navier-Stokes 方程。这些远早于他 2019 年提出、2024 年提前至 2026 年的「超人 AI 数学家」预言。他断言数学将「毕业」，从学术界的安静角落变成一切科技产业的基础设施，未来数学家需要的是选择研究方向、指挥 AI 编队和讲述发现的能力。
文章也呈现了反方声音：Wolfram 认为数学目标必须来自人类，自动形式化曾让 AI 证非所证；帝国理工的 Kevin Buzzard 描述了数学界的「悲伤五阶段」，菲尔兹奖得主 Scholze 更公开拒绝使用 AI。文末以希尔伯特的墓志铭「我们必须知道，我们终将知道」收尾。
所属事件:xAI联创称超人类智能已至，数学推理将泛化到一切领域(4 条相关)→
「漫话AGI」频道最新
- 每天用 AI 12 小时后，她重新提笔写作来对抗记忆流失 — LadyAshBorg · 2026-10-07
- 「模型还不擅长研究」？当年人们对聊天和编码也这么说 — menhguin · 2026-10-07
- AI 用量在能力过阈值后指数级爆发，数学或是下一个拐点 — menhguin · 2026-10-07
- KatjaGrace 质疑：进实验室「身在房间」还能影响 AI 走向吗 — michael_nielsen · 2026-10-07
- Bessemer 合伙人：AI 最重要用途尚未发明，如同 1870 年的石油 — rohanpaul_ai · 2026-10-07
- 苦研 Barnette 猜想 24 年,他听闻 AI 解出后百感交集 — Simon Willison · 2026-10-07