OpenAI News·· 24 天前精选AI 评分78
OpenAI 发布 Navier–Stokes 千禧年难题的 AI 生成解答
On the Navier–Stokes Millennium Prize Problem
AI 导读
OpenAI 宣布分享针对 Navier–Stokes 千禧年大奖难题的 AI 生成解答，包含一份完整 writeup 和 Lean 形式化证明。
推荐理由
官方称以 AI 生成 Navier–Stokes 千禧年难题的解答并附 Lean 形式化证明，值得数学与 AI 交叉方向读者跟进。
来源：OpenAI News · openai.com