OpenAI 公开 722 篇数学手稿，两篇将挂谷猜想推进到四维

OpenAI 于 10 月 7 日一次性放出 722 篇数学手稿，论文和部分 Lean 证明上传 GitHub，作者栏只写 OpenAI。其中编号 074 的两篇共 272 页，一篇声称证明三维挂谷极大函数猜想，比王虹与 Zahl 的版本更强，另一篇声称证明四维挂谷集的 Hausdorff 维数猜想，把此前卡在 3.059 的进度直接推到 4。