OpenAI手稿声称扩展挂谷猜想

AI 解读（根据原文生成）

量子位报道，OpenAI公开722篇数学手稿，其中编号074的两篇聚焦挂谷猜想：一篇声称证明三维挂谷极大函数猜想，另一篇声称证明四维挂谷集Hausdorff维数猜想。文章称两篇论文分别为97页和175页，作者栏为OpenAI，论文和部分Lean证明已上传Github，但074号成果没有Lean形式化，也未经过同行评审，OpenAI README提示部分未经形式化结果可能有问题。

要点（AI 据原文整理，数字均已与原文核对）

• 今年7月，王虹、邓煜在费城国际数学家大会上拿下菲尔兹奖。
• 10月7日，OpenAI一口气放出了722篇数学手稿，论文和部分Lean证明全部上传Github。
• 两篇手稿加起来272页，作者栏只有一个词：OpenAI。
• OpenAI这篇97页的论文，声称把这一步解决了。
• OpenAI这篇175页的论文，声称直接证到4。
• 074号这组成果没有Lean形式化，也没有经过同行评审。