OpenAI News·2026-09-08 18:00· 25 天前AI 评分21

AI 生成的纳维—斯托克斯千禧年难题解法及 Lean 形式化证明公布

On the Navier–Stokes Millennium Prize Problem

AI 导读

OpenAI News 分享了一份由 AI 生成的纳维—斯托克斯千禧年难题解法，相关材料包括解法说明和一份使用 Lean 编写的形式化证明。原文未说明该证明是否经过同行评审或通过独立验证。

来源：OpenAI News · openai.com