OpenAI 纳维-斯托克斯方程证明方法被指与官方叙事不符：学界验证尚需数年，智能体贡献同样成谜

OpenAI 今年9月发布了一份166页的纳维-斯托克斯方程相关证明，宣称其内部AI系统在约88小时内完成了对这一千禧年数学难题的求解。纳维-斯托克斯方程描述流体运动，其解的存在性与光滑性问题是克雷数学研究所悬赏百万美元的七大千禧年难题之一，长期被视为数学界最高难度的未解问题之一。

随着数学界深入审查，研究人员开始对证明的可靠性提出质疑。数学家贡萨洛·曹-拉博拉指出，OpenAI的证明细节与西班牙数学家迭戈·科尔多瓦的已有工作存在高度相似之处，质疑OpenAI可能未充分理解证明内容便急于发表。这一批评直指AI辅助数学研究的核心问题：当AI系统生成证明时，人类是否真正理解其逻辑链条？

更深层的争议在于AI智能体在证明过程中究竟发挥了多大作用。OpenAI声称是AI系统完成了求解，但证明中哪些部分由AI生成、哪些部分由人类数学家补充或修正，目前并不透明。这种不透明性使得学界难以评估AI在数学发现中的真实贡献，也引发了对AI科学发现可信度的广泛讨论。

这一事件对AI辅助科学研究领域具有标志性意义。一方面，它展示了大模型在复杂数学推理中的潜力；另一方面，它也暴露了当前AI系统缺乏可解释性、证明过程难以验证的短板。数学界普遍认为，对该证明的完整审查可能需要数年甚至更长时间，在此之前，AI能否真正独立解决千禧年难题仍是一个开放问题。

该事件也折射出AI行业在科学发现领域的叙事风险。当企业将AI能力与重大科学突破挂钩时，公众和学界的期待会被迅速拉高，而一旦验证结果不及预期，信任成本将显著上升。如何在宣传AI能力与保持学术严谨之间取得平衡，是AI企业需要面对的重要课题。

本站展示内容为基于公开信息的资讯解读与整理，不代表原文转载。如需核实细节或获取完整报道，请通过下方链接访问原始来源。