Loading article…
ラマヌジャンマシンは、テクニオン（イスラエル工科大学）の科学者チームによって開発された、数学の新しい公式を発見するための特殊なソフトウェアパッケージです。インドの数学者シュリニヴァーサ・ラマヌジャンにちなんで名付けられました。これは、ラマヌジャンが何百もの公式を発見した際の思考プロセスを模倣していると考えられているためです。[1] [2] [3] [4]このマシンは、 eやπ（パイ）など、数学で最も重要な定数を含む式の連分数展開 の形で、いくつかの推測を生み出しました。ラマヌジャンマシンによって生み出されたこれらの推測のいくつかは、その後正しいことが証明されました。他のものは、推測のまま残っています。このソフトウェアは、テクニオンの電気工学部教授であるイド・カミナーネイチャー誌にオンラインで公開されました。[3]
ラマヌジャンの数学の専門家であるジョージ・アンドリュースによると、ラマヌジャン・マシンによって生成された結果のいくつかは驚くべきものであり、証明が難しいものの、マシンによって生成された結果はラマヌジャンのレベルには達していないため、ソフトウェアをラマヌジャン・マシンと呼ぶのは少々無茶なことである。[5] [6]イスラエルの数学者 ドロン・ツァイルバーガーは、ラマヌジャン・マシンは数学を行う新しい方法論の先駆けであるとの見解を示している。[7]
ラマヌジャンマシンによって発見された公式
以下はラマヌジャンマシンによって発見され、後に真実であることが証明されたいくつかの式である: [3]
以下はラマヌジャンマシンによって推測された多くの式のうち、真偽がまだ確定していないものの一部である: [8]
最後の式では、4、14、30、52、…という数字はのシーケンスによって定義され、8、72、288、800、…という数字はの式を使用して生成されます。
外部リンク
- ラマヌジャン マシン プロジェクトのウェブサイト: ラマヌジャン マシン: アルゴリズムを使用して新しい数学を発見する
- イド・カミナール - YouTubeのラマヌジャン・マシン
参考文献
- ^ 「ラマヌジャンマシン」。イスラエル工科大学テクニオン。 2021年8月17日閲覧。
- ^ 「ラマヌジャンマシンが基本定数の推測を自動的に生成」. phys.org . Science X. 2021年8月17日閲覧。
- ^ abc Gal Raayoni、Shahar Gottlieb、. . . (2021). 「ラマヌジャンマシンによる基本定数に関する推測の生成」。Nature . 590 ( 7844): 67–73. arXiv : 1907.00205 . doi :10.1038/s41586-021-03229-4. PMID 33536657. S2CID 231805819 . 2021年8月17日閲覧。
{{cite journal}}: CS1 maint: 複数の名前: 著者リスト (リンク) - ^ Kabir Firaque (2019年7月18日). 「解説：ラマヌジャンマシンとは何か、そしてなぜインドの数学者にちなんで名付けられたのか？」The Indian Express . 2021年8月17日閲覧。
- ^ Davide Castelvecchi (2021). 「AI数学の天才が人間にとって解決困難な新たな問題を生み出す」. Nature . 590 (7845): 196. Bibcode :2021Natur.590..196C. doi :10.1038/d41586-021-00304-8. PMID 33536602. S2CID 231804003. 2021年8月17日閲覧。
- ^ 「メディアにおける数学」アメリカ数学会。 2021年8月17日閲覧。
- ^ 「オピニオン180：ラマヌジャンマシンは数学が再び科学（そして再び楽しいもの）になる前兆である！」ラトガース大学芸術科学部。 2021年8月17日閲覧。
- ^ 「結果」。ラマヌジャンマシン。 2021年8月17日閲覧。