纳维-斯托克斯问题突破获美国数学会确认

围绕 OpenAI 宣称攻克纳维-斯托克斯问题，美国数学学会（AMS）主席 Ravi Vakil 与 CEO John Meier 发表声明，确认这一流体方程难题取得里程碑式进展，称其为「人类知识的里程碑」，并梳理功劳链，公开致谢两位西班牙数学家提供的关键策略。Lean 形式化证明已开源，技术博客逐条核对代码库后指出，OpenAI 实际证明的是 Fefferman 2000 年表述中的 Navier–Stokes 命题 (C)。

2026-09-09 ~ 2026-09-09 · 4 条相关

• 美国数学会确认:OpenAI 数学家完成纳维-斯托克斯问题关键突破 — RexDouglass · 2026-09-09
• OpenAI 宣称攻克纳维-斯托克斯问题，Lean 形式化证明已开源 — AlexKontorovich · 2026-09-09
• 美国数学会公开致谢：Navier-Stokes 突破的关键策略出自两位西班牙数学家 — soumitrashukla9 · 2026-09-09
• 逐条核对 Lean 代码库：OpenAI 证的是 Navier–Stokes 命题 (C) — CatAstro_Piyush · 2026-09-09