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

OpenAI 于 10 月 7 日放出 722 篇数学手稿，论文和部分 Lean 证明上传 GitHub，其中编号 074 的两篇共 272 页，署名只有 OpenAI。