数学手稿

如何评价 OpenAI 撤回 3 篇手稿？为什么前沿模型会犯这种错误？

OpenAI近期撤回了其发布的722篇AI生成数学手稿中的3篇。此次撤回起因于一篇关于Weil类代数性的手稿中出现符号错误，导致该证明失效，并波及两篇依赖于此结论的后续论文。目前该目录剩余719篇手稿，其中约42%的结果已通过Lean形式化验证。

如何看待 OpenAI 公开 722 份数学手稿，宣布解决包含「准黎曼猜想」的数百个数学问题？

OpenAI近日在GitHub上公开了722篇内部数学手稿，涵盖数论、几何、理论计算机科学和数学物理等17个研究方向，共分为372个成果族。这些手稿涉及准黎曼猜想、BSD猜想、有理霍奇猜想及唯一游戏猜想等多个重大数学问题。尽管其中许多成果尚未经过同行评审，但其规模与覆盖范围引发了数学界的广泛关注。