OpenAI宣称生成纳维斯托克斯证明方法

OpenAI宣称，其AI已生成解决纳维斯托克斯方程相关命题的方法，但这一成果目前属于公司公布的说法，并非报道中已获独立确认的数学结论。 哈佛数学家围绕这种AI生成的方法是否构成真正的证明产生分歧：支持者看重其对命题的论证，质疑者则强调，证明不仅要确认命题为真，还应让其他数学家能够理解其逻辑并检验其中的知识。争议因而集中在AI证明的可理解性和可审查性。

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

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