搜索
OpenAI 千禧年难题证明反转：其未理解模型所用方法
8 小时前
OpenAI关于纳维-斯托克斯方程的千禧年难题证明出现反转。此前，包括OpenAI在内的各方均认为该证明沿用了两名西班牙数学家的研究路线，但后续数学家深入研究后发现，最终证明采用了完全不同的构造外力方法，且OpenAI自身也未完全理解其AI模型得出该证明的具体路径。该证明通过构造特殊平滑外力，证明了三维流体可在有限时间内发生爆破，符合克雷数学研究所的相关命题要求，但尚未解决无外力版本的问题。目前，该证明的形式化代码已验证推导逻辑成立，但人类尚未完全理解其中的数学思想。此次事件充分暴露了AI产出数学证明的速度远超人类理解消化速度的矛盾。
