OpenAI News·2026-09-08 18:00· 24 天前AI 评分12

OpenAI 分享 Navier–Stokes 千禧年大奖难题的 AI 生成解决方案

On the Navier–Stokes Millennium Prize Problem

AI 导读

OpenAI 分享了针对 Navier–Stokes 千禧年大奖难题的 AI 生成解决方案。该方案包含一份说明文档以及使用 Lean 编写的形式化证明。

来源：OpenAI News · openai.com

#论文/研究 #推理 #OpenAI