数学家质疑OpenAI纳维-斯托克斯形式化证明的方法来源

多位数学家公开质疑OpenAI一份166页、用Lean形式化的纳维-斯托克斯方程潜在证明的方法归属。OpenAI声称该证明遵循西班牙数学家Diego Córdoba和Luis Martínez-Zoroa的方法，但EPFL的Gonzalo Cao-Labora称细看之下“是另一种方法”，相似仅停留在表面。Clay数学研究所自证明发布以来一直在审查。 此外，NYU数学家Tristan Buckmaster在证明发布前曾指认OpenAI基于他和Anthropic的Levent Alpöge用公开模型完成的工作，OpenAI否认使用Buckmaster的数据。普林斯顿高等研究院的Camillo De Lellis认为，由于语言模型是黑箱，可能无法得到确凿答案。

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

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