量子位· henry·· 2 天前AI 评分22
OpenAI 纳维-斯托克斯方程证明反转：未走「西班牙路线」，公司自己也没看懂
GPT证千禧年难题成果大反转！OpenAI自己没看懂就发…
AI 导读
《科学美国人》最新报道指出，OpenAI 的纳维-斯托克斯方程证明实际采用了与西班牙数学家不同的方法，而非此前 OpenAI 自己宣称的「西班牙路线」。该证明于 9 月公布，共 166 页，系统还生成了 Lean 形式化代码，但形式化验证成立不等于人类理解其数学思想。OpenAI 随后又公开 722 篇数学手稿、涵盖 372 组研究成果，数学家已难以跟上 AI 产出证明的速度。
来源：量子位 · qbitai.com