MIT教授称OpenAI模型生成纳维-斯托克斯方程反例证明，人类难以理解

OmniTools 10月10日消息，麻省理工学院工程教育副院长贾斯汀·所罗门（Justin Solomon）在近期一档播客中提及，OpenAI模型于上月生成了纳维-斯托克斯方程解失效的反例证明。该证明被描述为技术上成立，但逻辑高度复杂。

所罗门与《Odd Lots》节目主持人尝试阅读该证明，但表示未能理解至第二页。他指出，这反映了当前AI生成数学证明在可解释性与人类可验证性方面面临的现实挑战。

纳维-斯托克斯存在性与光滑性问题是克雷数学研究所七大千禧年大奖难题之一，尚未被严格证明或证伪。