物界前沿 · 资讯情报卡(量子位 · 2026/10/11)

OpenAI公开两篇挂谷猜想论文,将三维结果推至四维

核心事实

关键数据

722篇公开数学手稿总数
97页三维论文页数
175页四维论文页数
约42%Lean形式化比例

物界观察

AI批量产出高维数学证明,把同行评审和署名归属逼成瓶颈。陶哲轩的抵制声明点出核心矛盾:解题速度远超人类消化能力,数学共同体可能失去对问题选择权。若证明成立,AI将从工具变为竞争者,倒逼学术评价体系重构。

来源:量子位原文 ↗