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

OpenAI 于 10 月 7 日一次性公开 722 篇数学手稿，论文和部分 Lean 证明上传 GitHub，其中编号 074 的两篇共 272 页，作者栏只写 OpenAI。