23歲門外漢攜ChatGPT 80分鍾攻克60年數學猜想!

2026-04-27 | 來源: 新智元 | 轉到微信 | 有0人參與評論 | 字體: 放大縮小 | 收藏 | 打印

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」：一個集合裡任意兩個元素互不整除。

解碼中國 “門外漢”攪局汽車市場

外國游客擠爆日本 "自家人"成"門外漢"

奧特曼7萬億投資方案遭台積電高管嘲笑:門外漢

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數學成果。」