OpenAI 放出 722 篇数学手稿，声称将挂谷猜想推进到四维

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