新上线25天前122 投票
OpenAI 真的解决了纳维-斯托克斯问题吗？数学家质疑其钻了漏洞
一场价值百万美元的数学争议
两周前，OpenAI 宣布其内部大语言模型解决了一个数学界的重大开放问题——纳维-斯托克斯问题，这项成就本应获得克雷数学研究所提供的 100 万美元奖金。然而，欢呼声未落，质疑声便已四起：OpenAI 是否真的解决了正确的纳维-斯托克斯问题？
漏洞还是突破？
据《科学美国人》报道，OpenAI 的证明依赖于一种被许多专家认为不自然的方法。它解决的是该问题的一个变体，数学家指出这个变体与现实脱节，因此价值有限。
“最重要的问题仍未解决，”芝加哥大学数学家 Luis Silvestre 表示，“克雷问题被解决了，但纳维-斯托克斯方程的核心问题并没有。”
本质上，这个 LLM 找到并利用了问题表述中的一个漏洞。
数学家的反击
更关键的是，上周四，三位数学家发布了他们自己的证明，表明 OpenAI 的方法永远无法扩展到解决完整问题。换言之，除非出现全新的思路，这个漏洞将永远无法被修补。
纳维-斯托克斯方程本应描述流体如何流动，但数学家怀疑它们是否总是可靠。这个百万美元问题关乎方程是否会“爆破”——即解是否会在有限时间内变得无限大。
AI 入侵数学界的隐忧
这场争议不仅关乎一个证明的对错，更引发了人们对 AI 公司竞相颠覆数学领域的深切担忧。当 AI 开始“解决”数学难题时，它是否真正理解了问题的本质，还是仅仅在寻找捷径？
OpenAI 的这次尝试，或许恰恰暴露了当前 AI 在数学推理上的根本局限：它可能擅长发现漏洞，却未必能触及问题的核心。
