编辑:桃子
【新智元导读】7年的专业研究,输给了一次「vibe mathing」。一个毫无高数背景的23岁年轻人,靠一段提示词,让ChatGPT在80分钟内破解了困扰人类60年的猜想。陶哲轩承认:我们第一步就走偏了。
困扰数学界60年的「世纪猜想」,竟被一个门外汉给攻克了!
他年仅23岁,从未接受过任何高等数学训练,仅凭一个提示词,让ChatGPT破解了这一难题。


60年猜想证毕,ChatGPT仅80分钟
在这个问题上走得最远的人类数学家,是牛津大学的Jared Lichtman。
他在原始集问题上苦干了整整7年,发表了多篇重要论文,把已知上界一步步推到了约1.399。

1968年,埃尔德什和合作者Sárközy、Szemerédi提出了一个猜想:关于原始集的一个特定求和式,存在渐近意义上的明确上界。
简洁的表述,58年的僵局。
更关键的不是速度差距,是路线差距。所有此前研究这个问题的数学家,包括Lichtman在内,都默认从解析数论的工具箱入手。
这条路看似自然,走了几十年,但它把思维锁死在了一个狭窄的通道里。

GPT-5.4 Pro走了一条完全不同的路:用马尔可夫链方法结合冯·曼戈尔特权重。
这两样东西在数论的其他分支里都是成熟工具,但从来没有人想到把它们用在原始集问题上。
耐人寻味的是,Price在接受Scientific American采访时坦言:GPT的原始输出「其实质量很差」。
证明冗长、混乱,逻辑跳跃随处可见。是Barreto和后来介入的专家,从一堆杂乱的推导中辨认出了那个关键的全新洞见。
Lichtman的评价很克制,但分量极重:「这需要专家去筛选,才能真正理解它在试图表达什么」。

陶哲轩:人类集体走偏了
菲尔兹奖得主陶哲轩的点评,让所有人引发深思。
他是这么说的——
以前研究这个问题的人,大家一开始往往会采用一套标准的路数。
而LLM则走了一条完全不同的路线,它使用了一个在相关数学分支中众所周知、却从未有人想过要应用到这类问题上的公式。
这个「集体走偏的第一步」,是1935年以来形成的标准路径:
把数论问题翻译成概率论,走「Mertens定理」那条线,所有人都默认这条路是对的。
一代代研究生进来都先学这套翻译方法,再在它之上加细节。

数学的钥匙,正在换手
1900年,David Hilbert在巴黎国际数学家大会上提出23个问题,定义了整个20世纪数学的方向。
那个时代,能触碰数学前沿的人全球不超过几百人。

2026年4月的一个周一下午,一个23岁年轻人,一段提示词,80分钟。
数学的大门没有降低门槛,但门上多了一把新钥匙。
拿着这把钥匙的人,不需要先花十年学会前人走过的所有弯路。
相关文章









猜你喜欢
成员 网址收录40418 企业收录2986 印章生成263660 电子证书1157 电子名片68 自媒体105985