GPT - 5又幫陶哲軒解決了一個(gè)難題！這次是用于半自動(dòng)化文獻(xiàn)檢索。

消息來自陶本人最新動(dòng)態(tài)，他衷心提醒大家，AI能夠大顯身手的場(chǎng)景再 + 1，那就是半自動(dòng)化文獻(xiàn)檢索。

簡(jiǎn)單來說，陶正在做的是用AI + 數(shù)據(jù)庫比對(duì)來解決數(shù)學(xué)里的難題。結(jié)果AI不僅省時(shí)省力，成果也十分卓越，正如陶激動(dòng)所言：“這是Erdos問題/OEIS關(guān)聯(lián)項(xiàng)目的首次概念驗(yàn)證成果?！?/p>

具體咋回事兒，下面詳細(xì)來看。

AI在數(shù)學(xué)難題解決過程中起到“定位器”作用

事情要從20世紀(jì)著名匈牙利數(shù)學(xué)家Paul Erd?s說起。此人一輩子合作了超過500位數(shù)學(xué)家，畢生發(fā)表了約1525篇數(shù)學(xué)論文，數(shù)量之多，至今無人能及。相應(yīng)地，他也給后人留下了一大堆至今未解的難題，被稱為“Erd?s問題”。

其中有一大類問題很“刁鉆”，它們不是問“算出結(jié)果是多少”，而是問“這個(gè)結(jié)果是不是有理數(shù)（能寫成分?jǐn)?shù)的那種）”。一般而言，準(zhǔn)確回答這類問題往往面臨兩個(gè)主要困難。第一重困難是公式寫得簡(jiǎn)單，但算起來超級(jí)復(fù)雜，手工幾乎算不動(dòng)。第二重困難是就算能算很多位小數(shù)，也不等于能直接證明它是有理數(shù)還是無理數(shù)。所以，這類問題往往懸而未決幾十年。

而現(xiàn)在，陶哲軒在OpenAI最新模型GPT - 5的幫助下，完成了這樣一件事。它不是直接“證明”某個(gè)數(shù)是不是無理數(shù)，而是把這個(gè)數(shù)列算到很高精度的小數(shù)，相當(dāng)于給出了一個(gè)“數(shù)字指紋”。然后把這個(gè)小數(shù)串放進(jìn)OEIS（一個(gè)收錄全球數(shù)列的數(shù)據(jù)庫）搜一搜，結(jié)果發(fā)現(xiàn)能和人類之前整理過的相關(guān)數(shù)列匹配上。這說明這個(gè)問題其實(shí)早在某篇論文里就被解決了，只是沒人把這件事和Erd?s問題庫對(duì)應(yīng)起來。

換句話說，AI在這里起到了“橋梁”的作用，將不同數(shù)據(jù)庫和知識(shí)源連接起來，而這恰好是人工手動(dòng)操作最容易遺漏的環(huán)節(jié)。

具體而言，陶哲軒要求GPT - 5把一系列Erd?s問題中的無理性相關(guān)級(jí)數(shù)展開成高精度小數(shù)。

然后將得到的這些小數(shù)輸入到OEIS搜索欄中，OEIS會(huì)嘗試匹配數(shù)據(jù)庫中的數(shù)列。結(jié)果發(fā)現(xiàn)，Erd?s問題#259和OEISA371134對(duì)應(yīng)上了。在OEIS的參考文獻(xiàn)里，陶找到了Yong - Gao Chen和Imre Z. Ruzsa這兩位作者的一篇論文，這篇論文事實(shí)上已經(jīng)給出了該問題的完整解決方案，只是Erdosproblems網(wǎng)站（收錄了近1000道Erd?s問題）并不知道。

最終，陶把這一發(fā)現(xiàn)提交到Erdosproblems/OEIS關(guān)聯(lián)項(xiàng)目倉庫，并將Erd?s問題#259的狀態(tài)更新至“已解決”。

一言以蔽之，AI在上面這種半自動(dòng)化文獻(xiàn)檢索應(yīng)用中能夠發(fā)揮自己獨(dú)特的價(jià)值：AI本身算的不一定完全可靠，但它可以作為“定位器”，幫助找到那些更權(quán)威、更可靠的人類研究成果，這樣就能兼顧效率和可信度。

啥是Erdosproblems/OEIS關(guān)聯(lián)項(xiàng)目？

最后補(bǔ)充一下陶哲軒這個(gè)研究項(xiàng)目的背景。在8月31日的一篇博客中，陶對(duì)Erdosproblems/OEIS關(guān)聯(lián)項(xiàng)目的發(fā)起過程及背后原因進(jìn)行了詳細(xì)介紹。

這個(gè)項(xiàng)目由陶本人和英國數(shù)學(xué)家Thomas Bloom提議發(fā)起，目前在GitHub社區(qū)開源。

既然是關(guān)聯(lián)項(xiàng)目，先說說關(guān)聯(lián)雙方分別是什么。Erdosproblems網(wǎng)站是Thomas Bloom搭建的網(wǎng)站，收錄了近1000道由著名數(shù)學(xué)家Erd?s提出或傳播的問題，并記錄了每道題目前是“未解”、“已解”還是“部分解決”。OEIS（整數(shù)數(shù)列在線百科全書）是一個(gè)更老、更龐大的數(shù)據(jù)庫，里面有幾十萬條整數(shù)數(shù)列，每條數(shù)列都可能對(duì)應(yīng)著某個(gè)數(shù)學(xué)問題、猜想或者研究成果。數(shù)學(xué)家們常用它來尋找“這個(gè)奇怪的數(shù)列到底是不是別人已經(jīng)研究過的東西”。

之所以要將二者關(guān)聯(lián)起來，主要是研究人員現(xiàn)在面臨兩個(gè)問題。一是信息分散，有的數(shù)列已經(jīng)在OEIS出現(xiàn)過，但Erdosproblems網(wǎng)站上沒有注明；二是有遺漏，還有很多Erd?s問題相關(guān)的數(shù)列，OEIS里根本沒收錄。這就導(dǎo)致研究者可能錯(cuò)過已有的成果，或者重復(fù)勞動(dòng)。

而Erdosproblems/OEIS關(guān)聯(lián)項(xiàng)目很好地解決了上述問題，其方案大致如下。第一步，所有人都可以嘗試將Erd?s問題里對(duì)應(yīng)的整數(shù)數(shù)列算出來；第二步，然后和OEIS對(duì)比，看看是不是已經(jīng)存在，或者需要新加入；第三步，最后把結(jié)果記錄到一個(gè)GitHub表格里，標(biāo)記清楚“這個(gè)問題和哪些OEIS數(shù)列對(duì)應(yīng)”。通過以上眾包方式，關(guān)于Erd?s難題的數(shù)學(xué)研究就能有序持續(xù)推進(jìn)了。

開源地址：https://github.com/teorth/erdosproblems

參考鏈接：

[1]https://mathstodon.xyz/@tao/115135610687969581

[2]https://chatgpt.com/share/68b7160a-3d4c-800e-a834-415ee9aac2a8

[3]https://terrytao.wordpress.com/2025/08/31/a-crowdsourced-project-to-link-up-erdosproblems-com-to-the-oeis/

本文來自微信公眾號(hào)“量子位”，作者：一水，36氪經(jīng)授權(quán)發(fā)布。

本文僅代表作者觀點(diǎn)，版權(quán)歸原創(chuàng)者所有，如需轉(zhuǎn)載請(qǐng)?jiān)谖闹凶⒚鱽碓醇白髡呙帧?/p>

免責(zé)聲明：本文系轉(zhuǎn)載編輯文章，僅作分享之用。如分享內(nèi)容、圖片侵犯到您的版權(quán)或非授權(quán)發(fā)布，請(qǐng)及時(shí)與我們聯(lián)系進(jìn)行審核處理或刪除，您可以發(fā)送材料至郵箱：service@tojoy.com