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

菲尔兹奖得主0贡献!GPT-5.5 Pro两小时跑出博士级证明

0
分享至


新智元报道

编辑:桃子

【新智元导读】全网震撼!菲尔兹奖得主把未解数学题扔给GPT-5.5 Pro,不到两小时拿到博士论文级证明。整个过程中,他没给出任何数学思路。

今天,菲尔兹奖得主Timothy Gowers在个人博客上发了一篇长文——

最近一次使用ChatGPT 5.5 Pro的体验

标题平平无奇,内容却让整个数学圈坐不住了。


文中,他亲手验证了一个令整个数学界不寒而栗的事实:

GPT-5.5 Pro,用了不到两个小时,独立完成了一项博士论文级别的数学研究。

而Gowers本人在整个过程中,数学贡献几乎为0


两个小时,一章博士论文级成果。


全程2小时,菲尔兹奖得主贡献为0

事情是这样的。

这几天,Timothy Gowers拿到了ChatGPT 5.5 Pro的测试权限,决定搞一次真刀真枪的测试。

他从数学家Melvyn Nathanson的一篇新论文中,挑出了几个关于加法数论中集合求和的未解问题。


这些问题的核心是:给定一个k个整数的集合A,它的h重求和集hA的可能大小有哪些?

要实现特定大小的求和集,集合的「直径」最小能是多少?


Nathanson自己给出了一个指数级的上界:2^k - 1。

于是,Gowers把问题扔给了GPT-5.5 Pro。17分钟05秒后,AI给出了一个构造,直接把上界从指数级干到了二次方级。

而这,显然已经是最优的了。

更让人坐不住的,是Gowers在整个过程中扮演的角色。

他没有给出任何数学思路,没有提供关键引理,更没有指出证明方向,

Gowers只是充当了一个「情绪价值提供者」和「排版助手」,给出的提示词极其简单——

对,这个想法不错,试试看能不能成;

把这段推导写成标准的LaTeX论文格式。


博客中,Gowers在反复强调:提示词「不包含任何数学输入」。

AI走的每一步推理、每一个构造、每一处关键转折,都是它自己想出来的。

仅用了几个小时,AI就完成了人类可能需要数月,甚至数年才能完成的工作。

换句话说,人类顶级数学家在这场合作中的智力贡献,约等于0。

AI给出原创想法,震惊MIT博士生

如果故事到这里就结束了,那顶多算是「AI又解了一道数学题」。

但后面发生的事情,才真正让人细思极恐。

Gowers继续追问ChatGPT:那一般情况的h呢?这个问题的难度陡然上升。

因为当h=2的时候,数学家们已完全搞清了所有可能的求和集大小。但对于一般的h,甚至不知道完整的答案是什么。

此前,MIT博士生Isaac Rajagopal已经证明了一个指数级的上界。


Gowers于是让GPT去看看能不能改进拉Rajagopal的结果。

第一轮GPT思考了16分41秒,把上界从k的指数级改进到了k^(1/2+ε)的指数级。

这是对拉Rajagopal工作的「常规修改」。

第二轮Gowers说,能不能再进一步,搞到多项式级?

GPT思考了13分33秒,表示「有戏」,但需要验证两个技术性命题。

Gowers让它自己验证,9分12秒后,GPT完成了验证,并在随后的31分40秒内写出了完整的预印本论文。


论文地址:https://drive.google.com/file/d/1IkJBcWYz_3J_QGsESBmMa-jrEHAJDcJB/view

最终结果:N(h,k) ≤ O(k^{10h³})——从指数级,直接跃升到多项式级。


Rajagopal本人看完后,给出了一个让人五味杂陈的评价:

ChatGPT这个想法很原创、很巧妙。如果是我自己想出来的,我会非常骄傲。

然而,我需要一两周才能完成的脑力风暴,GPT只用了不到一个小时。


更重磅的是,Rajagopal详细分析了GPT的核心创新——

它使用了h²-耗散集(h²-dissociated sets)来控制h阶以下的关系。「这个思路,据我所知,完全是原创的」。

不得不说,当一个MIT学生用「我会为这个想法感到骄傲」来评价一个AI的数学证明时,某种范式转移已经悄然发生了。

顶级数学家警告:危机来了

菲尔兹奖得主Gowers没有停留在「ChatGPT很厉害」的层面,他直接把话题拉到了最尖锐的问题:

博士生怎么办?

这才是这篇博客真正的重量级炸弹。


在组合数学领域,有大量论文会提出一系列新的组合参数,并附带一串未解问题。

这些问题通常不是特别难,它们的价值在于给初入科研的学生提供一个「可以攻克的目标」,让他们在解决一个「正式的开放问题」中获得信心和成就感。

但现在,这条路被AI截断了。Gowers的原话说得很直白:

过去,只要有人提出问题就够了。

但现在,仅仅被提出是不够的,它还必须足够难,难到LLM解决不了。



2026年至今,已有15个Erdős开放问题被解决,其中11个明确标注了AI的贡献。

就在几周前,一个23岁、没有高等数学学位的年轻人Liam Price,用GPT-5.4 Pro在80分钟内解决了一个困扰数学家60年的Erdős问题。

菲尔兹奖得主陶哲轩亲自验证了这个证明,并将其扩展为一个新理论的起点。


过去需要数年训练才能达到的研究能力门槛,正在被AI一夜之间碾平。

Gowers直言,「若是AI在数学领域以目前这个速度发展下去,那么我们将很快面临一场危机」。


对此,OpenAI研究员Sebastien Bubeck深表赞同。


但也有人冷静指出:这只是一次实验,不能过度外推。Nathanson的问题虽然是开放问题,但难度未必代表数学前沿的天花板。

Gowers自己也承认,他「没有完整答案」,只是在记录自己的经历。

过去两年,类似的「AI攻克数学」叙事出现过好几次,仔细看都会发现具体条件限制不少。

但这一次,说话的人是菲尔兹奖得主,他的判断标准不需要额外背书。


AI数学加速度,已不可逆转

把时间线拉长一点就会发现,AI在数学领域的进步曲线几乎是垂直的。

2023年,GPT-4做不了大多数本科数学题;2024年,o1在数学竞赛中拿到了金牌水平;2025年,o3在前沿研究中开始展现推理能力。


2026年5月,GPT-5.5 Pro独立完成了博士论文级别的证明。

三年,从本科到博士。

Gowers的实验揭示了一个临界点:AI不只是工具了。至少在某些问题上,它已经是一个能独立产出原创结果的研究者。

那些曾经需要数年苦修才能叩开的大门,现在只需要一个提示框和两个小时。

门槛没了。但门后面的世界,可能比我们想象的更大,也更陌生。

参考资料:

https://x.com/wtgowers/status/2052830948685676605?s=20

https://gowers.wordpress.com/2026/05/08/a-recent-experience-with-chatgpt-5-5-pro/

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

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.

相关推荐
热点推荐
超三万人施工,仅12天建成的雷神山医院,停用6年后荒废了吗?

超三万人施工,仅12天建成的雷神山医院,停用6年后荒废了吗?

王嚾晓
2026-09-12 20:35:25
美国驻日本大使馆发文称B-29轰炸机是“美日空中桥梁”,曾在广岛、长崎投放两颗原子弹、将东京化作一片火海 ;日本网民破防

美国驻日本大使馆发文称B-29轰炸机是“美日空中桥梁”,曾在广岛、长崎投放两颗原子弹、将东京化作一片火海 ;日本网民破防

鲁中晨报
2026-09-19 09:43:05
这跟不穿有什么区别?大露背副乳险走光,35岁女星直播穿搭引争议

这跟不穿有什么区别?大露背副乳险走光,35岁女星直播穿搭引争议

历史点行
2026-09-17 12:59:13
美总统特朗普签署针对俄罗斯和伊朗的制裁法案

美总统特朗普签署针对俄罗斯和伊朗的制裁法案

新京报
2026-09-19 07:35:12
延迟退休落地1年,最荒唐的矛盾,根本不在老人身上

延迟退休落地1年,最荒唐的矛盾,根本不在老人身上

娱乐圈的笔娱君
2026-09-19 09:53:28
每天省20块烟钱10年后够房子首付?10年后足够全款拿下普通住宅

每天省20块烟钱10年后够房子首付?10年后足够全款拿下普通住宅

东方豪侠
2026-09-19 12:07:25
影视飓风Tim反掰iPhone Duo致闪屏,称并未用力,苹果回应:博主单台设备测评片面

影视飓风Tim反掰iPhone Duo致闪屏,称并未用力,苹果回应:博主单台设备测评片面

齐鲁壹点
2026-09-17 17:02:26
舆论升级!广州多校开学解散微信家长群,网友:家委会也应该取缔

舆论升级!广州多校开学解散微信家长群,网友:家委会也应该取缔

火山詩话
2026-09-19 05:26:59
闹大了!房租从800万涨到2400万,胖东来也挺不住了,宣布关店:实体死于房租,惊动人民网下场关注实体困境

闹大了!房租从800万涨到2400万,胖东来也挺不住了,宣布关店:实体死于房租,惊动人民网下场关注实体困境

火山詩话
2026-09-19 10:23:13
国乒最新战报!世界冠军被轰3-0,王艺迪三线冲冠,单打2胜5负!

国乒最新战报!世界冠军被轰3-0,王艺迪三线冲冠,单打2胜5负!

刘姚尧的文字城堡
2026-09-18 20:17:34
彻底撕破脸!阿隆索当众暴怒!切尔西神操作坑惨全队

彻底撕破脸!阿隆索当众暴怒!切尔西神操作坑惨全队

奶盖熊本熊
2026-09-19 07:58:15
男篮77-97日本,看媒体专家怎么说,苏群一语中的,马健太敢说了

男篮77-97日本,看媒体专家怎么说,苏群一语中的,马健太敢说了

刘哥谈体育
2026-09-19 11:16:32
黑人女博主吐槽中国就医经历:做妇科检查时,被医生叫来学生围观,还各种点评

黑人女博主吐槽中国就医经历:做妇科检查时,被医生叫来学生围观,还各种点评

小徐讲八卦
2026-09-19 09:50:11
勇哥要成为下一个贾国龙了

勇哥要成为下一个贾国龙了

智先生
2026-09-17 22:32:47
尼泊尔泥石流被困11天获救的河南工人暂未回村,村民称他“是个苦命孩”,父母近年相继去世

尼泊尔泥石流被困11天获救的河南工人暂未回村,村民称他“是个苦命孩”,父母近年相继去世

极目新闻
2026-09-19 12:17:56
2026中秋假期不调休!本来就休3天,9月20日为何补班?

2026中秋假期不调休!本来就休3天,9月20日为何补班?

天津人
2026-09-18 06:12:26
AOC被金主推上总统赛道:民调22%领先,民主党格局或一夜变天

AOC被金主推上总统赛道:民调22%领先,民主党格局或一夜变天

浅遇时光
2026-09-19 04:47:29
一辆不值钱的“奔驰E300L”,让学生家长被嘲笑:现实点吧,别心比天高

一辆不值钱的“奔驰E300L”,让学生家长被嘲笑:现实点吧,别心比天高

熙熙说教
2026-08-31 14:59:44
方昊:进球献给老婆和即将出生的孩子,感谢吴总把我带到球队

方昊:进球献给老婆和即将出生的孩子,感谢吴总把我带到球队

懂球帝
2026-09-18 22:03:17
实探鸿蒙智行门店:仍在销售问界车型,但面临“二选一”抉择,销售人员称“赛力斯渠道独立是为推轿车、MPV做准备”

实探鸿蒙智行门店:仍在销售问界车型,但面临“二选一”抉择,销售人员称“赛力斯渠道独立是为推轿车、MPV做准备”

每日经济新闻
2026-09-18 22:06:23
2026-09-19 12:55:00
新智元 incentive-icons
新智元
AI产业主平台领航智能+时代
16223文章数 67076关注度
往期回顾 全部

科技要闻

要走650亿,智谱的理想越来越贵

头条要闻

11岁孩子去世不到2小时火化:丧葬费收8900 实际仅800

头条要闻

11岁孩子去世不到2小时火化:丧葬费收8900 实际仅800

体育要闻

好吧,中国男篮辛苦了

娱乐要闻

蔡卓妍小腹凸起疑怀孕?本人没回应

财经要闻

江西首富破产:一张927万商票压垮千亿帝国

汽车要闻

纯电/插混双动力+五座/六座双布局 海狮08应该怎么选?

态度原创

艺术
房产
健康
数码
本地

艺术要闻

27幅 著名油画家 冯法祀油画选

房产要闻

海口房价,降不动了!

脑动脉瘤的治疗方法,该选哪一种?

数码要闻

2L体积塞进1 PFLOP算力!荣耀推出天工AXB35 AI工作站:支持300B大模型

本地新闻

中秋逛白塔寺,体验国医妙荟雅集

无障碍浏览 进入关怀版