OpenAI：官网动态·· 22 天前精选AI 评分87
OpenAI 分享 AI 生成的纳维-斯托克斯千禧年难题解答与 Lean 形式化证明
On the Navier–Stokes Millennium Prize Problem
AI 导读
OpenAI 表示正在分享一份由 AI 生成的纳维-斯托克斯千禧年难题解答，包含一份说明文档和一份 Lean 形式化证明。该条目目前只有这一句简要描述，未提供更多细节。
推荐理由
AI 生成的纳维-斯托克斯千禧年难题解答以 Lean 形式化证明一并公开，读者可关注机器产出数学证明的呈现方式。
来源：OpenAI：官网动态 · openai.com