【AI/数学】天才数学者ラマヌジャンのように数式を予測して生み出してくれる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/ 数学こそ独創性の世界なんで少なくとも今のAIじゃムリ
(当り前のこと書いてすまん) AIって言ってるけど、実は、力任せの総当たりで公式を見つけるんでしょ? 日本人て数学者イマイチだよな
まぁフィールズ賞とかはいるけど、日本はあんま数学という学問が人気ない感じ >>6
ペレルマンかコイツか。
ってレベルらしい。若すぎた。
>>8
志村・谷山・望月とかオレみたいなのが思いつくだけで結構な人数いるけどw >>13
渡英してドクターになるまで高等教育受けてないから、そもそも証明という概念をしらなかった もう脳の仕組みが違うんだろうな
でも数学の中だけ
やっぱ物理学やってる学者が作り出す数学の方が深みがあるというか 凄いよな >>8
志村谷山予想がなかったら
アンドリューワイルズが
フェルマーの最終定理解けなかった
と聞いたことある 数式があるということはそれに適合する現象の存在可能性があるって事だもんな ラマヌジャンの人生と与謝野晶の「君死にたもうことなかれ」を一緒に紹介していたエッセイがあった。
もう一度読みたいけど、なんて本で書かれていたか記憶にない。
30年以上前の本だと思うのですが誰か知りませんか?
横書きのエッセイ集で、「近代プログラマの夕」風だったような。 >>8
それは無い
日本人の数学での業績はかなりのもの ラマヌジャン、早世だったね。
もっと、訳の分からない公式をどんどん発表して欲しかったよね。 >>7
力任せってのはそうやけど、総当たりというのは違うやろ。 >>19
「読書するプログラマ」かな?←
自信無し 天才が苦労するはずだわ
大多数が理解するまでの期間、否定されたり自分を査定される感覚いやだろうなぁ こうゆうのはAIて言っていいけど。
なんかビックリするほど膨大なデーターの中から最適な物選んできました!!
てのは電子計算機の得意分野でAIなんてありがたがる必要ないやん、て思う。 こうゆうのはAIて言っていいけど。
なんかビックリするほど膨大なデーターの中から最適な物選んできました!!
てのは電子計算機の得意分野でAIなんてありがたがる必要ないやん、て思う。 >>16
そもそも数学って概念が人間の脳によるものやからな
もしかしたら他の動物の脳はもっとヒトでいうところの数学的なのかもしれんけど、確かめようが無いからな。 広義AIと呼ぶのは構わないと思うけど、今の時代、受け取った側は狭義のAIと
とらえてしまうので、頭の中で???が飛び交うわけで。
何らかのAI的な要素は使っているんだろうけど、それがどのネタなのかというか、
アルゴリズムの概要くらい書いておいて欲しいな。上手に活用すると、複雑系物理現象
に対する近似式の作り方みたいなところに発展して、ものすごい革命になるかも知れ
ないわけで。 >>28
犬は相対性理論を熟知しており、いつも天体観測をしている ゼロ除算はできるでしょうか・・・
https://www.quora.com/Ramanujan-says-that-answer-for-0-0-is-infinity-But-Im-not-sure-its-correct-Can-anyone-help-me
The Institute of Reproducing Kernels is dealing with the theory of division by zero
calculus and declares that the division by zero was discovered as $0/0=1/0=z/0=
0$ in a natural sense on 2014.2.2. The result shows a new basic idea on the universe
and space since Aristotele (BC384 - BC322) and Euclid (BC 3 Century - ),
and the division by zero is since Brahmagupta (598 - 668 ?).
It was shortened to 45 minutes.
↓
https://media.cmd.gunma-u.ac.jp/media/Play/ba02ed49e73949ff84dedcd3e41f76b41d そもそも物理学の方程式自体が、近似式に過ぎない。
どこかで根本原理にたどり着くのか、永遠に近似計算を続けるのかもわかっていない。 東大入試(仮)
あなたの発見した公式を書きなさい。(60分) 今大学で素数の謎をAIに解かせる研究してるんだけど
どうしてもnが無限になるってところで止まっちゃうんだよね
どうしたらいいの? >>23
ありがとう。手元にある「読書するプログラマ」を見ました。
雰囲気はこんな感じですが残念ながら違いました。
しかし、「読書するプログラマ」のエッセイは最高ですよね。 >>24
数学に関してはそれはありえない
証明しちゃえば万人が否定しようが真実だから >>8
オレレベルだとついったの数学クラスタのツイートに迷い込んだだけで頭がクラクラしたわ そんなマシンが使えれば、めんど臭がりやは
たぶん「ハマルジャン」 知らんけどインドとイスラエルって敵対してるんじゃないの? ラマヌジャンは紛れもない天才だと思うが、
数学者じゃないとも思う 昨日、英国人の数学者チューリングのウィキを読んだけど
チューリングマシンが出てきた。名前の後にマシンが付くやつとか
早く死ぬとか変な共通点あるね。 >>40
数学でも確からしいけど証明されていない命題はあるけど >>38
原子の電子数の配列が素数になってる話
昔 TVでやってた。
トイレで数学者と核物理学者が隣同士
用足しして話している際、互いに分野を
超えてヒントを得たとのこと。
トイレは、大事な社交場だわ。 >ラマヌジャンの予想で間違ってたのあるのかな?
たしかラマヌジャンの式で、ゼータ関数の非自明な零点の存在を
ラマヌジャンが知らなくて、その結果として導かれた式は明白な
間違いだったと思う。つまりいろいろな教養が欠けてたんだね。 >>50
他の人がよってたかって穴が無いかチェックする i.imgur.com/amE4jPv.png
万物の理論 Theory of Everything 天才数学者ラマヌジャンのように数式を予測して生み出してくれるAI
「ラマヌジャン・マシン」が誕生
https://gigazine.net/news/20210215-ai-formula-finder-ramanujan-machine/
>数式を見つけ出してくれるAI「ラマヌジャン・マシン」を、
イスラエル工科大学の研究チームが開発
>「ラマヌジャン・マシン」は、円周率πやネイピア数eなどの無理数を、
連分数と呼ばれる分母に更に分数が含まれる形で予測するAI
>AIはすでに19個の数式を予測しており、
>カタラン数に関する数式は、これまでに発見されたものよりも精度が高いことが証明されている インドはゼロは見つけるわ、夢に数式は出るわ、理系強くて一体なんなん?宇宙人? >>61
その代わり、他のことはからっきしダメなんだよね。
天は二物を与えずって感じかね。 実数の濃度は非可算といって自然数と一対一の対応はできない。
自然数は実数に比べてほとんど存在しないも同然な程スカスカだ。
整数も有理数も代数的無理数もすべて自然数と1対1の対応関係を作れるので
実数に比べればとても希薄な存在に過ぎない。
実数の間に成り立つ関係式もそれが有限の記号で書かれる限りは
加算個しかない。すべての実数を有限長の記号列を用いて個別に
区別して定義したり名前を付ける手段は無いのだ。ほとんどの
実数は未来永劫誰からも厳密に指定されることなく実数軸の上で
たたずんでいるわけだ。 >>63
懐かしい名前だな
モノグラフや解法のテクニックを持ってたわ >>9
お前のスマホ見てみて
そこにあるドットでこの世の真理から、お前の人生まで映せるんだぜ
総当たりなら、いけるだろ ラマヌジャンすれば、1+1=2と瞬時にわかるから、これを証明しろ言われても困るだろ
凡人がこれを証明するようなもの 有限の長さで書かれた命題、数式は、それが正しいか正しくないかによらず、
列挙していくと可算の濃度を持つ。つまり自然数と一対一対応できるので、
自然数1、2,3,4、。。。に対応して命題とか数式の列を作っていけば、
正しい命題や正しい数式は必ずその列の中に出現していることがわかる。
つまり、すべての正しい数式はこのようにして列挙されている数式の列の
中から、拾い出せば良いだけなのだ。簡単だろ? もちろん、そうやって生成される数式の中には1=5とか
2+3=23のような正しくないものが多く含まれて居るので
それをきちんと選別することが必要になる。但し、
一般的に正しい数式を正しいと証明することのできる
「アルゴリズム」は存在しないということも証明されている
ので、正しい式であるかどうかをアルゴリズムによって
判定して選別することはできないのだ。でも実数値に関する
式(等式、不等式)なら、十分に精度の高い近似値とその
誤差の限界を把握して両辺を比較することで、間違った
判断をするリスクを十分に減らせる。そうして、ほとんど
正しいらしいという場合だけを残せる。 >>37
ラマヌジャンは何かに似ていると20年来もっていた疑問が解けた! ワイルズがフェルマーに鉛筆だけで立ち向かったのを喜んだエルデシュはどう思うかな。 >>36
-1/12
本に書いてあったけどオイラーやラマヌジャンは自分で計算したらしい アメリカは日本の不幸の元凶である。
〇アメリカはインディアン殲滅と土地略奪、奴隷貿易で成立したキチガイ国家である。
〇その汚らしい歴史を薄めるため、ありもしない南京大虐殺と従軍慰安婦の罪を日本に被せ、自らは正義面をし世界に
アメリカ流をゴリ押ししている
〇中国共産党と北朝鮮そして韓国はアメリカが作った傀儡である。
〇アメリカはこれらの三か国に反日と憎悪を煽り日本への破壊行為の手助けをしている。
〇北朝鮮にミサイルを打たせてるのはアメリカである。中国の日本領海の侵入を後押ししてるのもアメリカである。
〇日本へのタカリ根性と乞食根性が染みついた韓国北朝鮮中国をとことん甘やかし増長させてるのもアメリカである。
〇アメリカは日本を滅ぼす行為を裏で操りながら、守ってやると偉そうに米軍基地を置き日本を監視し独立を阻害している。
〇GHQ体制以後、アメリカは在日朝鮮人を日本の間接支配の道具とし、様々な重要ポストを与え日本人を牽制かつ毀損し
日本人の監視を行わせている。
〇芸能界において人気がないにもかかわらず、在日やハーフもしくは白人が起用されるのはアメリカの圧力があるからである。
〇アメリカは緊縮財政と消費増税かつ東京一極集中を日本政府に行わせ、日本人を貧乏かつ疲弊させ、国力低下と日本人削減を
徹底的に行わせている。
〇アメリカは日本政府に移民を大量に入れることを命令し、日本の文化と秩序を壊し、日本を東南アジアのような貧乏かつ
売春大国にしようとしている。
〇アメリカは中東において異民族同士を殺し合いをさせ全ての石油利権を強奪している。同様に日本海におけるメタンハイドレート
利権を日本と中国に殺し合いさせることで全部強奪しようとしている。
〇アメリカは自ら作った国際緊張で日本を脅し日本の法律の上に位置するTPPもしくはFTAを結ばせ、日本の主権を奪い
日本を植民地にしようとしてる。
菅総理安倍麻生小泉橋下(維新)志位武夫玉木雄一郎山本太郎 河野太郎石破岸田野田松川るい辻本清美はアメリカと外資の言いなりのキチガイで
ある。日米FTA反対かつTPPを脱退しましょう。アメリカと外資が日本の主権を奪い日本がアメリカと外資の植民地になります。
追記(上の文章を理解できた方は読んでください、国際情勢がより鮮明に分かるようになります。)
バイデンもトランプも安倍も菅も小泉も麻生志位武夫玉木雄一郎山本太郎もプーチンも習近平も中国共産党幹部も多国籍企業のCEOも全て
国際金融資本の手先です。すべての対立、戦争、紛争そして今のコロナ騒動は国際金融資本を頂点とした世界統一政府を作るための茶番です。
彼らはアメリカや中国を駒にして日本へ圧力をかけてきます。また日本の大企業ののCEO殆どは彼らの手先です、手先しか社長や幹部になれ
ません。グローバル化も緊縮財政も消費増税もTPPもFTAも種子法廃止も種苗法も国際金融資本の意向に従って決められてます。 そういっただけで思考停止していられる、陰謀脳のお気楽さが、
ある意味でうらやましい(笑) 幽霊はいます、だから怖いよ、見たくないよ、見えなくていいよ、
という非科学思考、知りたくない恐怖症の類ともいえる、
一種の病気なんだろう。 先日、幽霊を見たよ。
顔はマジ、浅草寺の仁王像そっくりだった。
ホントの話 ある命題論理の体系内で、命題を符号化して自然数と1対1対応させたとしよう。
そのとき、ある0以上1未満の実数xが存在して、
xの二進数展開の表現の小数点以下第k桁目は、
自然数kに対応する命題が真ならば1とし、そうでなければ0として定義される。
すると、このたった1つの実数xさえ使えば、任意の命題の真偽がたちどころに
分かるはずなのであるが、そのような実数xは数学としては存在するけれども、
具体的には構成することができないのだ。任意のk桁目が0か1かを判定する
ことのできるようなアルゴリズムは存在しない。 >>36>>78
それが正しいなら自然数の和の最大値もしくは最大値をとる n は分かってんの? >>47
順序が逆じゃ・・・しかしそれでは芸がないからオイラが
「47マシン」の製作に鶏かかるわ。 なもんより、安い電気代でビットコインのマイニングやってくれるAIとか
株売買を自動でやって月に10億円ぐらい利益あげるAIとk
新種コロナウイルスの特効薬の化学式をDNAから自動で生成するAIとか
出来ないの? >>8
恥をかく素人の典型だな
釣りなら盛大に釣られてやるわ! ラマヌジャンの才能はとても不思議。高卒でろくな教育を受けていなかったのに、
古い数学のそれほど学術レベルの高くない公式集(証明は書かれていない)だけを
学んで、後は自分で創作したとされる。数学の大学生なら知っているはずの
定理すら知らなかったとされる。それでも超一流の数学者が証明しようとして
何年もかかったり、あるいは挫折するような公式を次から次へと書き上げて
いく、しかも証明無しで。どういう仕組みであったのかを解明できれば
定理や公式の発見の一般的な新しいアプローチが作れるかもしれない。
多分、彼は記憶力が異常に高い人だったのだろう。
さらに、多くの公式を囲碁の局面のようにして記憶して
今はやりの言葉でいえばニューラルネット的な仕組みで
公式の外挿や補間を行って生成し、それを検査して正しそうか
を判定して、出来上がりとしていたのかもしれない。
もしも公式発見製造の秘密の一端が解明されたなら、
機械的に沢山の公式を元にして新たな公式を編み出したり、
機械的に沢山の計算機プログラムを元にして新たな計算機
プログラムあるいはアルゴリズムを編み出すということが
可能になるかもしれない。だが、皆目見当がまだつかない。
天才はまさに神に選ばれた者だといえる。神は不公平だ! >>76
この漫画じゃないです。しかも苦手な感じ。 ラマンジャンが誤った公式を出して来たことがあった。
それまで彼はゼータ函数が虚数の零点を持つことですら
知らなかったので、導き出したその公式にはその虚数の
零点から来る分の寄与が落ちていたのだ。 天才数学者ラマヌジャン、これは馬鹿と天才が紙一重だという証拠だ。 ■ このスレッドは過去ログ倉庫に格納されています