改变人类文明进程的大事件,就这么悄然发生了!

当一个真正改变人类文明进程的大事件发生的时候,大家的反应竟然是出奇的安静,没有上热搜,甚至都没看到多少篇讨论的文章,江湖上的各个百万、千万级的大V们,都没在谈这个事情。

但真的没人注意到这样的大事件吗?当然不是,而是很多人都懵了,陷入了巨大的迷惘之中。

这有点像在游乐场玩那种突然下坠的惊险游戏,在刚刚下坠的那个悬空的瞬间,人是懵的,得过一会儿才能尖叫出来。

自从我昨天知道了这个消息后,下班后我就一直在不停地刷关于这个大消息的各方大佬的最新评论,我还跟GPT一直讨论到凌晨1点多。

昨晚我还问万维钢老师怎么看,他回复我的第一句话就是:我现在也是非常迷茫,情绪很复杂。他说:世界上发生了这么大的事儿,结果朋友圈一片安详,大家还在谈论那些平时的鸡毛蒜皮。

我说是的,需要给他们一点儿时间。

静悄悄的大事件

这件大事非常静悄悄地发生在北京时间 10 月 7 日早上 6 点 19 分,OpenAI非常平淡地发了一个消息,说我们往 GitHub 上传了722篇数学论文,有兴趣的自己下载来看[1]。

打开网易新闻 查看精彩图片

▲ OpenAI 10月7日的原帖:722篇论文已上传 GitHub

然后,有兴趣的数学家下载下来一看,立即就懵了。这722篇论文是OpenAI用一个没有公开的模型做出的372个数学研究成果,平均每个成果用时3小时。

打开网易新闻 查看精彩图片

▲ 722篇论文覆盖的数学领域分布

打开网易新闻 查看精彩图片

▲ 一人一黑板,对面是一夜之间写满的公式之墙

伦敦玛丽女王大学的一位知名数学家阿比谢克·萨哈(Abhishek Saha)说,这些成果可以分成四档[2]:第一档:普通进展,不需要大惊小怪;第二档:重大推进,吃惊;第三档:出乎意料的重大突破;第四档:远远超出人类数学家能做到的令人震撼的重大突破。

打开网易新闻 查看精彩图片

▲ 萨哈的四档分级:372个成果,第四档只有一个

这 372 个成果中,绝大多数都是第二和第三档,也就是说,任何一个数学家能在一生中做出其中的一两个,就足以功成名就了,而 AI 平均只用了 3 小时。

那有没有第四档的成果呢?就是那种值得一个数学界的王冠菲尔兹奖的成果呢?有,且只有一个。它就是 OpenAI 发表的论文编号003中,证明了“准黎曼猜想”。

注意,并不是直接证明了黎曼猜想,而是证明了黎曼猜想的一个近似命题。这有点像陈景润并没有证明哥德巴赫猜想,而是证明了哥德巴赫猜想的一个近似命题,也可以叫“准哥德巴赫猜想”。

打开网易新闻 查看精彩图片

▲ “近似命题”:离终点还差一步,但已是巨大跨越

你先不用急着弄清这个所谓准黎曼猜想到底说的是什么。我先给你看一条评价:罗格斯大学数学教授亚历克斯·孔托罗维奇(Alex Kontorovich)的原话是:

如果这篇论文是人类写的,那可以立即颁发菲尔兹奖,不用多废话。

然后又补充了一句:我想应该是2个菲尔兹奖。因为这篇论文中其实有两个成果,每个成果都可以值得一个菲尔兹奖。

打开网易新闻 查看精彩图片

▲ 孔托罗维奇在 X 上的原帖

打开网易新闻 查看精彩图片

▲ 随后的补充:“那应该是两个菲尔兹奖”

陶哲轩的评论是:传统的“数学1.0”时代结束了。然后表达了自己对人类数学未来的忧虑。[3]

打开网易新闻 查看精彩图片

美国有个著名的、设在普林斯顿高等研究院的数学与人工智能咨询小组,成员都是些顶级数学家,OpenAI 在公布这批成果之前,曾经咨询过小组。

这个小组在 10 月 7 日当天发布声明:第二句话就是:这是数学史上的重要时刻。然后重申了此前发布的“负责任发布”建议,对 OpenAI 以这种方式公开这批成果提出了批评[4]。

另外一个组织“人类数学协会”则措辞激烈地批评说:这不是学术实力的展示,而是权力的炫耀。

打开网易新闻 查看精彩图片

我今天写下这些文字,不是为了流量,我也不在乎有几个人看。我就是想在这个重要的时刻,留下一点东西,表明我曾经见证过一个人类文明史上最重要的时刻。

如果把数学比喻成东方明珠塔,那“黎曼猜想”就是顶在塔尖上的唯一的一颗最耀眼的宝石,任何一种智慧形式,只要能摘下这颗宝石,就可以说自己站在了人类所理解的那种智慧的最顶端。

打开网易新闻 查看精彩图片

▲ 数学之塔:塔尖那颗宝石,就是黎曼猜想

AI虽然还没能摘下这颗宝石,但它在2026年爬到了人类从未达到过的高度!

到底什么是黎曼猜想

2018年我曾经写过一篇长文介绍黎曼猜想。

震惊:有大牛数学家宣称证明了黎曼猜想

著名的数学家希尔伯特曾经说,假如一千年后我能活过来的话,我最想问的第一个问题是:黎曼猜想被证明了吗?也就是说,像希尔伯特这样的大数学家也认为想要看到黎曼猜想的证明,它得冬眠个一千年。

打开网易新闻 查看精彩图片

▲ 黎曼猜想:所有非平凡零点都落在实部等于1/2的临界线上

这次OpenAI所宣称的“准黎曼猜想”到底是什么呢?一句话来说,就是AI证明,黎曼ζ函数在实部大于 7/8 的区域里,绝对不可能出现零点。

你心里大概在想,刚才这句话,每个字都能看懂,但连在一起不知道啥意思。

我打个比方:黎曼猜想就好像说,如果你想在地球上找到某一种特殊的矿物,只能在东经 50 度这根线上,其他地方绝对找不到。

打开网易新闻 查看精彩图片

在AI这次证明之前,人类做出的最好成果是我们只能确定,在东经 100 度这条边界附近,有一条“绝对找不到这种矿物”的狭窄地带。

但麻烦的是,这条禁区越往北走就越窄,窄到最后几乎贴着东经 100 度线,也就是说,这个最好的成果也无法排除这种矿物会在某些极端遥远的地方出现在禁区中。

嗯,绕了一圈,基本等于啥也没证明。

而AI这次做出的证明是它直接把这条禁区拓宽成了一条固定宽度的巨大区域——东经87.5度以东,不管你走到多高的纬度,这种矿物都绝不可能出现。

打开网易新闻 查看精彩图片

▲ “准黎曼猜想”的地理类比:禁区从一条越来越窄的缝,变成一整片固定宽度的区域

打开网易新闻 查看精彩图片

▲ 换回复平面来看:此前的零点禁区越往上越窄,AI的结果是实部大于7/8整条带都无零点

这是一次质的飞跃,接下去AI要做的就是把这个禁区不断扩大,假如能扩大到除了东经 50 度以外的所有地方都是禁区,那就完成了黎曼猜想的证明。

把人类对黎曼猜想的证明突然从“毫无希望”拉到了“有希望”的轨道上。

打开网易新闻 查看精彩图片

▲ 从“毫无希望”切换到“有希望”的轨道

我原本铁定认为,自己在有生之年是看不到黎曼猜想被证明的。

但今天我却无比乐观,我预测只要再活 2 年,我就能等到黎曼猜想被证明的一天,哪怕我看不懂证明过程,但知道个结果就死而无憾了。

见证历史

从今天开始,我对AI的智力已经超过人类这件事情再无半点犹豫和怀疑!

从今天开始,我对AGI必将出现这个预测也再无丝毫怀疑!

从今天开始,我对泰格马克所宣称的生命3.0的出现,也再无丝毫怀疑!

写此文,以证明自己曾经见证过历史!

附:写给自己看的两个预测

我预测AI有两种证明黎曼猜想的可能形式:

可能一:用ZFC公理体系彻底证明黎曼猜想为真(我完全不相信黎曼猜想可以被证伪);

可能二:证明黎曼猜想为真,但独立于 ZFC 公理体系;

我个人认为“可能二”的概率更高一些。

我预测:在证明黎曼猜想的过程中,AI 发明了一套更高阶的非 ZFC 公理体系,标志着“智慧2.0”诞生!而这一切,会在 2 年内发生。

天呐,我生活在怎样的一个时代,太梦幻了!

平哥,你再晚走几天,就能跟我一起见证历史了。

责编 珍豆 撰稿 汪诘 排版 牛牛

信源

[1] OpenAI 原帖及论文库 openai/math(2026年10月7日,北京时间6:19):https://github.com/openai/math

[2] Abhishek Saha(伦敦玛丽女王大学)对这批成果的 A–D 四档评级,见其 X 帖及媒体转述:https://www.kucoin.com/news/insight/OPENAI/6ac6972838a2640007930a4a

[3] 陶哲轩 Mathstodon 帖(“传统数学,即‘数学1.0’……”):https://mathstodon.xyz/@tao/117395267721642920

[4] Fortune,OpenAI publishes solutions to more than 370 outstanding math challenges(2026年10月7日;含高等研究院数学与人工智能咨询小组声明、陶哲轩评论、“人类数学协会”公开信):https://fortune.com/2026/10/07/openai-math-controversy-solutions-370-outstanding-challenges-published-criticisms-celebration/

[5] Latent Space AINews,Quasi-Riemann-Hypothesis(722篇论文、372组成果、平均3小时等数字):https://www.latent.space/p/ainews-quasi-riemann-hypothesis-openai