OpenAI 对外官宣，一款 8 月 28 日启动训练的内部自研 AI 模型，只用 24 天时间，成功解决超过 100 项长期悬而未决的世界级数学难题，覆盖数学绝大多数分支领域，其中就包括知名的纳维 - 斯托克斯千禧年大奖难题，这个推进速度甚至超出了 OpenAI 内部数学家的预期。这套方案不是普通做题，是依靠多智能体协同工作，搭配 Lean 形式化验证工具产出可核验的数学证明，整个过程一共发送 490 万条消息，消耗大约 3000 亿输出 token，在解决纳维 - 斯托克斯问题时，首批智能体启动约 88 小时就拿到初步证明，后续再用 GPT‑6 Astra 完成形式化校验。OpenAI 同时也提到，这次成果引发了数学界对 AI 介入基础数学研究的争议，所以专门组建独立数学顾问小组，用来和数学家群体沟通、评估成果价值、规范发布节奏，不会无限制对外放开这套强数学能力模型。这次事件核心看点不只是解题数量，而是 AI 已经可以独立产出前沿数学猜想的完整证明，不再只是辅助数学家做计算，只是所有证明还需要全球数学社群持续同行评审，最终结论要以学术界核验结果为准。
项目基础信息清单
- 模型属性：内部未发布前沿模型，能力显著强于 GPT‑6 Astra
- 时间周期：8 月 28 日启动训练 → 9 月 21 日官方对外官宣，合计 24 天
- 解题规模：100 + 长期公开数学难题，覆盖多个数学分支
- 标志性成果：纳维 - 斯托克斯（Navier–Stokes）千禧年难题
- 验证方式：Lean 形式化证明 + 多智能体并行探索
- 资源消耗：490 万条消息，约 3000 亿输出 token
纳维 - 斯托克斯难题相关说明
- 该难题属于七大千禧年大奖难题之一，悬而未决接近 90 年，围绕流体方程有限时间内是否会产生奇点展开
- AI 给出的结论：三维光滑流体运动在有限时间内会发生破裂，产生奇点
- 产出材料包含文字证明文稿以及 Lean 形式化代码，方便数学家核验
- 注意：OpenAI 给出的证明只是 AI 生成版本，不等于已经通过数学界正式终审
这套 AI 数学方案的工作流程
- 启动大量并行智能体分组，采用不同思路独立尝试目标难题
- 智能体之间互相参考中间结论，汇总有效思路，淘汰无效方向
- 得到候选证明之后，交由 GPT‑6 Astra 完成 Lean 形式化编码
- 形式化校验通过后，再提交给数学顾问小组评估成果价值与发布时机
争议与后续安排
- 争议点：不少数学家提出担忧，直接用未解难题作为 AI 跑分目标，会打乱传统数学研究节奏
- OpenAI 应对方案：成立独立数学顾问专家组，作为 AI 团队和数学界的沟通桥梁
- 开放计划：暂不直接对外发布这款内部模型，谨慎规划数学能力的落地开放节奏
【相关 FAQ】
问题 1：OpenAI 官宣 24 天攻破 100 + 世界级数学难题，里面包含哪一道知名难题？
回答 1：OpenAI 官宣 24 天攻破 100 + 世界级数学难题，这批难题里包含纳维 - 斯托克斯千禧年大奖难题，也是七大千禧难题之一。
问题 2：OpenAI 攻破 100 + 世界级数学难题用的模型是 GPT‑6 Astra 吗？
回答 2：OpenAI 攻破 100 + 世界级数学难题依靠的是一款全新内部模型，性能明显强于 GPT‑6 Astra，GPT‑6 Astra 只负责后续 Lean 形式化验证环节。
问题 3：OpenAI 24 天攻破 100 + 世界级数学难题，是不是意味着这些证明已经被数学界认可？
回答 3：OpenAI 24 天攻破 100 + 世界级数学难题，AI 产出了带 Lean 形式化的证明文稿，但所有证明仍然需要数学社群同行评审，目前还不算学术界最终定论。
问题 4：OpenAI 为什么要组建数学顾问小组，和这 100 + 世界级数学难题成果有关系吗？
回答 4：有关系，OpenAI 官宣 24 天攻破 100 + 世界级数学难题后引发学界讨论，数学顾问小组用来评估 AI 数学成果、协调发布节奏，对接数学家群体。
【参考资料】
[2026-09-22]（突发：OpenAI 官宣 24 天攻破 100 + 世界级数学难题）36 氪
[2026-09-21]（Advisory Group on Mathematics and Artificial Intelligence）OpenAI 官网
[2026-09-08]（On the Navier–Stokes Millennium Prize Problem）OpenAI 官网
【免责声明】
本文内容整理自 OpenAI 官方博文、公开媒体报道，OpenAI 24 天攻破 100 + 世界级数学难题相关证明有效性仍有待数学界同行评审；AI 解题成果仅代表当前这套内部模型的输出，不代表最终学术结论，本文不构成学术参考、投资导向。
本文来自作者[匀速面包]投稿，不代表新品牌网立场，如若转载，请注明出处：https://www.china12315.com.cn/qyzx/202611/162.html
评论列表（4条）
我是新品牌网的签约作者“匀速面包”！
希望本篇文章《OpenAI 官宣 24 天攻破 100 + 世界级数学难题，含纳维 - 斯托克斯千禧年难题》能对你有所帮助！
本站[新品牌网]内容主要涵盖：互联网行业的追踪与探索
本文概览：OpenAI 对外官宣，一款 8 月 28 日启动训练的内部自研 AI 模型，只用 24 天时间，成功解决超过 100 项长期悬而未决的世界级数学难题，覆盖数学绝大多数分支领域，其中就包括知名的纳维 - 斯托克斯千禧年大奖难题，这个推进速度甚至超出了 OpenAI 内部数学家的预期。这套方案不是普通做题，是依靠多智能体协同工作，搭配 Lean 形式化验证工具产出可核验的数学证明，整个过程一共发送 490 万条消息，消耗大约 3000 亿输出 token，在解决纳维 - 斯托克斯问题时，首批智能体启动约 88 小时就拿到初步证明，后续再用 GPT‑6 Astra 完成形式化校验。OpenAI 同时也提到，这次成果引发了数学界对 AI 介入基础数学研究的争议，所以专门组建独立数学顾问小组，用来和数学家群体沟通、评估成果价值、规范发布节奏，不会无限制对外放开这套强数学能力模型。这次事件核心看点不只是解题数量，而是 AI 已经可以独立产出前沿数学猜想的完整证明，不再只是辅助数学家做计算，只是所有证明还需要全球数学社群持续同行评审，最终结论要以学术界核验结果为准。