Navier–Stokes 千禧年难题迎 AI 解法
1条摆在这一期1个信源1个分节1条收进刊期
本期导语
OpenAI 公布 Navier–Stokes 千禧年难题的 AI 生成解：这是一份由 AI 生成的解法，随附一份书面说明（writeup），并用 Lean 完成了正式化证明。
本期看点
OpenAI 公布 Navier–Stokes 千禧年难题的 AI 生成解：随附一份书面说明（writeup）与一个用 Lean 完成的正式化证明
论文
OpenAI 公布 Navier–Stokes 千禧年难题的 AI 生成解：随附一份书面说明（writeup）与一个用 Lean 完成的正式化证明OpenAI 发布《关于 Navier–Stokes 千禧年悬赏问题》一文，宣布分享一个 AI 生成的 Navier–Stokes 千禧年难题解法，这次公开的包含一份书面说明与一个用 Lean 完成的正式化证明（formal proof in Lean）。千禧年难题是克雷数学研究所悬赏的七道顶级数学问题之一，这是头部实验室就其公开给出的具体解题主张。其它期 ↗本期刊物按 2026 年 9 月 8 日 这一期的时间窗整理生成，范围是当前工作区发布的这一份内容包；条目版权归原作者与信源所有。