OpenAI 发布 722 篇数学手稿宣称证明四维挂谷猜想

10 月 6 日至 7 日，OpenAI 一口气公开 722 篇数学手稿并上传 GitHub，宣称证明四维挂谷猜想。其中包含 97 页的三维极大函数版本（强于王虹与 Zahl 已证的集合版），以及 175 页的四维集合版本。每篇手稿平均消耗约 3 小时 ChatGPT Pro 思考算力，仅约 42% 进行了 Lean 形式化验证。此举引发陶哲轩牵头抵制，业界对 AI 生成数学证明的可靠性展开激烈讨论。

2026-10-10 ~ 2026-10-10 · 2 条相关