当前位置: 首页
业界动态
23岁青年借ChatGPT破解数学难题陶哲轩称研究方向被颠覆

23岁青年借ChatGPT破解数学难题陶哲轩称研究方向被颠覆

热心网友 时间:2026-05-24
转载

困扰数学界整整六十年的一个“世纪猜想”,竟然被一位“门外汉”给破解了。更令人惊讶的是,这位年轻人年仅23岁,从未接受过任何高等数学的系统训练。他仅仅凭借一段精心设计的提示词,就引导ChatGPT找到了通往答案的路径。

当菲尔兹奖得主陶哲轩审阅完这份证明后,留下了一句意味深长的评价。他指出,过去六十年间,所有研究过这个问题的人,几乎都在第一步就集体踏入了同一条思维歧途。

23岁门外汉,让全网破防

故事的主角名叫利亚姆·普莱斯(Liam Price)。翻看他的履历,你找不到任何高等数学学位的痕迹,他并非传统意义上的“数学科班”出身。

然而,就在2025年底,他与剑桥大学数学系大二学生凯文·巴雷托(Kevin Barreto)联手,开启了一场近乎“疯狂”的实验:他们从著名的“埃尔德什问题”列表中随机抽取尚未解决的难题,直接抛给ChatGPT。

他们不做前置的文献调研,不深入阅读相关论文,也不从某个特定的分析框架入手。整个过程,全凭直觉,用最朴素的语言描述问题本身,然后让大型语言模型自己去摸索道路。后来,圈子里的同行给这种方法起了个名字,叫“氛围数学”。

在挑战第1196号问题之前,普莱斯和巴雷托已经用类似的方法,在几个较小的问题上取得了进展,逐渐引起了一些关注。OpenAI听说了他们的实验,甚至赠送了ChatGPT Pro订阅服务以示鼓励。这个在当时看似微小的举动,后来被证明可能是2026年数学史上回报率最高的一笔“投资”。

但谁也没想到,真正的大鱼会这么快上钩。这一次,他们瞄准的是埃尔德什问题中的第1196号,一个关于“原始集”的猜想——所谓原始集,即集合中任意两个元素互不整除。

60年猜想证毕,ChatGPT仅80分钟

在这个问题上走得最远的人类数学家,是牛津大学的贾里德·利希特曼。他围绕原始集问题埋头苦干了整整七年,发表了多篇重要论文,将已知的上界一步步推进到了大约1.399。

看上去,距离最终的证明似乎只差临门一脚。然而,这“最后一脚”,七年时间都未能成功踢入。

令人意想不到的是,普莱斯将问题描述作为提示词发出后,GPT-5.4 Pro经过80分钟的推理,直接给出了渐近上界为1+O(1/log x)的结论,可谓一刀到底。

这里有必要先把问题本身说清楚。所谓“原始集”,指的是一组正整数,其中任何一个数都不能被集合中的另一个数整除。举个例子,{2, 3, 7, 12}就不是原始集,因为12能被2和3整除;而{2, 3, 7, 11}则是。

早在1968年,数学家保罗·埃尔德什与他的合作者萨科齐、塞迈雷迪就提出了一个猜想:关于原始集的某个特定求和式,存在一个明确的渐近上界。问题表述起来简洁优雅,却让数学界僵持了58年之久。

更关键的区别,其实不在于速度,而在于路线。此前所有研究该问题的数学家,包括利希特曼在内,都默认从解析数论的工具箱入手。这条路看似自然,走了几十年,却无形中将思维锁定在了一条狭窄的通道里。

GPT-5.4 Pro选择了一条完全不同的路径:它结合了马尔可夫链方法和冯·曼戈尔特权重。这两样工具在数论的其他分支里已是成熟技术,但此前从未有人想到将它们应用于原始集问题。

耐人寻味的是,普莱斯在接受《科学美国人》采访时坦言,GPT最初的输出“其实质量很差”。证明过程冗长、混乱,逻辑跳跃随处可见。是巴雷托和后来介入的专家们,从一堆杂乱的推导中,识别出了那个关键的全新洞见。

利希特曼的评价相当克制,但分量极重:“这需要专家去筛选,才能真正理解它试图表达什么。”紧接着,他说了一句让整个数学圈安静下来的话:“这是第一个达到‘埃尔德什之书’水平的AI数学成果。”

熟悉数学史的人立刻能明白这句话的重量。“埃尔德什之书”是埃尔德什生前的一个著名比喻,他相信上帝手中有一本书,里面收录了每个数学定理最优雅、最完美的证明。利希特曼的意思是,AI不仅解决了问题,其解法本身具备了数学意义上的“美感”。

陶哲轩:人类集体走偏了

菲尔兹奖得主陶哲轩的点评,则引发了更深层次的思考。他指出,以前研究这个问题的人,一开始往往会采用一套标准的、近乎本能的路数。而大型语言模型则选择了一条完全不同的路线,它使用了一个在相关数学分支中众所周知、却从未有人想过要应用到这类问题上的公式。

这个“集体走偏的第一步”,可以追溯到1935年以来形成的标准路径:将数论问题翻译成概率论语言,沿着“默滕斯定理”那条线推进。所有人都默认这条路是正确的。一代又一代的研究生进来,先学习这套翻译方法,再在其基础上添加细节、深化研究。

GPT-5.4 Pro完全没有学过这套“传统”。它反手就调用了冯·曼戈尔特函数——这是解析数论中用来编码算术基本定理的一个经典对象——从而走上了一条完全不同的道路。利希特曼后来也解释道,这个公式在相关领域其实大家都熟悉,但就是没人想到把它用到埃尔德什的这个具体问题上。

陶哲轩对这次成果的定性更为深刻:“我们发现了一种思考大整数及其结构的全新方式。”一个在利希特曼问题上钻研了七年的人,最终输给了一个不知道这个问题“应该怎么研究”的素人。在AI时代,“无知”似乎成了一种结构性的优势。没有历史包袱,自然不会跟着集体思维一起走偏。

数学的钥匙,正在换手

1900年,大卫·希尔伯特在巴黎国际数学家大会上提出了23个问题,几乎定义了整个20世纪数学的发展方向。在那个时代,有能力触碰数学最前沿的人,全球不过寥寥数百。

而2026年4月一个普通的周一下午,一位23岁的年轻人,凭借一段提示词和80分钟的等待,就叩开了一道尘封六十年的难题之门。数学殿堂的大门并未降低其高度,但门锁旁,似乎多出了一把全新的钥匙。手握这把钥匙的人,或许不再需要花费十年光阴,去熟记前人走过的所有弯路。

来源:https://36kr.com/p/3784203770551305

游乐网为非赢利性网站,所展示的游戏/软件/文章内容均来自于互联网或第三方用户上传分享,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系youleyoucom@outlook.com。

同类文章
更多
中国端侧大模型如何借汽车出海实现技术反向输出

中国端侧大模型如何借汽车出海实现技术反向输出

2026年北京国际车展,智能化毫无争议地成为全场焦点。当行业仍在竞逐云端算力时,面壁智能这家大模型公司展示了一条颠覆性的技术路线:将AI“大脑”直接部署在汽车终端。这意味着,未来的车载智能系统能够彻底摆脱网络依赖,即便在隧道、山区或地下车库等信号盲区,也能实现毫秒级的实时响应与决策。 面壁智能联合创

时间:2026-05-24 21:31
尼康Z 40mm f/2 SE复古定焦镜头售价1999元

尼康Z 40mm f/2 SE复古定焦镜头售价1999元

在摄影器材的选择中,40mm定焦镜头常常带给人一种独特的魅力。虽然50mm被广泛视为经典的“标准镜头”,而根据全画幅传感器对角线计算,43mm在理论上更接近标准焦距,但业界通常将40mm至60mm焦段的镜头都归入标头范畴,历史上也涌现了许多该焦段的经典产品。今天,我们将重点介绍尼克尔Z 40mm f

时间:2026-05-24 21:31
itc保伦股份获2025广东双项科技大奖从技术到产业全面突破

itc保伦股份获2025广东双项科技大奖从技术到产业全面突破

广东保伦电子联合高校院所完成的“智能超高清视讯系统关键技术研究与应用”项目,获2025年广东省两项科技一等奖。项目突破超高清画质增强、不稳定网络流畅传输及高保真智能语音处理等核心技术,形成系列产品并应用于多项重点工程,获多项专利,有力推动了行业技术进步与产业化发展。

时间:2026-05-24 21:31
智慧轨道交通学生创新项目轨行方舟获技术突破

智慧轨道交通学生创新项目轨行方舟获技术突破

智慧轨道交通实验室学生项目“轨行方舟”取得关键突破。该项目集成多模检测与AI分析,实现智能运维,伤损识别准确率达86%,作业效率提升超60%,有效解决传统检测效率低、协同难等痛点,已获多项专利并投入现场应用,展现实验室在人才培养与技术创新方面的成果。

时间:2026-05-24 21:31
DeepSeek V4接入OpenClaw实现实时语音通话功能

DeepSeek V4接入OpenClaw实现实时语音通话功能

4月26日,全球开源智能体领域迎来关键进展:备受瞩目的顶级项目OpenClaw宣布完成重要版本更新,全面兼容并适配DeepSeek最新发布的V4系列模型,包括Flash和Pro两个核心版本。 此次更新绝非普通的版本迭代。作为开源智能体领域公认的技术风向标,OpenClaw每一次核心模型的选择都深刻影

时间:2026-05-24 21:30
热门专题
更多
刀塔传奇破解版无限钻石下载大全 刀塔传奇破解版无限钻石下载大全
洛克王国正式正版手游下载安装大全 洛克王国正式正版手游下载安装大全
思美人手游下载专区 思美人手游下载专区
好玩的阿拉德之怒游戏下载合集 好玩的阿拉德之怒游戏下载合集
不思议迷宫手游下载合集 不思议迷宫手游下载合集
百宝袋汉化组游戏最新合集 百宝袋汉化组游戏最新合集
jsk游戏合集30款游戏大全 jsk游戏合集30款游戏大全
宾果消消消原版下载大全 宾果消消消原版下载大全
  • 日榜
  • 周榜
  • 月榜
热门教程
更多
  • 游戏攻略
  • 安卓教程
  • 苹果教程
  • 电脑教程