量子位· henry·· 10 小时前精选AI 评分58
GPT纳维-斯托克斯证明方法反转，OpenAI未真正理解自家模型成果
GPT证千禧年难题成果大反转！OpenAI自己没看懂就发…
AI 导读
《科学美国人》追踪报道发现，OpenAI公布的166页纳维-斯托克斯方程证明实际采用的方法与此前声称的西班牙路线不同，OpenAI在发布时也未搞清模型的具体做法。报道指出证明生成了Lean形式化代码可供逐步检查，但数学界尚未真正理解其数学思想；OpenAI还一口气公开了722篇涵盖霍奇猜想、BSD猜想等的数学手稿，核验进度不一，陶哲轩等数学家多次表示AI生成证明的速度远超人类理解消化的速度。
推荐理由
报道梳理了证明方法归属反转的来龙去脉，可理解AI生成数学证明与人类理解脱节的新问题。
来源：量子位 · qbitai.com