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

菲尔兹奖得主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.

相关推荐
热点推荐
文班亚马降薪5100万引地震 NBPA:薪资制度出问题了

文班亚马降薪5100万引地震 NBPA:薪资制度出问题了

热血体育社
2026-07-13 00:06:41
乌克兰呼吁俄国人尽快逃离,俄遭袭船舶飙升至75艘

乌克兰呼吁俄国人尽快逃离,俄遭袭船舶飙升至75艘

史政先锋
2026-07-12 22:23:51
张雨绮包30场《功夫女足》支持星爷,网友:还记得《长江7号》中袁老师

张雨绮包30场《功夫女足》支持星爷,网友:还记得《长江7号》中袁老师

草莓解说体育
2026-07-13 10:16:55
五大中锋全部缺阵!开拓者加时惜败魔术,杨瀚森病情更新

五大中锋全部缺阵!开拓者加时惜败魔术,杨瀚森病情更新

世界体育圈
2026-07-13 10:17:27
彭副处长的男友将她坑惨了,堵住人家车将事情搞大,现在不敢露脸了

彭副处长的男友将她坑惨了,堵住人家车将事情搞大,现在不敢露脸了

汉史趣闻
2026-07-12 17:59:15
善恶到头终有报!央媒表态才6天,韩红再迎“噩耗”,孙浩曝黑幕

善恶到头终有报!央媒表态才6天,韩红再迎“噩耗”,孙浩曝黑幕

可乐爱微笑
2026-07-11 01:38:08
吸金1600亿!落魄的诺基亚,2026年居然卖断货,重回全球第二

吸金1600亿!落魄的诺基亚,2026年居然卖断货,重回全球第二

李砍柴
2026-07-09 23:00:03
中东战事导致全球供应紧张 中国暂停氦气出口保护本土产业

中东战事导致全球供应紧张 中国暂停氦气出口保护本土产业

参考消息
2026-07-13 10:55:07
开了1000公里电车后我悟了:普通老百姓,真的适合老老实实开油车

开了1000公里电车后我悟了:普通老百姓,真的适合老老实实开油车

刘哥谈体育
2026-07-11 13:36:34
人社部定调,养老金调整方向确定,部分退休和农民可以多涨钱

人社部定调,养老金调整方向确定,部分退休和农民可以多涨钱

小正说娱乐
2026-07-13 00:42:33
祸水东引?乌克兰成立新部门,炸掉俄氦气厂,中国突然发出禁令

祸水东引?乌克兰成立新部门,炸掉俄氦气厂,中国突然发出禁令

国际法大视野
2026-07-12 09:46:09
她因穿着太暴露被赶出超市!可看到照片后,网友都懵了,就这?

她因穿着太暴露被赶出超市!可看到照片后,网友都懵了,就这?

新欧洲
2026-07-11 17:14:16
年轻人把电车当手机换,平均车龄仅1.8年

年轻人把电车当手机换,平均车龄仅1.8年

21世纪经济报道
2026-07-12 10:05:21
“你儿子成年后保准会雌化!”家长无知教育并嘴硬:他很男人的!

“你儿子成年后保准会雌化!”家长无知教育并嘴硬:他很男人的!

世界圈
2026-07-10 09:39:01
拒绝大屏内卷!玛莎拉蒂设计总监:屏幕不是汽车主角

拒绝大屏内卷!玛莎拉蒂设计总监:屏幕不是汽车主角

快科技
2026-07-12 13:34:13
京圈大佬集体全哑火,3 部大片累计亏超 5 亿,观众凭啥买单?

京圈大佬集体全哑火,3 部大片累计亏超 5 亿,观众凭啥买单?

知法而形
2026-07-01 23:22:31
英国金融时报:用大网捞回一枚火箭,中国海上回收技术震动航天界

英国金融时报:用大网捞回一枚火箭,中国海上回收技术震动航天界

普陀动物世界
2026-07-12 04:25:16
关于豆角的消费提示丨上海市消保委健康消费专业办

关于豆角的消费提示丨上海市消保委健康消费专业办

申消费
2026-07-13 10:43:37
马斯克听到中国火箭回收成功,是什么反应?

马斯克听到中国火箭回收成功,是什么反应?

江平舟
2026-07-11 18:11:05
世界前四包揽四强,绝杀创历史之最!这届世界杯正在从艺术变成科学

世界前四包揽四强,绝杀创历史之最!这届世界杯正在从艺术变成科学

易象君
2026-07-12 13:59:00
2026-07-13 12:44:49
新智元 incentive-icons
新智元
AI产业主平台领航智能+时代
15676文章数 66952关注度
往期回顾 全部

科技要闻

苹果为了AI,连Mac芯片节奏都改了

头条要闻

坐拥18套房产的医院放射科主任栽了 通过APP答题受贿

头条要闻

坐拥18套房产的医院放射科主任栽了 通过APP答题受贿

体育要闻

百分百辛纳,终结大满贯冠军荒

娱乐要闻

大S的遗产,戳破了多少“富婆假象”

财经要闻

扫开就近2元,共享单车涨价到哪里是个头

汽车要闻

充满乐趣惬意驾驶 法拉利amalfi依旧经典味道

态度原创

教育
时尚
家居
数码
本地

教育要闻

化简,88✖️8889等于多少?

巴黎文艺购物路线兼高温避暑指南

家居要闻

2026建博会(广州) 公装联探展交流活动

数码要闻

可开机Apple-1拍卖:估价敢标340万元!机主与乔布斯还有一段奇妙缘分

本地新闻

打的直达拉萨,一条视频拿下五十万奖金

无障碍浏览 进入关怀版