Sep 8, 2026 · OpenAI
On the Navier–Stokes Millennium Prize Problem
OpenAI 于 2026 年 9 月 8 日发布了一个 AI 生成的 Navier–Stokes 千禧年大奖问题的解决方案，包括一份书面说明和 Lean 形式化证明。
EVENT STORY
Development
- First ReportOn the Navier–Stokes Millennium Prize ProblemOpenAI
- Industry ResponseSome thoughts on the Navier–Stokes Millennium Prize ProblemSimon Willison
- Current AssessmentOpenAI 发布 AI 生成的数学证明，可能推动 AI 在科学发现中的应用，但需谨慎看待，因为证据未提及同行评审。该事件可能引发对 AI 在数学和科学领域能力的讨论，但需等待验证结果。Agent Pulse · analysis
OpenAI 在 2026 年 9 月 8 日宣布，他们分享了一个 AI 生成的 Navier–Stokes 千禧年大奖问题的解决方案，该问题是一个著名的未解数学难题。该解决方案包括一份书面说明和一个用 Lean 编写的正式证明。这一事件标志着 AI 在数学研究领域可能取得的重大进展，但尚未经过同行评审或验证。
该解决方案使用 Lean 形式化证明，表明 AI 能够生成可机器验证的数学证明，这提高了结果的可信度。然而，证据未提供证明的具体方法或技术细节，因此无法评估其创新性或正确性。下一步可关注该证明是否通过数学界的验证，以及是否解决了 Navier–Stokes 方程的全部问题。
OpenAI 发布 AI 生成的数学证明，可能推动 AI 在科学发现中的应用，但需谨慎看待，因为证据未提及同行评审。该事件可能引发对 AI 在数学和科学领域能力的讨论，但需等待验证结果。
该事件可能提升 OpenAI 在 AI 研究领域的声誉，但商业价值尚不明确。证据未提及任何商业应用或产品，因此需谨慎评估。
未来可关注该证明的验证结果，以及是否被数学界接受。若成功，可能激励更多 AI 驱动的数学研究，但需注意证据未提供时间表。