OpenAI宣布AI解决纳维-斯托克斯存在性与光滑性问题，引发数学界对证明本质讨论

OmniTools 9月13日消息，2026年9月8日，OpenAI宣布其AI系统生成了纳维-斯托克斯方程存在性与光滑性问题的解决方案，该问题属克雷数学研究所七大“千年难题”之一。

陶哲轩博客于9月12日发布客座文章，引述Silvia De Toffoli与Eamon Duede的观点指出，当前AI输出包含形式化证明（经Lean验证）及配套手稿，但尚未提供人类数学家可理解、可复现的解释性证明。

文章强调，数学实践远超解题本身，涵盖概念演化、理论整合与学术共同体建设等维度，AI成果是否构成“数学证明”仍需学界深入辨析。