OpenAI 发布百篇数学手稿，将挂谷猜想推进至四维

OpenAI 在 GitHub 上公开了 722 篇数学手稿，其中编号 074 的两篇论文分别声称解决了三维挂谷极大函数猜想和四维挂谷集猜想。这两篇总计 272 页的论文在王虹等人类数学家研究成果的基础上构建，目前尚未经过同行评审和 Lean 形式化验证。这一批量发布引发了数学界的强烈关注与关于科研秩序的讨论。