像 e 和 π 這樣的基本常數在不同的科學領域無處不在，包括物理學、生物學、化學、幾何學和抽象數學。然而，幾個世紀以來，與基本常數有關的新的數學公式很少，而且通常是憑藉數學直覺或創造力偶爾發現的。
Ramanujan 機器可以從眾所周知的公式開始計算數字，例如 π 的前幾千位數字。從這些數據中，該算法試圖預測一個新的表達式，這個表達也可以做同樣的計算得到相同的結果。
這個過程會產生一個很好的猜測（conjecture），然後就要靠人類數學家來證明這個表達式是否能夠正確地計算出整個數字。
該團隊在2019年開始就在該項目的網站上公開這些推測，研究人員已經證明了其中的一些猜測是正確的。
但有些問題仍有待解決，其中一個是關於 「Apery 常數」的問題，Apery 常數在物理學中有重要應用。「最後一個結果，也是最令人興奮的一個，但是沒有人知道如何證明」，物理學家 Ido Kaminer 說，「但是算法自動創造的推測可以指引數學家們找到人們不知道存在的數學分支之間的聯繫」。
拉馬努金機器目前的應用還十分有限: 到目前為止，算法只能生成一個特定類型的式子，稱為連分數。這些分數表示一個數字為一個無限的分數序列，這些分數嵌套在彼此的分母中。
團隊人員已經嘗試了一系列算法來尋找連分數，並將它們應用到各種概念上重要的數字上。其中一個是加泰隆尼亞常數（Catalan’s constant），這個數字起源於十九世紀比利時數學家歐仁 · 加泰隆尼亞的研究。
加泰隆尼亞常數大約為0.916，但它是如此神秘，以至於沒有人知道它是否是有理的，也就是說它是否可以表示為兩個整數的分數。
數學家們能做的最好的事情就是證明它的「非理性指數」——用有理數來近似一個數字的難度的度量，這個值至少是0.554。證明加泰隆尼亞常數是無理的等價於證明其非理性指數大於1。而由拉馬努金機器生成的公式，使卡米納的團隊在最好的人類結果上略有改善，使指數達到0.567。
增加複雜性（Increasing complexity）
自動生成猜測並不是計算機幫助推動數學發展的唯一領域。
計算機輔助計算在幾個引人注目的結果的證明中發揮了關鍵作用。最近，一些數學家在人工智慧方面取得了進展，人工智慧不僅能進行重複的計算，還能自己做出證明。另一個正在發展的領域是軟體，它可以檢查人類寫的數學證明，並檢查它是否正確。
「最終，人類將會被淘汰」，Zeilberger 說，他是證明自動化領域的先驅，並且幫助證實了 Ramanujan 機器的一些猜想，「隨著人工智慧產生的數學的複雜性增加，數學家們將只能粗略地理解計算」，他補充道。
不過，儘管計算機可能能夠提出數學陳述，甚至證明它們是正確的，但是如果沒有人類的幹預，目前還不清楚它們是否能夠區分深刻的，有趣的陳述，還是僅僅從技術上是正確的而已。
如果感興趣的話，你可以在下面的連結中運行 Ramanujan 算法來發現新的數學猜想，如果能夠證明是正確的，那麼發現的新猜想將以你的名字命名！
參考連結：
http://www.ramanujanmachine.com/
Github項目連結：
https://github.com/AnonGit90210/RamanujanMachine