论文研究
openai.com ·
@OpenAI News
OpenAI发布AI生成的Navier-Stokes千禧年问题解决方案
OpenAI分享了AI生成的Navier-Stokes千禧年大奖问题解决方案，包括论文和Lean形式化证明。该结果由OpenAI数学家完成，但存在争议。
AI推荐理由 OpenAI官方发布AI生成的Navier-Stokes千禧年大奖问题解决方案，包含Lean形式化证明，是重大科学突破，但需注意其争议性。
95
正文
我们分享一个AI生成的Navier–Stokes千禧年奖问题解决方案，包括一份书面说明和Lean中的正式证明。
查看原文（中文正文为 AI 翻译）
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.