首頁>科學>

他的名字叫Srinivasa Ramanujan,他夢ing以求的數學家(如果有的話)是他的獨特禮物。

這位印度數學家將自己的技能歸功於一位神聖的女神,向世界介紹了數以千計的數學思想和方程式,並且以設計猜想而著稱:數學命題尚未被證明是正確的(在這種情況下,它們被歸類為定理)。

這種能力-既能制定有見識又不確定的數學陳述-很少見,而且很少有數學家基於這樣的成果而出名,更不用說理論家很少接受正規培訓了。

但是現在,以色列研究人員開發的一項新演算法發明可以幫助我們自動發現像拉曼努揚(Ramanujan)曾經開創的數學猜想。

以拉曼努揚(Ramanujan Machine)的名字命名-拉曼努揚(32歲在印度去世)-是一個計算機化系統,能夠自動生成涉及數學常數的猜想:像π和e這樣的奇數似乎遍地都是,如果完全是巧合。

以色列技術學院的研究人員在最新發表的詳細介紹該系統的研究中解釋說: “諸如e和π之類的基本數學常數在從抽象數學和幾何學到物理學,生物學和化學的各個科學領域中都是無處不在。”

“不過,幾個世紀以來,與基本常數相關的新數學公式一直很少,而且通常是零星發現的。”

Ramanujan機器可能會在這方面加快速度。這是一種由連線雲的計算機社群提供支援的算法系統,它能夠產生猜想並發現基本常量的數學公式,這些基本常量足以揭示常量的基本結構。

到目前為止,該演算法機器已經生成了容易證明的猜想,同時發現了新的分數形式來計算諸如π之類的常數,並且還提出了尚待證明的猜想。

高階作者和物理學家Ido Kaminer解釋說: “計算機不在乎證明公式是簡單還是困難,也不會以任何先前的數學知識為基礎,而是僅以數學常數中的數字為基礎。”

“重要的是要指出,演算法本身無法證明其發現的猜想–此時,這項任務尚待人類數學家解決。”

研究人員發現,拉曼努揚機的生產能力有限。值得注意的是,在某些情況下,由演算法生成的先前未知的猜想可能是“僅是數學巧合,一旦計算了足夠的數字,這些巧合就會崩潰”。

但是,到目前為止,我們有理由對這些演算法的功能感到興奮-尤其是發現了隱藏在加泰羅尼亞常數中的新代數結構,這表明該機器可能能夠產生數學界從未見過的實際突破。

“我們相信並希望,對基本物理常數的新計算機生成的猜想的證明將有助於建立數學知識,”研究人員解釋說。

如果您喜歡這個想法並希望參與其中,那麼,如果您加入Ramanujan Machine的社群,就會有很多特權可以釋放。利用計算機的處理能力,您可能會猜到一個以您的名字命名的猜想。

公式和演算法本身也具有命名權,具體取決於您是否具備數學證明或開發程式碼的能力。

8
最新評論
  • mRNA疫苗可誘導對SARS-CoV-2及其多種擔憂的變體的持久免疫記憶
  • 令人著迷的十億年構造板塊位移