OpenAI 批量公开数学手稿将挂谷猜想推向四维，引发数学界强烈争议

OpenAI 批量公开 722 篇数学手稿，其中两篇分别声称证明了三维挂谷极大函数猜想与四维挂谷集的 Hausdorff 维数，在菲尔兹奖得主王虹等人的成果基础上进一步推进了维度。该系列手稿未经过 Lean 形式化和同行评审，陶哲轩牵头的人类数学协会对此发起声明抗议，学界围绕 AI 批量解决难题对科研探索模式的冲击展开了激烈讨论。