23岁门外汉携ChatGPT 80分钟攻克60年数学猜想!
熟悉数学的人会立刻反应过来这句话的重量。「埃尔德什之书」是埃尔德什生前的一个说法:上帝手里有一本书,里面收录了每个数学定理最优雅的证明。
Lichtman的意思是,AI不仅解了题,而且解法本身是美的。
陶哲轩:人类集体走偏了
菲尔兹奖得主陶哲轩的点评,让所有人引发深思。
他是这么说的——
以前研究这个问题的人,大家一开始往往会采用一套标准的路数。
而LLM则走了一条完全不同的路线,它使用了一个在相关数学分支中众所周知、却从未有人想过要应用到这类问题上的公式。
这个「集体走偏的第一步」,是1935年以来形成的标准路径:
把数论问题翻译成概率论,走「Mertens定理」那条线,所有人都默认这条路是对的。
一代代研究生进来都先学这套翻译方法,再在它之上加细节。
GPT-5.4 Pro完全没学过这套「传统」。它反手就用了von Mangoldt函数——解析数论里编码算术基本定理的一个对象——走了完全不同的路。
Lichtman后来解释:这个公式在相关数学领域里其实大家都熟,但从来没人想到把它用到Erd?s这个问题上。
陶哲轩给这次结果定的性更狠:「我们发现了一种思考大整数及其结构的全新方式」。
研究Lichtman问题7年的人,输给了一个不知道这个问题「应该怎么研究」的素人。
「无知」在AI时代成了一种结构性优势,没有历史包袱,自然不会跟着集体走偏。
数学的钥匙,正在换手
1900年,David Hilbert在巴黎国际数学家大会上提出23个问题,定义了整个20世纪数学的方向。
那个时代,能触碰数学前沿的人全球不超过几百人。
2026年4月的一个周一下午,一个23岁年轻人,一段提示词,80分钟。
数学的大门没有降低门槛,但门上多了一把新钥匙。
拿着这把钥匙的人,不需要先花十年学会前人走过的所有弯路。
参考资料:
https://x.com/Ananyo/status/2047992864118894954?s=20
https://www.scientificamerican.com/article/amateur-armed-with-chatgpt-vibe-maths-a-60-year-old-problem/
[物价飞涨的时候 这样省钱购物很爽]
好新闻没人评论怎么行,我来说几句
Lichtman的意思是,AI不仅解了题,而且解法本身是美的。
陶哲轩:人类集体走偏了
菲尔兹奖得主陶哲轩的点评,让所有人引发深思。
他是这么说的——
以前研究这个问题的人,大家一开始往往会采用一套标准的路数。
而LLM则走了一条完全不同的路线,它使用了一个在相关数学分支中众所周知、却从未有人想过要应用到这类问题上的公式。
这个「集体走偏的第一步」,是1935年以来形成的标准路径:
把数论问题翻译成概率论,走「Mertens定理」那条线,所有人都默认这条路是对的。
一代代研究生进来都先学这套翻译方法,再在它之上加细节。
GPT-5.4 Pro完全没学过这套「传统」。它反手就用了von Mangoldt函数——解析数论里编码算术基本定理的一个对象——走了完全不同的路。
Lichtman后来解释:这个公式在相关数学领域里其实大家都熟,但从来没人想到把它用到Erd?s这个问题上。
陶哲轩给这次结果定的性更狠:「我们发现了一种思考大整数及其结构的全新方式」。
研究Lichtman问题7年的人,输给了一个不知道这个问题「应该怎么研究」的素人。
「无知」在AI时代成了一种结构性优势,没有历史包袱,自然不会跟着集体走偏。
数学的钥匙,正在换手
1900年,David Hilbert在巴黎国际数学家大会上提出23个问题,定义了整个20世纪数学的方向。
那个时代,能触碰数学前沿的人全球不超过几百人。
2026年4月的一个周一下午,一个23岁年轻人,一段提示词,80分钟。
数学的大门没有降低门槛,但门上多了一把新钥匙。
拿着这把钥匙的人,不需要先花十年学会前人走过的所有弯路。
参考资料:
https://x.com/Ananyo/status/2047992864118894954?s=20
https://www.scientificamerican.com/article/amateur-armed-with-chatgpt-vibe-maths-a-60-year-old-problem/
[物价飞涨的时候 这样省钱购物很爽]
| 分享: |
| 注: | 在此页阅读全文 |
| 延伸阅读 |
外国游客挤爆日本 "自家人"成"门外汉" |
奥特曼7万亿投资方案遭台积电高管嘲笑:门外汉 |
解码中国 “门外汉”搅局汽车市场 |
三个门外汉造手机,谁傻谁买单? |
门外汉掌舵中联部 中朝关系或质变 |
9大空间风水忌宜 门外汉开运说明 |
推荐:
23岁门外汉携ChatGPT 80分钟攻克60年数学猜想!