一種新的人工智能“數學家”，被稱為拉馬努金機器（the Ramanujan Machine）的新型人工智能“數學家”，有可能揭示數字之間隱藏的關系，這種新的人工智能機器可以在需要證明的情況下證實數學猜想。這臺“機器”由算法組成，這些算法尋找猜想，或可能為真但尚未被證明的數學結論。猜想是數學定理的起點，這些定理已被一系列方程證明。

這套算法是以印度數學家斯里尼瓦瑟·拉馬努金（Srinivasa Ramanujan）的名字命名的。1887年，拉馬努詹出生在一個商店店員和家庭主婦的家庭，他是一個神童，他想出了許多數學猜想，證明和解答出以前從未解過的方程。1918年，也就是在他因病早逝的前2年，他被選為英國皇家學會的資深會員，成為繼1841年海洋工程師阿達西爾·科塞吉（Ardaseer Cursetjee）之后第二位被選為會員的印度人。

新的人工智能機器發現了數字間隱藏的關系？或有助于證明數學猜想。醫療設備公司美敦力負責人工智能和數據科學的副總裁、拉馬努金機器的開發者之一、物理學家亞倫·哈達德（Yaron Hadad）指出，拉馬努金對數字有天生的感覺，對其他人看不到的模式或關系有敏銳的洞察力。哈達德告訴記者，這位新的人工智能機器旨在從大量潛在方程中提取出有前景的數學模式，這讓拉馬努金的名字與之相吻合。

機器學習已被用于從圖像識別到藥物發現的各種模式發現的應用程序中，其中的算法在最小限度的方向上從程序員那里檢測出大量數據中的模式。哈達德和他在海法以色列理工學院的同事們，想看看他們能否將機器學習用于更基礎的領域。

哈達德表示：“我們想看看能否將機器學習應用到非常非常基礎的東西上，所以我們認為數字和數論是非常非常基礎的。” （數論研究是對整數或可以無分數書寫的數字的研究。）

[[381895]]

已經有一些研究人員使用機器學習將猜想轉化為定理——這個過程被稱為自動證明定理。相反，拉馬努金機器的目標是首先識別出有希望的數學猜想。這曾經是人類數學家的領域，他們提出了著名的建議，如費馬大定理，該定理聲稱，當整數 n > 2 時，對于所有正整數 x，y，z方程x^n + y^n = z^n，在n>2時沒有非零的整數解。這個著名的猜想是1637年數學家皮埃爾·德·費馬在一本書的空白處寫下的，但直到1994年才得到證實。

為了指導拉馬努金機器開展深入研究，研究人員將注意力集中在基本常數上，即在方程式中是固定且基本正確的數字。最著名的常數可能是圓的周長與直徑之比，也就是廣為人知的圓周率。不管圓的大小如何，圓周率總是3.14159265……等等。

該算法實質上掃描了大量潛在方程，以尋找可能表明存在表示該常數的公式的模式。 程序首先掃描有限的數字（可能是5或10），然后記錄所有的任何匹配項，然后，對匹配項進行擴展以查看模式是否進一步重復。當出現有希望的模式時，該猜想就可用來嘗試證明數學猜想。哈達德透露，到目前為止，已經產生了100多個有趣的猜想，其中幾十個已經得到了證實。

研究人員在《自然》雜志上發表了他們的研究結果。他們還建立了一個網站RamanujanMachine.com，來分享人工智能算法產生或證明的數學猜想，并從任何想嘗試發現新定理的人那里收集證據。用戶還可以下載這些代碼來運行自己的搜索猜測，或者讓機器利用自己計算機上的空閑處理空間自行查看。哈達德指出，其部分目標是讓非專業人士更多地參與數學世界。

研究人員還希望，拉馬努金機器將有助于改變數學是如何做的。哈達德認為，很難說數論的進步將如何轉化為現實世界的應用，但到目前為止，該算法已經幫助揭示了加泰羅尼亞常數非理性的一個更好的衡量標準，這個由G表示的數字至少有60萬位數字，但可能是也可能不是非理性數字。（無理數不能寫成分數；有理數可以。）哈達德表示，該算法還沒有回答加泰羅尼亞常數是否有理的問題，但已經向這個目標邁進了一步。

人工智能使用機器學習將猜想轉化為定理？或將極大促進數學的發展。哈達德在一封電子郵件中透露：“我們仍處于這個項目的早期階段，所有的潛力才剛剛開始展現。我相信，將這一概念推廣到數學和物理的其他領域（甚至其他科學領域），將使研究人員從計算機中獲得新研究的線索。因此，人類科學家將能夠從計算機提供的更廣泛的選擇中選擇更好的目標，從而提高生產力和對人類知識和后代的潛在的影響。”