数式を予測するAIラマヌジャン・マシン

天才数学者ラマヌジャンのように数式を予測して生み出してくれるAI「ラマヌジャン・マシン」が誕生

　天才的なひらめきによって多数の数式を発見したことで「インドの魔術師」の異名を取った天才数学者シュリニヴァーサ・ラマヌジャンのように数式を見つけ出してくれるAI「ラマヌジャン・マシン」を、イスラエル工科大学の研究チームが開発しました。

（中略）

　ラマヌジャンは下記の円周率の公式などの定理や数式を4000個近くも発見しながら、その証明について「寝ている間に女神が教えてくれた」などの直感的すぎる理由を答えたことから「インドの魔術師」という異名で呼ばれています。
　ラマヌジャンは1920年に32歳という若さで早世しましたが、彼が発見した全定理・数式の検証は没後80年までかかり、さらにその多くは正しかったことから「数学の未来を照らし出した天才」とも言われました。

　そんなラマヌジャンにあやかって名付けられた「ラマヌジャン・マシン」は、円周率πやネイピア数eなどの無理数を、以下のような連分数と呼ばれる分母に更に分数が含まれる形で予測するAIです。

（以下略、続きはソースでご確認下さい）

Gigazine 2021年02月15日 06時00分
https://gigazine.net/news/20210215-ai-formula-finder-ramanujan-machine/

「寝ている間に女神が教えてくれた」

太陽が燃え尽きるまでコンピューターが全力で総当りしても、
こんな公式見つかる気がしない

ラマヌジャンて人生2週目の転生者でしょ

発想は凄いけど
証明が苦手な
数学者ってことか。

もう脳の仕組みが違うんだろうな
でも数学の中だけ
やっぱ物理学やってる学者が作り出す数学の方が深みがあるというか　凄いよな

>>16
そもそも数学って概念が人間の脳によるものやからな
もしかしたら他の動物の脳はもっとヒトでいうところの数学的なのかもしれんけど、確かめようが無いからな。

>>28
犬は相対性理論を熟知しており、いつも天体観測をしている

数式があるということはそれに適合する現象の存在可能性があるって事だもんな

ラマヌジャン、早世だったね。
もっと、訳の分からない公式をどんどん発表して欲しかったよね。

天才が苦労するはずだわ
大多数が理解するまでの期間、否定されたり自分を査定される感覚いやだろうなぁ

>>24
数学に関してはそれはありえない
証明しちゃえば万人が否定しようが真実だから

>>40
数学でも確からしいけど証明されていない命題はあるけど

こうゆうのはAIて言っていいけど。
なんかビックリするほど膨大なデーターの中から最適な物選んできました！！
てのは電子計算機の得意分野でAIなんてありがたがる必要ないやん、て思う。

広義AIと呼ぶのは構わないと思うけど、今の時代、受け取った側は狭義のAIと
とらえてしまうので、頭の中で？？？が飛び交うわけで。

何らかのAI的な要素は使っているんだろうけど、それがどのネタなのかというか、
アルゴリズムの概要くらい書いておいて欲しいな。上手に活用すると、複雑系物理現象
に対する近似式の作り方みたいなところに発展して、ものすごい革命になるかも知れ
ないわけで。

そもそも物理学の方程式自体が、近似式に過ぎない。

どこかで根本原理にたどり着くのか、永遠に近似計算を続けるのかもわかっていない。

東大入試(仮)
あなたの発見した公式を書きなさい。(60分)

自然数足していったら
負の数で収束したわ

>>36
-1/12

本に書いてあったけどオイラーやラマヌジャンは自分で計算したらしい

そんなマシンが使えれば、めんど臭がりやは
たぶん「ハマルジャン」

ラマヌジャンは紛れもない天才だと思うが、
数学者じゃないとも思う

昨日、英国人の数学者チューリングのウィキを読んだけど
チューリングマシンが出てきた。名前の後にマシンが付くやつとか
早く死ぬとか変な共通点あるね。

ラマヌジャンの予想で間違ってたのあるのかな？

＞ラマヌジャンの予想で間違ってたのあるのかな？

たしかラマヌジャンの式で、ゼータ関数の非自明な零点の存在を
ラマヌジャンが知らなくて、その結果として導かれた式は明白な
間違いだったと思う。つまりいろいろな教養が欠けてたんだね。

弦理論とその他万物理論の候補を画像化
製作：5ｃｈ宇宙板,数学板,物理板

i.imgur.com/amE4jPv.png

万物の理論 Theory of Everything

天才数学者ラマヌジャンのように数式を予測して生み出してくれるAI
「ラマヌジャン・マシン」が誕生
https://gigazine.net/news/20210215-ai-formula-finder-ramanujan-machine/

＞数式を見つけ出してくれるAI「ラマヌジャン・マシン」を、
イスラエル工科大学の研究チームが開発

＞「ラマヌジャン・マシン」は、円周率πやネイピア数eなどの無理数を、
連分数と呼ばれる分母に更に分数が含まれる形で予測するAI

＞AIはすでに19個の数式を予測しており、
＞カタラン数に関する数式は、これまでに発見されたものよりも精度が高いことが証明されている

インドはゼロは見つけるわ、夢に数式は出るわ、理系強くて一体なんなん？宇宙人？

実数の濃度は非可算といって自然数と一対一の対応はできない。
自然数は実数に比べてほとんど存在しないも同然な程スカスカだ。
整数も有理数も代数的無理数もすべて自然数と1対1の対応関係を作れるので
実数に比べればとても希薄な存在に過ぎない。

実数の間に成り立つ関係式もそれが有限の記号で書かれる限りは
加算個しかない。すべての実数を有限長の記号列を用いて個別に
区別して定義したり名前を付ける手段は無いのだ。ほとんどの
実数は未来永劫誰からも厳密に指定されることなく実数軸の上で
たたずんでいるわけだ。

ラマヌジャンすれば、1+1=2と瞬時にわかるから、これを証明しろ言われても困るだろ

凡人がこれを証明するようなもの

ワイルズがフェルマーに鉛筆だけで立ち向かったのを喜んだエルデシュはどう思うかな。

AIは女神から数式を預かれるか。