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

OpenAI 于10月7日在GitHub公开722篇数学手稿，其中包含声称证明三维挂谷极大函数猜想及四维挂谷猜想的论文，将王虹团队成果推向更高维度。这些未通过同行评审且仅42%形式化的结果引发陶哲轩等数学家抵制，担忧AI批量解题破坏传统研究生态与审稿机制。