物界前沿 · 资讯情报卡(量子位 · 2026/10/11)
OpenAI公开两篇挂谷猜想论文,将三维结果推至四维
核心事实
- 10月7日,OpenAI在GitHub发布722篇数学手稿,其中074组含两篇挂谷猜想论文。
- 一篇97页论文声称证明三维挂谷极大函数猜想,强于王虹和Zahl的集合版结果。
- 另一篇175页论文声称证明四维挂谷集的Hausdorff维数猜想,此前最好结果约为3.059。
- 两篇论文作者栏仅写OpenAI,未经过同行评审,也未做Lean形式化。
- 陶哲轩牵头人类数学协会发声明,敦促数学家停止与OpenAI合作。
关键数据
722篇公开数学手稿总数
97页三维论文页数
175页四维论文页数
约42%Lean形式化比例
物界观察
AI批量产出高维数学证明,把同行评审和署名归属逼成瓶颈。陶哲轩的抵制声明点出核心矛盾:解题速度远超人类消化能力,数学共同体可能失去对问题选择权。若证明成立,AI将从工具变为竞争者,倒逼学术评价体系重构。
来源:量子位原文 ↗
物界前沿