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

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

On the Navier–Stokes Millennium Prize Problem

AI 导读

OpenAI 分享了一份由 AI 生成的 Navier–Stokes 千禧年难题解答，包含完整说明文档和一份用 Lean 编写的正式证明。

来源：OpenAI News · openai.com

#模型发布 #推理 #OpenAI