梦晨 发自 凹非寺 量子位 | 公众号 QbitAI鹤岗锚索钢绞线
继 GPT-6 进孪生素数料想之后，又有传闻称 Claude 已破解谈千禧数学发愤。
如故陶哲轩攻的纳维斯托克程问题。
陶哲轩门发长文修起：我没参与，我不知情，但 AI 都发展到这了，也不是不成能。
他高出忽视不雅点。
果然的契机老本在于，纳维斯托克正则这么在历史上阻隔丰硕、富启发的问题，若是只是被用来制作条宣传某些基准证据的病毒式唐突媒体帖子，而不是果然动域上前发展、忽视下代值得探讨的问题并诱导东谈主们去酌量它们，那么代价将是弘远的。
为了解释这个不雅点，还陶哲轩筹算了个"假如 AI 早来 20 年"的念念想历练，在这个 IF 线的寰宇中，张益唐竞争不外 AI 还在刷盘子。
后他还向所有 AI 公司忽视个新的建议：
与其领先告示未解数常识题的科罚案，不如领先告示个新的数学宗旨。
篇论文激发的 AI 武备竞赛
8 月 31 日，奥地利数学 Julia Stadlmann 在 arXiv 上传了篇 34 页的预印本论文。她证明注解了存在穷多对相邻素数，它们之间的间隔不外 240。
这个数字把此前由 Polymath8b 配合名堂在 2014 年培植的上界 246 往下了步，是 12 年来该问题的次证据。
Stadlmann 花了两年时期完成这项职责，莫得使用任何 AI 器具，不管是数学、代码编写如故论文撰写。
她的师、2022 年菲尔兹得主 James Maynard 评价说，探讨法是她的特长之，亦然这阻隔的要津所在。
但 Stadlmann 论文上线的时机，带着丝被动的意味。
据维基百科纪录，她其实几个月前就得到了初步证明注解，直在磨强的阻隔，直到传说 OpenAI 行将发布同问题的阻隔，她才上传了手中的版块，坦言我步调与公司的算力竞争。
竟然如斯，只是三四天后，多 AI 公司不甘人后地在唐突媒体上告示了各自的矫正。Claude Opus 5.1 把上界刷到 260，Axiom Math 告示 220，OpenAI 的 GPT-6 Astra 则在几小时内跟进，报出 186。
这场竞赛发生在 GPT-6 Astra 和 Claude Opus 5.1 同周内先后发布的大配景下。
物理学 Alexander Wissner-Gross 以致忖度，克莱千禧年大问题将在"当年几个月内"被攻克。
个"若是 AI 早来 20 年"的念念想履行鹤岗锚索钢绞线
陶哲轩先总结了素数间隔问题的真及时期线。
2005 年，Goldston、Pintz 和 Y ı ld ı r ı m 发展出套法（GPY 法），在假定 Elliott-Halberstam 料想缔造的前提下能给出的上界。
2013 年，其时在三明店工的张益唐再行发现了 Motohashi-Pintz 的个不雅察，高明地借用了 Bombieri、Friedlander 和 Iwaniec 较早期且已不太流行的职责，证明注解了素数间隔的有限上界为 7000 万。
张益唐的论文发表后，多东谈主争先告示各自的矫正，场竞争的"跑"驱动萌芽。
陶哲轩回忆说，这场竞赛如故是 AI 基准测试文化的个早期预兆，时期压力驱使作家在阐发和考证上偷工减料。
为了把竞争变为配合，2013 年 6 月 4 日，陶哲轩提议发起 Polymath8 名堂，让内行数学在博客和 wiki 上集体进。经过两个月的密集配合，上界牢固在 4680。
同庚 11 月，其时如故酌量生的 Maynard 设备出种不同的法（后被称为 Maynard 筛法），将上界降到 600。Maynard 随后加入了 Polymath8b 的后续职责，到 2014 年 4 月上界牢固在 246。
在这期间产生了多项新技能，表面层面有 epsilon 扩大妙技，数值层面有二次型的化法，终阻隔需要两周的探讨机运算。
而 Maynard 筛法自后被平时利用于融会数论的其他问题，成为教科书中的范例法，在融会数论课程中旧例讲授。
然后陶哲轩构建了条遐想时期线：若是今天这种以基准测试为向的 AI 公司在 2005 年就已存在，会发生什么？
在他的演中，GPY 法公布后不到个月，多 AI 公司便蜂涌而上，耗尽数百万好意思元算力，锚索将上界刷到了三位数的低端，然后证据停滞，AI 公司转向下个基准测试。
而后这个问题被视为"饱胀"，也即是需要巨量算力能力高出进，数学也纷纷转向其他向。
由于险些东谈主酣畅或有能力消化这些阻隔，这场竞赛莫得产生任何经过业撰写的预印本，无谓说发表的论文。AI 生成的论证从未插足课堂，也从未被写入数论教科书。
在这条遐想时期线中，简短在 2010 年，少数仍留在该域的数学从 2005 年 AI 怒潮产生的数百页材料中，劳作索取出了相当于 Maynard 筛法的念念想。
但这发现被秘而不宣，因为此时任何新数学宗旨的发布都会不成避地激发又轮 AI "刷榜"怒潮。到 2012 年，即使借助新的 AI 扶植，这位数学也未能科罚完满的孪生素数料想，终在莫得发表部分阻隔的情况下废弃了。
而在这条时期线的 2013 年，张益唐仍然在三明店工，Maynard 则转向了其他酌量向。
陶哲轩在遐想时期线的阻隔只写了个问号：2026 年，???
他征引 Goodhart 定律指出，针对某主见的化并否则动东谈主们接近其他有价值的地方，比如动数学举座的意会。
不是反对 AI，是反对只为跑分
陶哲轩在帖子的后部分明确示意，这些负面应并非 AI 在数学中利用的然后果。
他举了个正面案例：Erd ő s 问题 #1026 的科罚流程，即是 AI 以配合而非竞争的式同期进了问题的解答和东谈主类对该域的意会。
他所品评的，是些特地刻意的聘请：废弃任何获得东谈主类意会的起劲，不与域作，不撰写论文提交同业评审，而是将 AI 器具隧谈用于竣事个基准数字。
这种对基准测试的聚焦在 2025 年时还相对害，因为其时的器具尚不及以立科罚完满的数常识题。但到了 2026 年，这种作念法如故与数学举座的高出"负向对皆"。
陶哲轩的这番表态并非已而转向。
他对 AI 数学能力的评估直在快速修正。2024 年 9 月，他在测试早期模子后示意，嗅觉像是在指"个世俗但不至于能的酌量生"。
到 2026 年 3 月，在 UCLA 的 IPAM 会议上，他如故告示 AI 在数学和表面物理中"如故不错精致上场"，原理是它目下"省俭的时期比阔绰的时期多"。
2026 年 8 月，他在数学大会上发表了题为《AI 时间的数学》的演讲，忽视了个激进的想法：
可能有要告示某些类别的数常识题对自动求解器"禁入"，以保护这些问题对数学生态系统的平时价值，包括培养下代数学。
他承认这在器具既刚劲又平时可用的情况下很难实施，但类比说，社会在用社会压力防止大限制剧透面如故取得了定的得胜。
就在同期期，份由数学定约背书的《莱顿宣言》于 2026 年 6 月发布，劝诫称对 AI 生成证明注解的依赖正在挟制数学酌量的准确、可靠和立可考证，科技公司的参与有可能将酌量诬陷到那些适 AI 法的问题上，而非果然对意会有层意旨的问题上。
在这场争论中，Stadlmann 的 34 页论文和 AI 公司的唐突媒体公告变成了组对照。
陶哲轩评价 Stadlmann 的职责是"剿袭 Polymath8b 原始论证精神的超卓起劲"，并非常指出她是位单职责的数学，使用的是传统数值探讨而非当代 AI 器具。
而 AI 公司的阻隔，OpenAI 宣称的 186 上鸿沟度目下尚未经过立考证。
个东谈主花两年作念出的阻隔，被群公司在 72 小时内用算力碾压。但这 72 小时里产生的东西，是否能插足教科书、培养学生、启发新法，目下莫得谜底。
陶哲轩把这个问题留给了所有东谈主。
参考通顺： [ 1 ] https://mathstodon.xyz/@tao/117219101339291693 [ 2 ] https://mathstodon.xyz/@tao/117219548485446992
键三连「点赞」「转发」「堤防心」
宽待在指摘区留住你的想法！手机号码：15222026333相关词条:玻璃棉毡 塑料挤出机 预应力钢绞线 铁皮保温 万能胶生产厂家
1.本网站以及本平台支持关于《新广告法》实施的“极限词“用语属“违词”的规定鹤岗锚索钢绞线，并在网站的各个栏目、产品主图、详情页等描述中规避“违禁词”。
2.本店欢迎所有用户指出有“违禁词”“广告法”出现的地方，并积极配合修改。
3.凡用户访问本网页，均表示默认详情页的描述，不支持任何以极限化“违禁词”“广告法”为借口理由投诉违反《新广告法》，以此来变相勒索商家索要赔偿的违法恶意行为。
