2026年10月6日,OpenAI把722篇数学手稿放上了GitHub。不到24小时,其中三篇又被撤了下来。
这就是眼下热榜上OpenAI数学手稿的全部戏剧性:公开得很响,收回得很快。三篇涉及的是Hodge猜想与Kuga–Satake对应。
牵涉到的人和概念
先说出手的一方。知乎热榜的问题描述里提到,这些手稿由OpenAI内部一款尚未发布的前沿模型生成。外界能用的产品里,目前没有它。
再说被撤的三篇。Hodge猜想是代数几何里的著名难题,Kuga–Satake对应则是与它相关的一种数学构造。三篇手稿都落在这一块。
热榜里的另一个名字是陶哲轩。他是UCLA的数学家,对这件事发了评论。
还有一个名字是王虹。知乎热榜的问题描述说,她是今年的菲尔茨奖得主,因证明三维挂谷猜想得奖。挂谷猜想是个几何上的难题,OpenAI的报告把它的四维版本列进了「已解决」的清单。
手稿是怎么走到热榜上的
时间线很短。
10月6日,手稿上线。抖音热点的词条标题是「OpenAI发布722篇数学手稿」。知乎的问题描述补了更细的口径:这722篇归为372个成果族。
同一份报告还有另一种说法。知乎另一条热榜问题写的是,OpenAI称这款模型解决了数百个数学难题,四维挂谷猜想是其中之一。
不到24小时,三篇手稿被撤回。知乎热榜的问题描述给出的撤回原因,指向主文里的「稳定迹」相关部分。更具体的错误细节,该问题描述在这里被截断了。
从时间线看,撤回发生得很快,快到手稿刚上线,讨论还没来得及展开。这意味着问题不是几个月后同行审出来的,而是公开当天就被人盯上了。
这类AI产出被快速挑错的场面并不新鲜,此前Steam AI封面那场争论也是先上线、后被质疑。AI走进行业之后的另一类动静,可以对照汇丰裁员那篇。
陶哲轩说了什么
陶哲轩的评论,热榜标题是「数学2.0时代应淡化攻克难题」。
知乎问题描述里,他把传统数学叫作1.0时代,那时知名难题的证明通常会引起很大关注。描述在这句话后面被截断,后半段怎么说的,这里不替他补。
能确定的是方向:他的意思是,数学进入2.0之后,重心不该再放在攻克某个名题上。
换句话说,哪怕模型真的啃下了名题,在他的框架里,这也不再是衡量进展的主要尺子。

几个说不通的地方
- 数字对不上。722篇手稿、372个成果族、数百个难题,是三种统计口径。读者容易把它们当成同一个数。
- 「解决」两个字谁来认。数百个难题被解决,是OpenAI报告里的说法。目前热榜里看不到独立同行对这个数字的逐条确认,这一点全篇说一次。
- 撤回的为什么是这三篇。三篇都在Hodge猜想与Kuga–Satake对应这一块。是巧合,还是这个方向本身更容易出错,从素材看不出来。
- 错在主文,还是错在整体思路。问题描述指向主文里「稳定迹」的部分。主文出错,和整篇结论站不站得住,是两回事。
- 那个被追问的「为什么」。知乎的提问是前沿模型为什么会犯这种错误。这个问题至今没有出现在热榜的任何一条回答摘要里。
最值得继续盯的疑点
眼下最值得盯的,是剩下的手稿会不会有第四篇、第五篇被撤。公开不到24小时就撤了三篇,说明有人在逐篇看,也说明还有大量手稿没有被同样细致地审过。
其次是四维挂谷猜想那一条。它是报告里被点名的难题,又和菲尔茨奖得主的成果直接相连,一旦有同行给出明确的核验结论,这件事的分量会立刻变。
最后是OpenAI自己会不会解释撤回的原因,以及那款未发布的模型什么时候对外。
读者最关心的几件事
OpenAI这次公开了什么?
2026年10月6日,在GitHub上公开了722篇由内部未发布前沿模型生成的数学手稿,归为372个成果族。
撤回了几篇,涉及什么?
三篇,涉及Hodge猜想与Kuga–Satake对应。知乎热榜的描述说,原因与主文中「稳定迹」相关的部分有关。
四维挂谷猜想真的被解决了吗?
OpenAI的报告称是其中之一。目前热榜里没有看到独立的核验结论,所以只能算OpenAI的说法。
陶哲轩的态度是什么?
他评论说数学2.0时代应淡化攻克难题。他的完整论述,热榜摘要里被截断了。
