OpenAI 公开 722 篇数学手稿，声称解决四维挂谷猜想

OpenAI 近日公开 722 篇数学手稿，其中包含声称证明了三维挂谷极大函数猜想及四维挂谷猜想的论文。这些成果基于人类数学家王虹等人的前期工作，但目前尚未经过同行评审或 Lean 形式化验证，引发了数学界关于学术权力、审稿压力及 AI 对数学研究影响的广泛讨论。