OpenAI发布挂谷猜想证明手稿引发争议

2026年10月7日，OpenAI在GitHub上传了722篇数学手稿，声称证明了三维挂谷极大函数猜想和四维挂谷猜想，作者栏仅署名为OpenAI。这些成果基于王虹等人类数学家此前的工作，但未经同行评审且部分未做Lean形式化。该事件迅速引发数学界激烈争议：陶哲轩牵头人类数学协会发布声明抵制此类批量发布行为，认为其损害学术规范；而Yann LeCun等人则认为这标志着数学进入自动化验证的新时代。此前报道曾称OpenAI发布的是“四维挂谷猜想”证明，后续详细报道指出其同时包含“三维挂谷极大函数猜想”和“四维挂谷猜想”的论文，并明确了具体发布日期及引发的两极分化反应。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。