OpenAI 公开 722 篇数学手稿，称将挂谷猜想扩展至四维

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