OpenAI 3小时解四维挂谷难题

读文献什么时候是个头 · 2026-10-10T12:10:18

当个下载30篇只读完3篇的人，看到OpenAI这份手稿，第一反应不是崇拜，是想骂人。它3小时弄出来的东西，够我读一年。 先把故事讲清楚。挂谷猜想，1917年日本人挂谷宗一提出的，一根长度1的针，转一圈扫过的最小面积是啥。贝西科维奇后来证，这面积能任意小，还构造出每个方向都能装单位线段的挂谷集。面积靠不住，后来改用维数衡量。 进度是这样的。平面情形1971年Davies证完。三维，今年2月，王虹和Joshua Zahl解决，王虹还凭这个拿了2026年菲尔兹奖。四维以上，人类一直没证，最好纪录停在3.059。 OpenAI的074号组，就专攻挂谷。两篇，一篇三维极大函数猜想，97页，把王虹那版的宽松幂次收紧了。一篇四维挂谷集的Hausdorff维数等于4，175页，直接推到理论上限4。两篇合计272页，作者栏就写了个OpenAI。 但先别急着膜。我这种读文献的，最怕看细节。四维只证了Hausdorff维数版，极大函数猜想没动。五维以上，只用投影给了一个下界。四维那篇的关键输入，还引用了三维那篇的引理，两篇是连着的。 没有Lean形式化，没经过同行评审。OpenAI自己在README里也承认，部分没形式化的结果可能有问题。 发布数据那边，媒体报722篇手稿、372个结果族，实际GitHub目录是719篇，其中162篇附了Lean形式化。 模型被投喂了约4000个问题，OpenAI说绝大多数结果平均耗掉大概相当于ChatGPT Pro思考3小时的算力。手稿日期集中在9月23到10月5号，主体不到两周就批量出来了。 发布第二天，撤了3篇，修订14篇，更新13篇引用。OpenAI发言人也承认，有些结果连他们自家数学家都还没完全看懂。 四维挂谷是菲尔兹奖级别的题，OpenAI几天内推到了理论上限。效率是真的，盲区也是真的。这套流程能不能当数学界的生产工具，我现在下不了结论。先把手稿下载下来，慢慢读。