OpenAI 纳维-斯托克斯证明引数学界分歧

OpenAI 声称其 AI 证明了纳维-斯托克斯方程相关命题，哈佛数学家对此产生分歧，争论焦点是正确的人工智能证明是否需要人类理解。Rohan Paul 称，证明既确认命题为真，也提供可复用的方法，而无人理解的 AI 证明往往只做到前者，给出了确定性却未给出技巧。

AI 根据报道生成 · 2 小时前更新

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