[文/不雅察者网心智不雅察所]

“倘若一个筹办生终结战争AI，一味想用当年的式样进行讲明，或许会发现我方领有的契机越来越少。”——菲尔兹奖得主陶哲轩

2026年春，一则音问滚动了数学圈：一个23岁的业尾数学喜爱者在ChatGPTPro的协助下破解了沿途悬而未决近60年的埃尔德什问题。更令东说念主讶异的是，AI给出的讲明想路竟是专科数学家们从未想过的旅途。菲尔兹奖得主陶哲轩对此评述说念，“在此之前，统共筹办者从第一步就走错了标的，堕入想维定式，而AI正值绕开了这个阻拦。”

这个故事的主题并不在于“AI是否会取代数学家”，而是“数学家若何与AI和谐”。在这场东说念主机协同的新海潮里，一位中国脉科生的名字宽敞出目前预印本网站arXiv和对于埃尔德什问题的公开论坛上。他即是来自西安交通大学的汤泉宇。他与陶哲轩等东说念主合作，在AI的匡助下攻克难题，完成严谨的数学论文，成为“AI数学新期间”的凫水儿。

AI正在调动数学

在招揽《天然》杂志采访时，陶哲轩谈到，“AI并不是肖似于翰墨处理器或网页浏览器那样的另一种时候。它如实在迫使咱们再行想考一些根蒂问题：数学讲明是什么？论文是什么？咱们这行的盘算推算是什么？”

他通晓地指出AI的领域与上风，“AI最大的致命毛病即是会犯无法考证的子虚。但唯独在数学限制里，你不错自行检讨输出为止。因此，AI公司意志到，如若我方有可能取得任何告成，那么最明确的告成将来自数学。”

谈到数学家的格调，陶哲轩的不雅察颇具知竭力，“‘追悼的五个阶段’会全部献艺一番——否定、震怒、谈判、抑郁、招揽。我以为，这件事正在每一个处所发生。不外，咱们也看到否定阶段初始消退了。”

对于AI在数学问题上的泄露，他怀着乐不雅且审慎的格调，“最近的进展越来越令东说念主印象潜入。咱们刚刚发现一些例子，标明AI初始搞定东说念主们平和的真实问题。AI仍然有好多毛病，它还不成替代东说念主类所作念的事情，但咱们越来越难否定这些器用能够阐明作用了。”

在这场创新里，最纯确切实例即是陶哲轩本东说念主深度参与的埃尔德什问题。

何谓埃尔德什问题？

匈牙利数学家保罗·埃尔德什（PaulErdős，1913—1996）是20世纪最多产的数学家之一。他一世发表了梗概1500篇论文，提议了上千个数学揣摸和难题，诡秘数论、组合学、图论等限制。这些问题以简陋与潜入的表述而着名，有的像“棉花糖”——带来顷刻的愉悦；有的则像“橡果”——需要潜入的新见识，从而长成参天大树。

埃尔德什曾写说念，“在我的数学生计中，问题一直是不可或缺的一部分。一个用心挑选的问题不错聚焦于某个特定限制的中枢难点，成为商量该限制进展的标杆。也许它就像一颗“棉花糖”，如归并口适口的小点心，带来顷刻的愉悦；也许它就像一颗“橡果”，需要潜入而精妙的新见识，从而长成一棵参天大树……我想先容一系列我最钟爱的问题。天然，我不成保证它们齐是“橡果”，但其中有许多问题几十年来一直困扰着最杰出的数学家，或者这意味着搞定它们需要全新的想想，而这些想想反过来又可能带来更普遍的效果，天然引出更多新问题。就这么，数学的生命循环将永不停息。”迄今为止，梗概40%的埃尔德什问题依然得到搞定。数学家托马斯·布鲁姆创办了挑升收录这些问题的寰球性论坛网站erdosproblems.com，该网站既可充任专科数学家的参考器用，也可成为数学喜爱者和学生挑战难题的起初。谁也不曾猜想，这个网罗论坛竟成了这场AI变革的中枢舞台。

业余喜爱者与非典型剑桥生联手合作

23岁的业尾数学喜爱者利亚姆·普莱斯（LiamPrice）从未招揽过高档数学的相关教师，也不是任何学术机构的筹办生。出于敬爱，他发起了一场数学实验。他将埃尔德什问题输入ChatGPT，瞧瞧能得出什么为止。2026年头，他向GPT5.4Pro输入了一个对于“原始集”下界的问题。这个揣摸看似浮浅，却在60年间难倒了无数数学家。AI莫得亏负他的祈望：只是经由约80分钟的“扩张推理”，它就给出了一份简略但充满新意的草稿，提议了一条此前从未被商量过的旅途。

普莱斯将草稿发给了他的网友：剑桥大学本科生凯文·巴雷托（KevinBarreto）。巴雷托来自工薪侨民家庭。13岁那年，他就对认识数论发生了风趣。相关词，他从未得过奥赛金牌，在剑桥第一年的Tripos践诺中甚而阐明欠安。“Tripos不是我的菜，我并不具备它所测试的那种数学才气。”他说。

2025年11月，传闻Harmonic公司的AI系统Aristotle搞定了一个简化版的埃尔德什问题，巴雷托心想：“或者有那么几颗低落的果实，是我一个本科生也能够得着的。”他与普莱斯结成搭档，遐想了一套职责流：将问题喂给GPT-5.2Thinking，用罕见教唆词让模子进展尝试，若得到解，则要求写出LaTeX面貌的讲明草稿，再传给Aristotle自动体式化为Lean（一门函数式编程言语）讲明，滚球app(中国)反复运行直到得到齐全Lean文献，临了进行东说念主工检讨。

2025年圣诞节，他们通过GPT-5.2得到了埃尔德什问题#333的讲明。巴雷托应承地在酬酢平台上告示他们得到了“第一个AI原创解”，但很快发现该为止早已存在。“这是我学术生计中最无语的时期之一。”他坦承说念。

但他们并不言弃。没过多久，普莱斯就通过GPT-5.2Pro得到了问题#728的讲明，搞定了那说念60年未解的原始集下界问题。AI巧用概率论器用，其想路令巴雷托和其后审阅的陶哲轩齐啧啧称奇。尽管初稿有误，但AI我方发现并栽培了症结。最终，Aristotle生成了经Lean考证的初等讲明。这是第一个被公推为由AI原创搞定的埃尔德什问题。

中国脉科生登场

在这场由AI掀翻的变革风暴中，一个中国名字大放光彩。他即是来自西安交通大学的大四学生汤泉宇，他的筹办风趣为代数图论、数论与组合论，曾在世界大学生数学竞赛、丘成桐大学生数学竞赛和阿里巴巴寰球数学竞赛中取得优异得益。他在埃尔德什问题论坛上颇为活跃，参与了大齐对于埃尔德什问题的征询与注解，进行评述，厘清问题，提供文献，发表草稿，作念出孝敬，还在多个问题条件前被列为“另外感谢（Additionalthanks）”对象，证明他在这些问题的分析、注解或拓展方面临其他筹办者颇有匡助。

汤泉宇的“考古”孝敬引起了陶哲轩的防备。埃尔德什问题#613是一个对于图论的难题。早在2001年，有东说念主就在论文中举出反例，从而推翻了埃尔德什问题#613的中枢揣摸，相关词这篇论文却被渐忘在旯旮里，几近无东说念主问津，直到汤泉宇在文献梳理中发现了这篇简直被埋没的论文。陶哲轩发布了一条博文：“我尝试对汤泉宇最近再行发现的另一个埃尔德什问题#613的反例进行体式化。该反例由Pikhurko于2001年提议，是一个浮浅的有限反例：一个包含15个过火、44条边的图，无法被拆分为一个二部图和一个最大度不跨越5的图。Pikhurko的论文只好9页，看起来在当代AI器用能够处理的范围之内。于是我将论文上传到ChatGPTPro，最初要求它用非庄重的言语回归其构造要领，然后迟缓进行体式化。”恰是汤泉宇的“考古”职责让这个被渐忘的效果得以再行过问数学共同体的视线，进而可用当代AI器用加以考证。在埃尔德什问题#613的论坛页面上，“另外感谢”一栏明确列出了汤泉宇和陶哲轩。

这并不是汤泉宇独一的孝敬。埃尔德什问题论坛上处处可见他的身影。在一些问题底下，他还将AI生成的试探性讲明草稿共享给论坛社区。

2026年头，汤泉宇与合作家连气儿发表了多篇由AI援救的数学论文，发表在arXiv预印本上。其中一篇arXiv:2603.28636搞定了对于将整数匹配到不同倍数的问题#650，得出了精准解，标明GPT-5.4Pro诚然不错提议齐全的讲明政策，但存在细节上的症结，而Aristotle不仅填补了症结，还自行提议了改良版的构造，最终身成齐全的Lean体式化考证。论文作家十分指出：“Aristotle不仅防备到了症结，还设法想出了一个内容有用的变体。”另一篇arXiv:2605.00301（作家包括陶哲轩、巴雷托、普莱斯、汤泉宇等八东说念主）是一篇重量贫窭的论文，使用GPT-5.4Pro等器用一次性搞定了多个埃尔德什问题：#1196、#1217、#164等。

结语

陶哲轩以为，“一个只是擅长解题的东说念主正在马上失去价值。”畴昔的数学家不一定要成为最快的解题者，但一定要成为最佳的“训诲家”和“消化者”。数学家需要学会同AI对话，学会对AI下达有用指示，学会从海量的AI生成为止中索要真实的洞见，并将这些洞见编织成不错传播、不错剿袭的学问。正因如斯，纠合、创造和发问的才气也就成了愈加稀缺的资源。

在不错预料的畴昔里，愈发纷乱的AI将在方方面面调动咱们的生活，乃至颠覆咱们的贯通。与其固步自命，不如赶上潮头，学会同更生时候相处。打个譬如讲，东说念主工智能是一匹沉马，你要么跃上马背，成为它的骑手，要么被它甩下，留在原地飘渺四顾。

值得防备的是，虽说大四本科生汤泉宇在这场由AI掀翻的数学风暴中取得了引东说念主瞩盘算推算建树，国内的科研团队却普遍合手有相对冷淡的格调，不曾参与其中。或者是因为，在国内的学术环境下，大多数学者依然守着安全的主流标的，故步自封，迟迟不愿踏上新的旅途，而一个年青东说念主则领有愈加敞开的头脑，怀着更为纯正的风趣，乐于在寰球性的网罗平台上同通盘世界的数学喜爱者狠恶地疏通，故而可在风暴中御风奔驰。

埃尔德什说过，数学的生命循环永不停息。AI的出现并不会打断这个循环。拥抱新滋事物，方可生生不停。

参考文献

arXiv:2603.28636

arXiv:2605.00301

滚球app中国官方网站