AI 日报 · 2026 年 10 月 12 日 · 星期一

OpenAI于10月7日公开722篇数学手稿，其中编号074的两篇共272页，声称证明了三维挂谷极大函数猜想和四维挂谷集Hausdorff维数猜想，后者把此前卡在3.059的维数下界直接推到4。两篇论文均未做Lean形式化、未经同行评审，OpenAI在README中提示部分未形式化结果可能有问题。陶哲轩牵头的人类数学协会发声明抵制这种批量发布方式，Yann LeCun等人则认为数学正迎来新时代。