OpenAI发布722篇数学手稿，将挂谷猜想扩展至四维

AI 摘要

OpenAI于10月7日一次性发布722篇数学手稿，其中编号074的两篇论文分别声称证明了三维挂谷极大函数猜想和四维挂谷集Hausdorff维数猜想，将王虹与Zahl今年2月解决的三维挂谷集猜想进一步推进。两篇论文共272页，作者栏仅署OpenAI，未经过同行评审，仅约42%结果做了Lean形式化。陶哲轩牵头人类数学协会发布声明强烈抵制，认为批量发布是权力展示而非学术，而Daniel Litt、Yann LeCun等人则认为数学将迎来新时代。

正文节选

王的猜想，刚刚扩展到四维 听雨 发自 凹非寺 量子位 | 公众号QbitAI 今年7月，王虹、邓煜在费城国际数学家大会上拿下菲尔兹奖。 消息刷屏那几天，Anthropic员工Alek Dimitriev在X上发了一句： 这届菲尔兹奖，将是人类最后一次拿到这个奖。 往届得主Timothy Gowers跟帖，说自己也有过类似的想法。 不过这个过程有滞后，所以我想他们大概能撑到2030年。 谁能想到…Gowers你可能还是乐观了。 10月7日，OpenAI一口气放出了722篇数学手稿，论文和部分Lean证明全部上传Github。 其中编号074的一组只有两篇，正是王虹拿奖的那个方向：挂谷猜想。 一篇声称证明了三维挂谷极大函数猜想，比王虹和Zahl证明的版本更强。 另一篇声称证明了四维挂谷猜想。 两篇手稿加起来272页，作者栏只有一个词：OpenAI。 王虹与Joshua Zahl刚解决三维挂谷集维数猜想，AI便把相关结果推到了四维。 难道…今年这届菲尔兹奖，真的是人类数学的最后一届么？ OpenAI的两篇挂谷论文，具体做了什么？ 1917年，日本数学家挂谷宗一提了个问题：在平面上让一根长度为

发布时间：2026-10-11 13:23

抓取时间：2026-10-11 16:38

来源机构：量子位