AI思考3小时9页惊动陶哲轩：彻夜未眠

10月6日晚餐时分，牛津大学教授、菲尔兹奖得主詹姆斯·梅纳德（James Maynard）坐在餐桌前，手却一直在桌布底下紧张地刷着手机。 他听到风声，一场针对人类数学界的“海啸”正在袭来。 临睡前，他最后看了一眼屏幕，巨浪拍岸，OpenAI一口气放出了由内部前沿模型生成的700多篇数学论文。 其中编号为“Family 003”的档案袋里，静静躺着三份手稿：AI不仅一举攻克了悬置百年的“拟黎曼猜想”（Quasi-Riemann Hypothesis），更在第三份仅有9页纸的手稿里，顺手猎杀了困扰解析数论整整一个世纪的“头号幽灵”，兰道-西格尔零点（Landau–Siegel zeros）。 每个结果，AI平均只花了大约3个小时的思考算力。 “我就像在过圣诞节的孩子，”梅纳德对《Science》记者感叹，“哪怕是某个可怕的怪物送来的礼物，我也兴奋得不行。 在解析数论领域，这显然是过去一百年里最抢眼的头条结果。”

▲ 斯坦福数学家利希特曼转发《Science》对梅纳德的采访，指出这一突破距1896年素数定理恰好130年 01一道铁闸，锁死130年的素数迷雾 为什么顶尖数学家会集体失眠？ 要看懂这场震动，只需要三分钟的高中数学直觉。

▲ OpenAI在GitHub公开的数学仓库目录，Family 003直接宣告解决拟黎曼猜想

伦敦玛丽女王大学教授阿比谢克·萨哈（Abhishek Saha）将数学突破分为A、B、C、D四档：B是顶刊，C能改写一个领域，而D是专家原本认为眼下根本不可能的“瞬时菲尔兹奖级”冲击。 在他看来，OpenAI这次投放的论文里多数是B和C，唯独拟黎曼猜想这一项，是毫无疑问的D档核爆。

▲ 社交网络疯传的分级图：一个未公开模型用3小时思考，干出了人类顶尖学者一辈子的极限

▲ 萨哈教授晒出后续论文截图：人类学者秒速借用OpenAI的突破攻克旧猜想，却在文末傲娇声明“本研究未用AI” 04怪物送来的礼物：当AI开始替人类“跨界缝合” 为什么人类苦思冥想上百年的死结，AI思考3个小时就能捅破？ 复盘整个Family 003，最让人细思极恐的真相是：AI其实没有发明任何超越人类认知的“外星数学”，它只是做了一次冷酷到极致的“跨界老工具大缝合”。 在拟黎曼猜想的证明里，AI翻出了冷门的异权形式（metaplectic forms），并精准调用了邓恩（Alexander Dunn）与拉齐维乌在2021年证明的一个公式； 而在西格尔零点的证明里，它直接把超越数论的插值行列式搬进了解析数论。 拉齐维乌事后反思的一句话，道破了人类学术界最大的软肋：“我们这一派解析数论学者，过去一直误以为手里的工具不够强，总觉得必须等全新的技术出现； 而AI却‘相信’现有工具拼在一起就够用了。” 人类数学家有门派之见、有精力极限、有“工具箱偏见”。 做筛法的人一辈子盯着筛法，做超越数论的人很少去碰自守形式。 而大模型没有学科围墙，它把人类几百年积累的所有冷门引理、代数技巧和公式装进同一个高维空间，用几小时的暴力推理，在人类习以为常的盲区里搭出了一座隐秘的桥。 一种全新的科学分工已经成型：AI扮演“冷酷的神谕者”，抛出长达两百页、文笔稀烂却附带Lean 4铁证的原始证明； 顶尖人类学者则化身为“考古学家与翻译官”，把机器天书拆解、简化成4页纸的优美直觉，再去收割下游成百上千的推论。 正如曼彻斯特大学数学家托马斯·布卢姆（Thomas Bloom）在谈及完整的黎曼猜想时所说：“虽然完整猜想看起来依然遥不可及，但几周前，我们对拟黎曼猜想也是这么说的！到了这一步，已经没有什么能让我再吃惊了。”