OpenAI发布挂谷猜想四维证明论文

OpenAI发布两篇数学手稿，分别声称证明了三维挂谷极大函数猜想和四维挂谷猜想，将王虹和Zahl的工作扩展到四维。这些论文未经同行评审和形式化验证，引发了数学界对AI研究方式的激烈争议。