《科学美国人》：OpenAI纳维-斯托克斯证明方法反转

《科学美国人》最新报道称，数学家深入研究OpenAI那份166页的纳维-斯托克斯方程证明后发现，其构造外力的方法与此前普遍认为的西班牙数学家路线完全不同。OpenAI在9月8日发布时曾表示沿用了该路线，此后已公开否认，但外界仍无法独立核查。 报道指出，两种方法都利用外力实现爆破，但OpenAI最终证明中构造外力的方式与西班牙路线完全不同。该证明目前部分尚未完成Lean形式化。

AI 根据报道生成 · 52 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。