OpenAI News·· 2026-09-08AI 评分45
OpenAI 分享 Navier–Stokes 千禧年难题的 AI 生成解答
On the Navier–Stokes Millennium Prize Problem
AI 导读
OpenAI 分享了一份由 AI 生成的 Navier–Stokes 千禧年难题解答，包含完整说明文档和一份用 Lean 编写的正式证明。
来源：OpenAI News · openai.com
OpenAI 分享 Navier–Stokes 千禧年难题的 AI 生成解答