美国数学会确认纳维-斯托克斯关键突破并致谢西班牙学者

美国数学学会（AMS）主席 Ravi Vakil 与 CEO John Meier 发表声明，确认流体方程纳维-斯托克斯问题取得里程碑式进展，并定性为「人类知识的里程碑」。声明梳理了从 Navier、Stokes、Leray、Ladyzhenskaya 等人的功劳链，特别指出突破的关键策略出自两位西班牙数学家。Lean 社区也对相关形式化证明作出回应，开源证明已发布。

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

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