物界前沿 · 资讯情报卡(量子位 · 2026/10/7)
OpenAI公开722篇数学手稿,覆盖多道千禧难题
核心事实
- OpenAI公开722篇数学手稿,归为372组结果,来自未发布的内部模型。
- 模型共尝试约4000个研究问题,平均每项结果算力约等于ChatGPT Pro思考3小时。
- 手稿涉及准黎曼猜想、霍奇猜想、BSD猜想等,覆盖17个数学方向。
- 论文、源码和部分Lean证明已上传至GitHub,部分成果尚无形式化证明。
- 由九位学者组成的独立顾问组声明,不代表认可这些结果及产出过程。
关键数据
722篇公开手稿数
372组结果组数
约4000个尝试问题数
约ChatGPT Pro思考3小时平均算力
物界观察
AI批量产出数学成果,速度已远超人类同行消化能力。顾问组急于撇清背书,说明学界对AI证明的信任机制尚未建立。真正值得关注的不是数量,而是这些手稿能否被验证、被引用,否则只是算力堆出的论文山。
来源:量子位原文 ↗
物界前沿