网易首页 > 网易号 > 正文 申请入驻

23岁门外汉,80分钟,用GPT-5.4破解困扰数学界60年的数学难题

0
分享至

这件事的荒诞感,在于它发生在一个普通的周一下午。

Liam Price,23岁,没有数学学位,没有学术背景。他只是习惯性地打开ChatGPT,把埃尔德什问题网站上的题目喂给AI,"就是随便试试,看它能做什么"。

然后,GPT-5.4 Pro给出了一个解答。

这个解答,破解了困扰数学界整整60年的埃尔德什原始集猜想渐近版本。这道题,曾经让世界上最顶尖的数论学家集体卡壳。

那道题,卡在哪里

原始集(Primitive Set)的概念,是匈牙利传奇数学家保罗·埃尔德什提出的。简单说,就是一组整数,其中任何一个数都不能整除另一个数,素数集就是最典型的原始集。

埃尔德什还设计了一个"评分函数"来衡量原始集的"密度",并猜测:当原始集中的数字越来越大时,这个评分会趋向一个下界,恰好等于1。

这个猜想看起来直觉上自然,证明起来却极其困难。斯坦福大学数学家Jared Lichtman在博士论文中曾成功证明了猜想的上界版本,就是说素数集的评分是最大的,他因此声名大噪。但下界这一侧,他和许多同行都陷入了泥沼。

问题出在哪?加州大学洛杉矶分校数学家、菲尔兹奖得主陶哲轩后来说了一句让人印象深刻的话:"所有之前研究这道题的人,在第一步就集体走偏了。"

不是题目太难,而是所有人从一开始就选错了方向。

AI的"无知",反而成了优势

Price把题目输入ChatGPT时,并不知道这道题有多少人尝试过,也不知道那条"集体走偏"的老路是什么。

他就是发了一条提示词,等待了大约80分钟,然后看到了输出。

AI给出的证明路径,绕开了人类数学家约定俗成的分析框架,转而调用了一个在相关数学分支中早已存在、但从未有人想到要在这里使用的经典公式。

Lichtman在看到这个证明时,几乎是立刻意识到了它的意义。他说,自读博士起,他就一直有一种直觉,这些问题之间存在某种深层联系,有一种统一的解法隐藏在某处。而AI给出的这条新路径,正在验证这种直觉。

当然,AI的原始输出并不完美。陶哲轩和Lichtman随后花了大量时间,梳理和精炼这个证明,把AI那些含混和冗余的推导步骤提炼成更清晰的数学语言。陶哲轩坦言:"AI的原始证明其实写得相当粗糙,需要专家来识别它真正想说的是什么。"

但那个核心的认知跃迁,确实来自AI。

这意味着什么,又不意味着什么

这个事件在数学圈引发了真实的震动,但也需要保持清醒。

AI解决埃尔德什问题的新闻,在过去两年里已经出现过不止一次,但其中许多后来被证明要么是低难度的边角题,要么是AI所谓的"新方法"其实并不新颖。陶哲轩特别指出,这一次的不同之处在于:这道题确实有人认真研究过,而AI采用的方法,目前看起来具有更广泛的迁移价值。

这不是AI"击败"数学家,而是AI和人类合作,从一个意想不到的角度,撬开了一道人类自己锁上的门。

Lichtman说,他和陶哲轩已经在探索这种新方法在其他相关问题上的应用,早期的信号让他感到乐观。

而Price本人的态度出奇的平静。他说,自己之所以能做这件事,不是因为懂数学,而是因为他根本不知道"不应该这样做"。

有时候,无知是一种特权。而现在,AI也拥有了这种特权,并且开始把它变成一种工具。

特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。

Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.

相关推荐
热点推荐
公安部正式回应:7月1日全国取消红绿灯倒计时?可别被误导了!

公安部正式回应:7月1日全国取消红绿灯倒计时?可别被误导了!

小谈食刻美食
2026-04-27 08:01:20
谈判几近破裂,伊朗搬出杀手锏,全球都跟着遭殃,封死特朗普退路

谈判几近破裂,伊朗搬出杀手锏,全球都跟着遭殃,封死特朗普退路

爱下厨的阿酾
2026-04-27 21:52:55
陈康堤与黄泽林恋爱,爸爸陈奕迅当红娘,7年4段情完全是放养状态

陈康堤与黄泽林恋爱,爸爸陈奕迅当红娘,7年4段情完全是放养状态

TVB的四小花
2026-04-26 15:18:02
中国篮坛历史罕见!郭士强征召新疆高达6人进入男篮集训队

中国篮坛历史罕见!郭士强征召新疆高达6人进入男篮集训队

狼叔评论
2026-04-27 23:40:10
日本迎史上最长12连休黄金周!4成日本人却选择宅家,甚至不想休假只想去加班…

日本迎史上最长12连休黄金周!4成日本人却选择宅家,甚至不想休假只想去加班…

东京新青年
2026-04-27 18:29:14
开盘闪崩,盘中闪崩,今天10股闪崩跌停,有的眨眼间就封板了!

开盘闪崩,盘中闪崩,今天10股闪崩跌停,有的眨眼间就封板了!

丁丁鲤史纪
2026-04-27 17:13:32
《蜜语纪》最解气反转!聂予诚刚签离婚协议,就被鲁贞贞撕穿骗局

《蜜语纪》最解气反转!聂予诚刚签离婚协议,就被鲁贞贞撕穿骗局

情感大头说说
2026-04-28 01:31:04
斯诺克世锦赛太残酷了:奥沙利文12-13惜败于世界第5,止步16强

斯诺克世锦赛太残酷了:奥沙利文12-13惜败于世界第5,止步16强

侧身凌空斩
2026-04-27 23:07:49
记者调查:6成以上贪官得"绝症":人越腐败死得越快

记者调查:6成以上贪官得"绝症":人越腐败死得越快

深度报
2026-04-27 22:07:56
今日最惨股,这只医药股已连续下跌三年并创新低,今又跳空跌停!

今日最惨股,这只医药股已连续下跌三年并创新低,今又跳空跌停!

丁丁鲤史纪
2026-04-27 16:19:12
从内地偷运51公斤盒饭回澳门?网友:啥盒饭?这么香吗?

从内地偷运51公斤盒饭回澳门?网友:啥盒饭?这么香吗?

寒士之言本尊
2026-04-27 15:10:08
马筱梅摊牌了!正式与玥儿和箖箖姐弟切割!撕掉经营多年后妈人设

马筱梅摊牌了!正式与玥儿和箖箖姐弟切割!撕掉经营多年后妈人设

一盅情怀
2026-04-24 09:39:57
明年曼联能夺得欧冠冠军?卡里克回应;记者:曼联拒绝降低拉什福德的买断费用,巴萨仍在权衡最佳选择

明年曼联能夺得欧冠冠军?卡里克回应;记者:曼联拒绝降低拉什福德的买断费用,巴萨仍在权衡最佳选择

MUREDS
2026-04-27 23:58:59
亚足联为马宁撑腰?曝背后冲撞他的沙特国脚遭重罚 禁赛半年+罚款

亚足联为马宁撑腰?曝背后冲撞他的沙特国脚遭重罚 禁赛半年+罚款

我爱英超
2026-04-27 21:57:40
1976年,华国锋宣布关于邓小平的3条要求,事后看很高明

1976年,华国锋宣布关于邓小平的3条要求,事后看很高明

大运河时空
2026-04-27 22:10:03
楼市,越来越反常了

楼市,越来越反常了

格隆汇楼市V
2026-04-27 21:15:29
曼联vs布伦特福德:两支快乐球队的意外对决

曼联vs布伦特福德:两支快乐球队的意外对决

绿茵狂热者
2026-04-28 01:39:16
太瘆人!女子晒自家的木床照,网友调侃像棺材,评论区毛骨悚然

太瘆人!女子晒自家的木床照,网友调侃像棺材,评论区毛骨悚然

谭谈社会
2026-04-25 10:32:29
4月27日人民币对美元中间价调升95个基点

4月27日人民币对美元中间价调升95个基点

证券时报
2026-04-27 09:44:06
为何万斯先撤离,特朗普:我让特工们等一下,我想看看发生了什么

为何万斯先撤离,特朗普:我让特工们等一下,我想看看发生了什么

史行途
2026-04-28 01:07:46
2026-04-28 02:23:00
呼呼历史论
呼呼历史论
分享有趣的历史
424文章数 16911关注度
往期回顾 全部

科技要闻

DeepSeek V4上线三天,第一批实测出来了

头条要闻

坐在特朗普身边亲历枪击案的女记者 身份非常不一般

头条要闻

坐在特朗普身边亲历枪击案的女记者 身份非常不一般

体育要闻

人类马拉松"破二"新纪元,一场跑鞋军备竞赛

娱乐要闻

黄杨钿甜为“耳环风波”出镜道歉:谣言已澄清

财经要闻

Meta 140亿收购Manus遭中国发改委否决

汽车要闻

不那么小众也可以 smart的路会越走越宽

态度原创

健康
教育
时尚
本地
数码

干细胞如何让烧烫伤皮肤"再生"?

教育要闻

你不说这是计算障碍,我真以为我是智障呢

丝巾的10种系法,爱美的女人必看

本地新闻

云游中国|逛世界风筝都 留学生探秘中国传统文化

数码要闻

6K/3K双模切换!三星这款显示器什么水平?

无障碍浏览 进入关怀版