OpenAI纳维-斯托克斯方程证明出现反转：模型独立采用新方法且官方最初未理解

数学家与《科学美国人》最新调查显示，OpenAI此前发布的166页纳维-斯托克斯方程证明并未沿用最初声称的西班牙路线，而是其约1万个Agent系统自主构造了完全不同的外力爆破方法。这表明OpenAI在发布时并未真正理解自家模型输出的数学思路，仅通过Lean形式化代码验证了逻辑成立。事件引发数学界对AI产出证明速度远超人类消化理解能力的广泛讨论。