数学家质疑OpenAI Navier-Stokes证明方法不符声明

2026年9月，OpenAI发布了一份166页的Navier-Stokes方程潜在证明，使用Lean形式化验证语言编写。该证明声称采用Córdoba与Martínez-Zoroa方法。2026年10月17日，多位数学家公开批评这份证明存在方法论问题，指出其与OpenAI声称的方法仅是表面相似，并非真正应用该方法。数学家强调，Lean语言虽能逐步验证逻辑正确性，但本身并不保证人类可读性。目前，克莱数学研究所（CMI）已介入审查这一潜在证明。OpenAI方面，项目负责人Brown表示，多智能体协作设置对证明成功的贡献不足10%。该事件引发学界对AI辅助数学证明方法论及透明性的讨论。

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

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