OpenAI News·· 2026-09-08AI 评分2
OpenAI 分享 AI 给出的 Navier–Stokes 千禧年难题解答方案及 Lean 形式化证明
On the Navier–Stokes Millennium Prize Problem
AI 导读
OpenAI 公布了一份由 AI 生成的 Navier–Stokes 千禧年难题解答方案，包含完整的书面论证与 Lean 形式化证明。
来源：OpenAI News · openai.com
OpenAI 分享 AI 给出的 Navier–Stokes 千禧年难题解答方案及 Lean 形式化证明