OpenAI News·2026-09-08 18:00· 22 天前AI 评分57

OpenAI 分享 AI 生成的 Navier–Stokes 千禧年难题解答

On the Navier–Stokes Millennium Prize Problem

AI 导读

OpenAI 分享了一份由 AI 生成的 Navier–Stokes 千禧年难题解答。材料包括解答文稿及使用 Lean 编写的形式化证明。

来源：OpenAI News · openai.com

#论文/研究 #推理 #OpenAI