説明：ラマヌジャンマシンとは何ですか、なぜそれはインドの数学者にちなんで名付けられたのですか？
ラマヌジャンは生涯を通じて、円周率の値につながる方程式を含む新しい方程式と恒等式を考案しました。通常、これらを証明するために正式に訓練された数学者に任されていました。
ラマヌジャンは生涯を通じて、円周率の値につながる方程式を含む新しい方程式と恒等式を考案しました。通常、これらを証明するために正式に訓練された数学者に任されていました。 Technionの科学者—イスラエル工科大学は、インドの数学者にちなんで、RamanujanMachineと名付けた概念を開発しました。それは実際には機械ではなくアルゴリズムであり、非常に型破りな機能を実行します。
それが何をするか
ほとんどのコンピュータプログラムでは、人間は問題を入力し、アルゴリズムが解決策を見つけることを期待しています。ラマヌジャンマシンでは、逆に機能します。よく知られている円周率などの定数を入力すると、アルゴリズムは、値が正確に円周率である無限級数を含む方程式を作成します。今すぐ人間に：この提案された方程式が正しいことを誰かに証明させてください。
なぜラマヌジャン
このアルゴリズムは、シュリニヴァーサラマヌジャンが短い人生（1887-1920）の間に働いた方法を反映しています。正式な訓練はほとんどなく、特にイギリス滞在中（1914-19）、当時最も有名な数学者と関わり、最終的に王立学会のフェローになり、ケンブリッジで研究の学位を取得しました。
ラマヌジャンは生涯を通じて、円周率の値につながる方程式を含む新しい方程式と恒等式を考案しました。通常、これらを証明するために正式に訓練された数学者に任されていました。 1987年、カナダの2人の兄弟が、ラマヌジャンのシリーズの17個すべてを1 / piで証明しました。 2年前、アメリカの数学者とプログラマーは、これらの数式の1つを使用して、1700万桁を超える円周率を計算しました。これは、当時の世界記録でした（Deka Baruah、Berndt＆Chan; American Mathematical Monthly、2009）。
クンバコナムにあるラマヌジャンの家。 （出典：Arun Janardhanan） ポイントは何ですか？
推測は、科学、特に数学のあらゆる分野で新しい発見をするプロセスの主要なステップです。円周率を含む基本的な数学定数を定義する方程式は、常に洗練されています。しかし、数学の新しい推測はほとんどなく散発的である、と研究者たちは彼らの論文で指摘している。それは現在プレプリントサーバー上にある。アイデアは、発見のプロセスを強化および加速することです。
ケンブリッジのトリニティカレッジで。 （出典：ウィキメディア） どれくらいいいですか？
この論文は、定数piとeの値を含む、アルゴリズムによって生成されたこれまで知られていなかった方程式の例を示しています。ラマヌジャンマシンは、証明を提供することなく、数値を照合することによってこれらの推測式を提案しました。ただし、これらは無限の級数であり、人間は級数の値をテストするために有限数の項しか入力できないことを覚えておく必要があります。したがって、問題は、シリーズが1ポイント後に失敗するかどうかです。研究者たちは、数百桁をテストしたため、これはありそうもないと感じています。
このアルゴリズムは、シュリニヴァーサラマヌジャンが短い人生（1887-1920）の間に働いた方法を反映しています。 証明されるまで、それは推測のままです。同じように、間違っていることが証明されるまで、推測は1つのままです。アルゴリズムが証明するのに何年もかかる可能性のある推測を思い付く可能性は十分にあります。人間の推測の有名な例は、1637年に提案され、1994年にのみ証明されたフェルマーの最終定理です。
それを見つける場所
研究者たちはウェブサイトramanujanmachine.comを立ち上げました。ユーザーは、アルゴリズムの証明を提案したり、それらにちなんで名付けられた新しいアルゴリズムを提案したりできます。
友達と共有してください:
