目前结论
OpenAI于9月8日宣布其AI模型协同10,000个智能体在88小时内解决纳维-斯托克斯问题，随后GPT-6 Astra在Lean中形式化并验证了证明（额外17小时），证明覆盖千禧年问题情形C和D；结果仍需独立验证，公司表示不会申领千禧年大奖。事件引发AI安全、数学发现与形式化验证在智能合约安全等方面影响的讨论。
进展时间线
3 次实质进展- #01
OpenAI 宣称 AI 模型解决纳维-斯托克斯千禧难题
OpenAI 宣布了一个据称由内部 AI 系统生成的纳维-斯托克斯存在性与光滑性问题的解答，该问题是克雷数学研究所列出的千禧年大奖难题之一。这项结果声称，描述流体运动的纳维-斯托克斯方程可以在有限时间内形成奇点。 这一宣布是对“AI 系统能否在困扰数学家数十年的著名开放问题上取得原创进展”的一次高关注度检验。如果证明成立，它可能改变外界对 AI 驱动数学研究的预期，并推动形成新的验证、同行评审和早期成果分享规范。 这项结果尚未经过独立验证或同行评审，消息公布不久后已被拿来与此前其他有争议的 AI 数学研究相比较。社区讨论还提出了溯源质疑——包括认为该工作可能建立在另一位研究者未发表成果及其提示词之上——并提到所涉及模型训练时间极短。
来源依据：tedsanders
- #02
OpenAI称1万个AI代理攻克纳维-斯托克斯难题，重燃AI安全担忧
OpenAI宣布其内部模型协调约10,000个AI智能体在88小时内解决了纳维-斯托克斯存在性与光滑性问题，并强调不会申领克莱数学研究所的千禧年大奖，该结果仍需外部验证。
此后状态：OpenAI于9月8日宣布其AI模型协同10,000个智能体在88小时内解决纳维-斯托克斯问题，但尚未得到独立验证；公司表示不会申领千禧年大奖。此事件引发关于AI安全与私营AI系统能力差距扩大的讨论。
来源依据：CryptoSlate
- #03
OpenAI的数学突破暴露了加密安全的下一处薄弱环节
新报道补充：GPT-6 Astra在Lean中形式化并验证了证明，额外耗时17小时；证明显示初始光滑流体可在有限时间内形成奇点并保持有限能量，对应千禧年问题情形C和D；OpenAI已公开证明及Lean形式化供独立审查。
此后状态：OpenAI于9月8日宣布其AI模型协同10,000个智能体在88小时内解决纳维-斯托克斯问题，随后GPT-6 Astra在Lean中形式化并验证了证明（额外17小时），证明覆盖千禧年问题情形C和D；结果仍需独立验证，公司表示不会申领千禧年大奖。事件引发AI安全、数学发现与形式化验证在智能合约安全等方面影响的讨论。
来源依据：CryptoSlate