在延續數千年的數學歷史中，各種“假說”是數學天才們的專有物。

在過去的100年裡發現的重要數學公式只有數十個。另外，很多數學家都在埋頭於形成一個公式。但是最近情況正在發生變化。人工智慧開始取代數學家們的工作。

在數學上生成假說（推測）的人工智慧演算法“拉瑪努金機”最近挖掘並整理了天才數學家們所做的假說。

數學天才們做的事情由AI代替。

2019年7月，發表了可以在數學上生成假說（推測）的演算法機器人“拉瑪努金機器(Ramanujan Machine)”。

該演算法機器人以印度數學家斯里尼巴薩拉瑪努金(Srinivasa Ramanujan)的名字命名。他是1887年以前對未解決的方程式有很多數學推測、證明和解決方案的神童。

他與其他數學家不同，對數字和模型有著卓越的感覺，並創造了6165個假設。

參與研究的技術專家李道·加味（Ido Kaminer）教授表示：“不管證明公式是容易或難，只拿數學常數的數字（像拉瑪努金一樣）提取數學模型。”

一些研究人員已經在整理利用該演算法生成的推測。研究人員為了證明假設，正在使用“自動整理證明（a process called automated theorem proving）”的過程。

感知和計算大量資料的機器，學習從識別影象到發現新藥，應用到眾多的領域。但是，人工智慧投入到基礎數學的領域的理論研究中成為主角尚屬首次。

研究組3日透過《自然》雜誌上發表的論文預測道：“透過人工智慧提取的創意可以在未來數學的所有領域發展數學假設，對整個數學研究有很大的幫助。”

論文題目為《Generating conjectures on fundamental contents with the Ramanujan Machine》。

生成超過100個有趣的假說。

假說是指為了說明某個事實或演繹某個理論體系而設定的假定。

由此，理論上匯出的結果透過觀察或實驗證明的話，脫離假設，在一定的界限內成為合理的真理。

很多數學天才們在當時提出了根本無法解開的假設後，在當時其它人無法證明的前提下，整理成為了定理。

技術研究組正在進行的工作也與這些天才數學家相似。這段時間，為了透過演算法尋找能夠表現出方程式中基本值常數的公式存在的模型，掃描了很多潛在的方程式。

人工智慧演算法先掃描5 ~ 10個左右的數字，然後記錄一致的專案並擴張，確認模型是否重複。如果出現有希望的模型，就會進入證明推測的整理階段，但到現在為止，這件事還是由人在做。

梅德羅尼克•哈達德副社長說：“到目前為止，已經形成了超過100個有趣的假說，其中數十個透過學者得到了證明。”

研究組目前在開設了“RamanujanMachine.com”網站。這是為與所有人共享生成的假設，並讓所有人參與證明而設立的。

研究組透過向《LIVE科學》傳送的電子郵件表示：“雖然專案還處於初期階段，但是開始顯露其潛力。新發現的模式和概念在數學、物理學領域或其他科學領域普及的話，可以帶動新的研究。”