23歲門外漢攜ChatGPT 80分鍾攻克60年數學猜想!
7年的專業研究，輸給了壹次「vibe mathing」。壹個毫無高數背景的23歲年輕人，靠壹段提示詞，讓ChatGPT在80分鍾內破解了困擾人類60年的猜想。陶哲軒承認：我們第壹步就走偏了。
困擾數學界60年的「世紀猜想」，竟被壹個門外漢給攻克了！
他年僅23歲，從未接受過任何高等數學訓練，僅憑壹個提示詞，讓ChatGPT破解了這壹難題。
陶哲軒看完證明後，只說了壹句話——
過去60年人類都看過這道題，所有人在第壹步就集體走偏了。
23歲門外漢，讓全網破防
故事的主人公叫Liam Price。
他並非「數學科班」出身，履歷中找不到任何高等數學學位的加持。
然而，在2025年底，他與劍橋大學數學系的大贰生Kevin Barreto聯手開啟了壹場近乎「瘋狂」的實驗：
從數學界著名的Erd?s Problems網站中隨機抽取未解難題，直接丟給ChatGPT。
不做前置研究，不讀相關論文，不從某個分析框架入手。
就是憑直覺，用最樸素的語言描述問題，讓大模型自己找路。
圈子裡給這種方法起了個名字：「vibe mathing」。
在#1196之前，Price和Barreto已經用類似方法在幾個較小的問題上取得了進展，陸續引起了壹些關注。
OpenAI聽說後，給他們倆送了ChatGPT Pro訂閱，鼓勵繼續挖掘。
這個舉動，後來被證明，是2026年數學史上回報率最高的壹筆投資。
但沒人想到，真正的大魚會來得這麼快。
這次他們盯上的Erd?s Problem #1196，關於「primitive sets」：壹個集合裡任意兩個元素互不整除。
60年猜想證畢，ChatGPT僅80分鍾
在這個問題上走得最遠的人類數學家，是牛津大學的Jared Lichtman。
他在原始集問題上苦幹了整整7年，發表了多篇重要論文，把已知上界壹步步推到了約1.399。
距離最終證明，似乎只差最後壹腳。但這「最後壹腳」，7年都沒能踢進去。
沒想到，Price將提示發出去，GPT-5.4 Pro推理80分鍾，給出漸近1+O(1/log x)，壹刀到底。
先把問題本身說清楚。
所謂「原始集」，就是壹組正整數，其中任何壹個數都不能被另壹個整除。
比如{2, 3, 7, 12}，12能被2和3整除，所以不是原始集，而{2, 3, 7, 11}就是。
1968年，埃爾德什和合作者Sárk?zy、Szemerédi提出了壹個猜想：關於原始集的壹個特定求和式，存在漸近意義上的明確上界。
簡潔的表述，58年的僵局。
更關鍵的不是速度差距，是路線差距。所有此前研究這個問題的數學家，包括Lichtman在內，都默認從解析數論的工具箱入手。
這條路看似自然，走了幾拾年，但它把思維鎖死在了壹個狹窄的通道裡。
GPT-5.4 Pro走了壹條完全不同的路：用馬爾可夫鏈方法結合馮·曼戈爾特權重。
這兩樣東西在數論的其他分支裡都是成熟工具，但從來沒有人想到把它們用在原始集問題上。
耐人尋味的是，Price在接受Scientific American采訪時坦言：GPT的原始輸出「其實質量很差」。
證明冗長、混亂，邏輯跳躍隨處可見。是Barreto和後來介入的專家，從壹堆雜亂的推導中辨認出了那個關鍵的全新洞見。
Lichtman的評價很克制，但分量極重：「這需要專家去篩選，才能真正理解它在試圖表達什麼」。
然後他說了壹句讓整個圈子安靜下來的話：「這是第壹個達到埃爾德什之書水平的AI數學成果。」
[物價飛漲的時候 這樣省錢購物很爽]
好新聞沒人評論怎麼行，我來說幾句
困擾數學界60年的「世紀猜想」，竟被壹個門外漢給攻克了！
他年僅23歲，從未接受過任何高等數學訓練，僅憑壹個提示詞，讓ChatGPT破解了這壹難題。
陶哲軒看完證明後，只說了壹句話——
過去60年人類都看過這道題，所有人在第壹步就集體走偏了。
23歲門外漢，讓全網破防
故事的主人公叫Liam Price。
他並非「數學科班」出身，履歷中找不到任何高等數學學位的加持。
然而，在2025年底，他與劍橋大學數學系的大贰生Kevin Barreto聯手開啟了壹場近乎「瘋狂」的實驗：
從數學界著名的Erd?s Problems網站中隨機抽取未解難題，直接丟給ChatGPT。
不做前置研究，不讀相關論文，不從某個分析框架入手。
就是憑直覺，用最樸素的語言描述問題，讓大模型自己找路。
圈子裡給這種方法起了個名字：「vibe mathing」。
在#1196之前，Price和Barreto已經用類似方法在幾個較小的問題上取得了進展，陸續引起了壹些關注。
OpenAI聽說後，給他們倆送了ChatGPT Pro訂閱，鼓勵繼續挖掘。
這個舉動，後來被證明，是2026年數學史上回報率最高的壹筆投資。
但沒人想到，真正的大魚會來得這麼快。
這次他們盯上的Erd?s Problem #1196，關於「primitive sets」：壹個集合裡任意兩個元素互不整除。
60年猜想證畢，ChatGPT僅80分鍾
在這個問題上走得最遠的人類數學家，是牛津大學的Jared Lichtman。
他在原始集問題上苦幹了整整7年，發表了多篇重要論文，把已知上界壹步步推到了約1.399。
距離最終證明，似乎只差最後壹腳。但這「最後壹腳」，7年都沒能踢進去。
沒想到，Price將提示發出去，GPT-5.4 Pro推理80分鍾，給出漸近1+O(1/log x)，壹刀到底。
先把問題本身說清楚。
所謂「原始集」，就是壹組正整數，其中任何壹個數都不能被另壹個整除。
比如{2, 3, 7, 12}，12能被2和3整除，所以不是原始集，而{2, 3, 7, 11}就是。
1968年，埃爾德什和合作者Sárk?zy、Szemerédi提出了壹個猜想：關於原始集的壹個特定求和式，存在漸近意義上的明確上界。
簡潔的表述，58年的僵局。
更關鍵的不是速度差距，是路線差距。所有此前研究這個問題的數學家，包括Lichtman在內，都默認從解析數論的工具箱入手。
這條路看似自然，走了幾拾年，但它把思維鎖死在了壹個狹窄的通道裡。
GPT-5.4 Pro走了壹條完全不同的路：用馬爾可夫鏈方法結合馮·曼戈爾特權重。
這兩樣東西在數論的其他分支裡都是成熟工具，但從來沒有人想到把它們用在原始集問題上。
耐人尋味的是，Price在接受Scientific American采訪時坦言：GPT的原始輸出「其實質量很差」。
證明冗長、混亂，邏輯跳躍隨處可見。是Barreto和後來介入的專家，從壹堆雜亂的推導中辨認出了那個關鍵的全新洞見。
Lichtman的評價很克制，但分量極重：「這需要專家去篩選，才能真正理解它在試圖表達什麼」。
然後他說了壹句讓整個圈子安靜下來的話：「這是第壹個達到埃爾德什之書水平的AI數學成果。」
[物價飛漲的時候 這樣省錢購物很爽]
| 分享: |
| 注： | 在此頁閱讀全文 |
| 延伸閱讀 |
 外國游客擠爆日本 "自家人"成"門外漢" |
奧特曼7萬億投資方案遭台積電高管嘲笑:門外漢 |
| 解碼中國 “門外漢”攪局汽車市場 |
叁個門外漢造手機，誰傻誰買單？ |
| 門外漢掌舵中聯部 中朝關系或質變 |
9大空間風水忌宜 門外漢開運說明 |
推薦: