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

2026年10月22日，X 平台用户 Rohan Paul 发帖称，OpenAI 宣称解决纳维-斯托克斯问题后，哈佛数学家就“正确的 AI 证明是否需要人类理解”产生分歧。该帖提出，证明有两个作用：一是表明某个命题为真，二是教给其他数学家一种可复用的方法，而 AI 证明往往只做到第一点。数学家看重证明，是因为它带来确定性和技巧；一个无人理解的 AI 证明给了他们确定性，却扣下了技巧。上述内容均来自该帖的转述，未提供哈佛数学家的具体姓名、分歧双方的具体主张或 OpenAI 证明的细节。目前事件进展停留在这一讨论层面，尚无进一步核实或后续报道。

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

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