9 月 21 日，OpenAI 发布了一条让数学圈震动的消息：一款8 月 28 日才开始训练的内部新模型，仅用 24 天就攻克了 100 多道长期悬而未决的世界级数学难题，横跨数学多个分支，其中包括此前已经宣布的千禧年难题——纳维-斯托克斯方程。
24 天是什么概念？
这些难题，人类数学家少则钻研几年，多则几十年。OpenAI 称，模型的进展速度"超出了内部数学家的预期"。公司同时宣布，为了回应学界对证明可靠性的质疑，将引入独立顾问组，对模型产出的数学证明进行第三方验证。
背景：从 88 小时到 24 天
这不是 OpenAI 第一次在数学上引起争议。9 月 8 日，OpenAI 曾宣布调动约 1 万个 AI 智能体，用 88 小时给出了纳维-斯托克斯方程存在性与光滑性的证明，并公开了 Lean 形式化验证版本。那是克雷数学研究所 2000 年公布的七大千禧年难题之一，悬赏 100 万美元。
9 月 21 日的新进展，则是同一内部模型继续推进，把战果从"一道难题"扩展到"上百道不同领域难题"。
数学界在担心什么？
多位菲尔兹奖得主联名发表公开信，批评大厂把公开数学问题当成"刷榜指标"。真正的焦虑不是 AI 会解题，而是AI 产出证明的速度，已经超过人类数学家审阅、理解和验证的速度。如果未来重要数学成果都由 AI 批量产出，人类如何判断哪些是真突破、哪些是错误？
OpenAI 引入独立顾问组的做法，是对这一质疑的直接回应。但无论结果如何，2026 年 9 月已经成为 AI 与数学关系的一个分水岭。
信息来源：OpenAI 官方博客、36 氪、澎湃新闻、机器之心、每日经济新闻。
