针对OpenAI本周早些时候宣布通过约1万个AI智能体进行长达88小时攻坚、于9月5日发现纳维-斯托克斯方程失效特例一事，克雷数学研究所发表公开声明，表示将根据其评奖流程确认该成果。
纳维-斯托克斯问题是克雷数学研究所于2000年列出的七大千禧年数学问题之一，每道题的解决提供一百万美元奖金。目前七大问题中仅有庞加莱猜想被确认解决，但解决该问题的俄罗斯数学家格里戈里·佩雷尔曼拒绝接受该奖项。
根据克雷数学研究所的规则，OpenAI首先需要在同行评审的期刊上发表解题结果，该结果需至少发表两年并获得数学界的普遍认可。这意味着，即便OpenAI的发现最终被证明有效，确认纳维-斯托克斯问题被解决至少需要到2029年。
值得注意的是，OpenAI至今没有给出纳维-斯托克斯问题的证明。此次AI智能体发现的仅为该方程的一个失效特例，而非对该问题的完整数学证明。纳维-斯托克斯方程是描述流体运动的核心偏微分方程，其解的存在性与光滑性问题长期悬而未决，是数学与物理学交叉领域最具挑战性的基础问题之一。
此次事件反映出AI在基础数学研究中的应用正引发学术界关注，但AI辅助发现与数学界公认的严格证明之间仍存在显著距离。克雷数学研究所的声明也表明，千禧年大奖的认定流程不会因AI参与而改变，同行评审与时间检验仍是核心标准。
该文观点仅代表作者本人，企服科学平台仅提供信息存储空间服务。
