在數(shù)學(xué)的世界里，想要對「一個未經(jīng)證實的猜想」進(jìn)行完整的證明，往往需要天賦、直覺和經(jīng)驗的結(jié)合，即使是數(shù)學(xué)家也很難解釋自己的發(fā)現(xiàn)過程。

然而，隨著近幾年大模型的崛起，我們共同見證了一種新的變革力量，AI不僅在預(yù)測橢圓曲線的復(fù)雜度上超越了人類，還在探索基本常數(shù)的新公式上取得了突破。

最近，倫敦數(shù)學(xué)科學(xué)研究所所長托馬斯·芬克 (Thomas Fink) 在Nature的world view欄目發(fā)布了一篇文章，探討了AI如何在數(shù)學(xué)領(lǐng)域中發(fā)揮其獨特的作用，以及如何幫助數(shù)學(xué)家從猜想走向證明。

圖片

文章鏈接：https://www.nature.com/articles/d41586-024-01413-w

數(shù)學(xué)數(shù)據(jù)的豐富性和獨特性為AI的訓(xùn)練提供了肥沃的土壤：從素數(shù)到結(jié)理論，AI正在幫助我們發(fā)現(xiàn)數(shù)學(xué)對象之間的新聯(lián)系。

例如，通過在線整數(shù)序列百科全書(OEIS)，可以利用AI工具搜索近375,000個序列，尋找那些意想不到的關(guān)系，文中揭示了AI如何在數(shù)學(xué)數(shù)據(jù)的海洋中航行，發(fā)現(xiàn)那些人類尚未觸及的寶藏。

不過，雖然AI在數(shù)學(xué)領(lǐng)域的應(yīng)用前景廣闊，但它并非萬能。

正如G. H. Hardy在其1940年的論文《一個數(shù)學(xué)家的辯護(hù)》（A Mathematician’s Apology）中所言，一個好的定理應(yīng)當(dāng)是構(gòu)成諸多數(shù)學(xué)結(jié)構(gòu)的組成部分。

AI可以幫助我們發(fā)現(xiàn)模式和形成猜想，但區(qū)分這些猜想的重要性則需要數(shù)學(xué)家的直覺和對領(lǐng)域發(fā)展的深刻理解。

作者探討了AI如何作為數(shù)學(xué)家創(chuàng)造力的催化劑，而非替代品，二者可以共同推動、擴展數(shù)學(xué)的邊界。

托馬斯·芬克 (Thomas Fink) 是倫敦數(shù)學(xué)科學(xué)研究所的研究員，該研究所是一家從事物理和數(shù)學(xué)研究的非營利機構(gòu)。他正在與 BHI 合作研究可修復(fù)性和重組創(chuàng)新等主題，其研究興趣主要包括離散動力學(xué)、復(fù)雜網(wǎng)絡(luò)和生物學(xué)基本定律。

數(shù)學(xué)+AI

在2017年，倫敦數(shù)學(xué)科學(xué)研究所的研究人員，其中包括我，作為所長，開始將機器學(xué)習(xí)技術(shù)作為一種探索嘗試應(yīng)用于數(shù)學(xué)數(shù)據(jù)分析，也標(biāo)志著人工智能（AI）開始在數(shù)學(xué)領(lǐng)域的應(yīng)用展開初步探索。

在COVID-19大流行期間，我們?nèi)〉昧艘粋€意外的發(fā)現(xiàn)：簡單的AI分類器能夠預(yù)測橢圓曲線的秩（衡量橢圓曲線復(fù)雜性的一種方式）。

橢圓曲線是數(shù)論的基礎(chǔ)，克雷數(shù)學(xué)研究所曾經(jīng)在千禧年選出了七大數(shù)學(xué)難題，并為每個問題提供了100萬美元的獎金，預(yù)測橢圓曲線就是解決這些問題的關(guān)鍵步驟，但在當(dāng)時幾乎沒人看好AI能在數(shù)學(xué)領(lǐng)域發(fā)揮作用。

2021年，研究人員設(shè)計的拉馬努金機為基本常數(shù)生成了新的公式，例如 π 和 e，模型通過詳盡地搜索連分?jǐn)?shù)族（families of continued fractions）來實現(xiàn)該算法，其中連分?jǐn)?shù)是一種特殊的分?jǐn)?shù)表示法，由無限多個分?jǐn)?shù)層疊構(gòu)成，每個分?jǐn)?shù)的分母本身也是一個分?jǐn)?shù)，形成了一個分母鏈。

圖片

論文鏈接：https://www.nature.com/articles/s41586-021-03229-4

拉馬努金機生成的一些公式已經(jīng)被數(shù)學(xué)家證明是正確的，為數(shù)學(xué)領(lǐng)域增添了新的知識點，但并非所有的公式都得到了證明，一些公式仍然是數(shù)學(xué)界面臨的未解決問題，等待著未來的數(shù)學(xué)家和AI技術(shù)去探索和解決。

結(jié)理論（knot theory）是拓?fù)鋵W(xué)的一個領(lǐng)域，主要研究的是線條或繩子在空間中如何被扭曲和打結(jié)。在這個領(lǐng)域中，我們通?？紤]一個理想化的繩子，它在兩端被粘接起來，形成一個封閉的環(huán)。

最近，谷歌DeepMind的研究人員利用神經(jīng)網(wǎng)絡(luò)技術(shù)，對各種不同的結(jié)進(jìn)行了數(shù)據(jù)分析，通過訓(xùn)練神經(jīng)網(wǎng)絡(luò)來識別和理解結(jié)的模式。

圖片

論文鏈接：https://www.nature.com/articles/s41586-021-04086-x

最令人驚訝的是，模型發(fā)現(xiàn)了結(jié)的代數(shù)性質(zhì)和幾何形狀之間存在一種之前尚不了解的聯(lián)系，也就意味著，通過數(shù)學(xué)的代數(shù)和幾何方法，我們能夠更深入地理解結(jié)的結(jié)構(gòu)及其性質(zhì)，對于數(shù)學(xué)和物理學(xué)等領(lǐng)域的研究具有重要意義。

AI對數(shù)學(xué)領(lǐng)域的影響

數(shù)學(xué)是一門精確的科學(xué)，不接受任何偶然性（concidence），與現(xiàn)實世界中的實驗不同，數(shù)學(xué)中的一個反例就足以推翻一個猜想。

例如，Pólya猜想曾認(rèn)為，任何給定整數(shù)以下的大多數(shù)整數(shù)都有奇數(shù)個質(zhì)因數(shù)，但這個猜想在1960年被證明是錯誤的，因為數(shù)字906,180,359并不滿足這個條件，只需一個反例就被證偽了。

除此之外，數(shù)學(xué)領(lǐng)域的數(shù)據(jù)獲取成本相對較低，因為數(shù)學(xué)對象如質(zhì)數(shù)和結(jié)等是普遍存在的，例如，在線整數(shù)序列百科全書（OEIS）就收錄了近375,000個序列，從廣為人知的斐波那契序列到增長速度極快的Busy Beaver序列，科學(xué)家們已經(jīng)開始使用機器學(xué)習(xí)工具來搜索OEIS數(shù)據(jù)庫，尋找新的數(shù)學(xué)關(guān)系。

人工智能還可以幫助我們發(fā)現(xiàn)數(shù)學(xué)中的模式，并提出新的猜想。

但并非所有的猜想都同等重要，一個好的猜想應(yīng)該能夠推動我們對數(shù)學(xué)的理解，幫助我們構(gòu)建更多的數(shù)學(xué)結(jié)構(gòu)，并在證明不同類型的定理中發(fā)揮作用。

然而，要區(qū)分哪些猜想更有價值，需要對數(shù)學(xué)領(lǐng)域本身的發(fā)展有深刻的直覺和理解，對數(shù)學(xué)發(fā)展大局的把握，對于人工智能來說，可能在很長一段時間內(nèi)都是難以實現(xiàn)的。

因此，盡管人工智能可以幫助我們發(fā)現(xiàn)模式和猜想，但在識別哪些猜想真正重要方面，它可能還有很長的路要走。

盡管對人工智能在數(shù)學(xué)領(lǐng)域應(yīng)用的擔(dān)憂存在，但AI的引入無疑為數(shù)學(xué)界帶來了積極的影響，不僅能為數(shù)學(xué)研究提供關(guān)鍵的優(yōu)勢，還能開辟新的研究途徑，激發(fā)創(chuàng)新思維。

數(shù)學(xué)期刊應(yīng)當(dāng)增加對數(shù)學(xué)猜想的發(fā)表量。歷史上，許多重大的數(shù)學(xué)問題，如費馬的最后定理、黎曼猜想等，以及許多不太為人所知的猜想，都極大地推動了數(shù)學(xué)領(lǐng)域的發(fā)展，這些猜想通過為研究者提供正確的研究方向，加速了數(shù)學(xué)研究的進(jìn)程。

因此，發(fā)表有關(guān)猜想的期刊文章，尤其是那些有數(shù)據(jù)支持或啟發(fā)性論證的文章，對于推動科學(xué)發(fā)現(xiàn)具有重要意義。

以谷歌DeepMind的研究為例，去年他們預(yù)測了220萬種可能的新型晶體結(jié)構(gòu)，但這些新材料的穩(wěn)定性、合成可能性以及實際應(yīng)用價值仍有待進(jìn)一步的驗證和研究，目前該工作還主要依賴于人類研究人員的專業(yè)知識和對材料科學(xué)廣泛背景的理解。

此外，數(shù)學(xué)家們的想象力和直覺對于理解和解釋AI工具產(chǎn)生的結(jié)果至關(guān)重要。

AI在這一過程中起到的是促進(jìn)和激發(fā)人類創(chuàng)造力的作用，而不是取代人類，它更像是一個工具，幫助數(shù)學(xué)家們更快地探索未知領(lǐng)域，發(fā)現(xiàn)新的數(shù)學(xué)真理。

參考資料：

https://www.nature.com/articles/d41586-024-01413-w