OpenAI News·· 2026-09-08精选AI 评分65
OpenAI 发布纳维-斯托克斯千禧年难题的 AI 解法与 Lean 形式化证明
On the Navier–Stokes Millennium Prize Problem
AI 导读
OpenAI 宣布分享一份由 AI 生成的纳维-斯托克斯千禧年大奖难题解法。该成果同时包含完整的书面说明文档，以及在 Lean 中实现的形式化数学证明。
推荐理由
OpenAI 公开了包含 Lean 形式化证明的解法，读者可以据此检验 AI 处理重大数学难题时的完整推理路径与验证方式。
来源：OpenAI News · openai.com