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

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

相关推荐
热点推荐
伊朗革命卫队:通过联合导弹和无人机行动,摧毁了美军第五舰队和科威特空军基地的85处重要美军设施

伊朗革命卫队:通过联合导弹和无人机行动,摧毁了美军第五舰队和科威特空军基地的85处重要美军设施

政知新媒体
2026-07-08 13:22:50
星爷号召力略微下降,《功夫女足》首日票房预测结果仅2.02亿

星爷号召力略微下降,《功夫女足》首日票房预测结果仅2.02亿

白公子探剧
2026-07-09 11:54:48
台风“巴威”强度发生变化

台风“巴威”强度发生变化

第一财经资讯
2026-07-10 08:13:15
台风紧急警报已拉响!“巴威”环流依然非常巨大,中到大雨、局部暴雨,强降雨集中时段马上就到 | 玻璃要不要贴米字型胶带?

台风紧急警报已拉响!“巴威”环流依然非常巨大,中到大雨、局部暴雨,强降雨集中时段马上就到 | 玻璃要不要贴米字型胶带?

都市快报橙柿互动
2026-07-10 19:50:25
台风“巴威”已闭眼,上海多项活动延期!对沪影响明确:局部大到暴雨,并伴有持续大风

台风“巴威”已闭眼,上海多项活动延期!对沪影响明确:局部大到暴雨,并伴有持续大风

上海静安
2026-07-10 07:35:43
阿斯:姆巴佩若能率法国夺得今年世界杯,有机会成为法国历史最佳

阿斯:姆巴佩若能率法国夺得今年世界杯,有机会成为法国历史最佳

天光破云来
2026-07-10 13:34:02
我停掉公公8300养老费,当晚大伯哥来电质问,我愣住了

我停掉公公8300养老费,当晚大伯哥来电质问,我愣住了

晓艾故事汇
2026-06-15 08:39:17
肖鹰为什么一定要死磕蒋方舟?

肖鹰为什么一定要死磕蒋方舟?

行者殷涛
2026-07-06 10:13:48
新冠后遗症的长期侵袭,无数人在不知不觉中深陷困境

新冠后遗症的长期侵袭,无数人在不知不觉中深陷困境

律法刑道
2026-04-01 10:15:47
记者:哥伦比亚国脚坎帕斯遭死亡威胁,未能随队回国

记者:哥伦比亚国脚坎帕斯遭死亡威胁,未能随队回国

懂球帝
2026-07-10 13:20:10
联想YOGA Pro 15锐龙AI创作本发布:64GB大内存!可划出48GB当显存

联想YOGA Pro 15锐龙AI创作本发布:64GB大内存!可划出48GB当显存

快科技
2026-07-10 19:48:11
葬礼结束,穆杰塔巴报复开始,伊朗炸毁美军指挥部,中方也行动了

葬礼结束,穆杰塔巴报复开始,伊朗炸毁美军指挥部,中方也行动了

荷兰豆爱健康
2026-07-10 17:05:35
她拒养9岁弟弟遭父母起诉,法庭上甩出一张纸,爸妈当场傻眼了

她拒养9岁弟弟遭父母起诉,法庭上甩出一张纸,爸妈当场傻眼了

墨染尘香
2026-06-20 09:51:47
局势失控?美专家发出紧急预警,台海开战后果远超伊朗战争

局势失控?美专家发出紧急预警,台海开战后果远超伊朗战争

混沌录
2026-07-09 23:59:07
江青墓地简陋寒酸:看了碑文,就能明白李讷的苦心和无奈

江青墓地简陋寒酸:看了碑文,就能明白李讷的苦心和无奈

诗意世界
2025-05-21 09:00:02
当年为什么查办褚时健?

当年为什么查办褚时健?

百晓生谈历史
2025-08-20 21:55:53
当今很多年轻人宁愿待在家也不出去找工作,究竟说明了什么问题?

当今很多年轻人宁愿待在家也不出去找工作,究竟说明了什么问题?

慧翔百科
2026-07-09 08:40:02
2026款特斯拉Model Y正式上新,多处升级变化肉眼可见

2026款特斯拉Model Y正式上新,多处升级变化肉眼可见

音乐时光的娱乐
2026-07-08 18:17:22
跨越时空的军礼,毛东东在碑前找到英雄烈士大爷爷毛岸英

跨越时空的军礼,毛东东在碑前找到英雄烈士大爷爷毛岸英

乐趣纪史
2026-07-09 18:27:05
唐嫣:我和罗晋在一起半年,他提了6次分手。主持人:那是怎么和好的?唐嫣:他每次都说5个字!

唐嫣:我和罗晋在一起半年,他提了6次分手。主持人:那是怎么和好的?唐嫣:他每次都说5个字!

LULU生活家
2026-07-09 21:18:17
2026-07-10 20:24:49
新智元 incentive-icons
新智元
AI产业主平台领航智能+时代
15655文章数 66950关注度
往期回顾 全部

科技要闻

中国开启可回收火箭时代

头条要闻

609分钟零失球刷新36年纪录 美加墨世界杯门将创历史

头条要闻

609分钟零失球刷新36年纪录 美加墨世界杯门将创历史

体育要闻

法国VS摩洛哥:谁才是臭外地的?

娱乐要闻

韩国顶流李钟硕与IU官宣分手!

财经要闻

一封举报信 引发小红书IPO合规考验

汽车要闻

是谁在古法造车?吉利全新燃油家轿定名星瑞L PLUS

态度原创

本地
时尚
家居
亲子
公开课

本地新闻

重庆人有自己的避暑桃花源 | 夏天就去「酉」风的地方!

起初,人们以为AI代替演员是句玩笑话

家居要闻

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

亲子要闻

我啥时候才能有中国户口?

公开课

李玫瑾:为什么性格比能力更重要?

无障碍浏览 进入关怀版