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

OpenAI于10月7日在GitHub上传了722篇数学手稿，其中包含声称证明三维挂谷极大函数猜想和四维挂谷猜想的论文，作者栏仅署名为OpenAI。这些成果基于王虹等人类数学家此前的工作，但未经同行评审且部分未做Lean形式化。陶哲轩牵头人类数学协会发布声明抵制此类批量发布行为，认为其损害学术规范；而Yann LeCun等人则认为这标志着数学进入自动化验证的新时代。