1: すらいむ ★ 2021/02/15(月) 10:43:31.24 ID:CAP_USER
天才数学者ラマヌジャンのように数式を予測して生み出してくれる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「ラマヌジャン・マシン」が誕生 [すらいむ★]
2: 名無しのひみつ 2021/02/15(月) 10:47:11.66 ID:F2ub9xlk
「寝ている間に女神が教えてくれた」
14: 名無しのひみつ 2021/02/15(月) 11:43:38.56 ID:Y4UJ72rB
>>2
夢精か、若いな
3: 名無しのひみつ 2021/02/15(月) 10:54:56.25 ID:+e5XgRfa
1729
4: 名無しのひみつ 2021/02/15(月) 10:55:57.32 ID:lnYNmwNn
数学こそ独創性の世界なんで少なくとも今のAIじゃムリ
（当り前のこと書いてすまん）
5: 名無しのひみつ 2021/02/15(月) 10:58:44.82 ID:tVhNYtXk
ラマヌジャンじゃないじゃん
6: 名無しのひみつ 2021/02/15(月) 11:01:57.01 ID:lmLJtfKm
オイラーよりすごいの？
11: 名無しのひみつ 2021/02/15(月) 11:15:05.41 ID:e3prw9SX
>>6
ペレルマンかコイツか。
ってレベルらしい。若すぎた。
>>8
志村・谷山・望月とかオレみたいなのが思いつくだけで結構な人数いるけどｗ
12: 名無しのひみつ 2021/02/15(月) 11:28:41.19 ID:+e5XgRfa
>>6
お前よりすごいに決まってるじゃん
58: 名無しのひみつ 2021/02/15(月) 18:44:39.76 ID:HZiIMuyq
>>6
オイラーとは違うタイプの天才
7: 名無しのひみつ 2021/02/15(月) 11:03:38.07 ID:iUHwYxNN
AIって言ってるけど、実は、力任せの総当たりで公式を見つけるんでしょ?
22: 名無しのひみつ 2021/02/15(月) 12:42:01.33 ID:Vd5QcNGt
>>7
力任せってのはそうやけど、総当たりというのは違うやろ。
75: 名無しのひみつ 2021/02/16(火) 20:14:14.12 ID:7LCNnc7o
8: 名無しのひみつ 2021/02/15(月) 11:11:11.10 ID:z9vPDmaf
日本人て数学者イマイチだよな
まぁフィールズ賞とかはいるけど、日本はあんま数学という学問が人気ない感じ
17: 名無しのひみつ 2021/02/15(月) 11:53:11.54 ID:ny2pJyiE
>>8
志村谷山予想がなかったら
アンドリューワイルズが
フェルマーの最終定理解けなかった
と聞いたことある
20: 名無しのひみつ 2021/02/15(月) 12:37:50.90 ID:8TkX27Y8
>>8
それは無い
日本人の数学での業績はかなりのもの
42: 名無しのひみつ 2021/02/15(月) 15:32:24.18 ID:0hPAmGdp
>>8
オレレベルだとついったの数学クラスタのツイートに迷い込んだだけで頭がクラクラしたわ
52: 名無しのひみつ 2021/02/15(月) 16:53:11.38 ID:ts8mAzRE
>>8
それはないわ
黒川先生とかすごいだろ
63: 名無しのひみつ 2021/02/15(月) 23:05:30.39 ID:MmxVY7kE
>>8
矢野健太郎ってどのくらいなんだろ
67: 名無しのひみつ 2021/02/16(火) 02:59:49.71 ID:l9c0oSa4
>>63
懐かしい名前だな
モノグラフや解法のテクニックを持ってたわ
9: 名無しのひみつ 2021/02/15(月) 11:14:23.83 ID:A6FI9goY
68: 名無しのひみつ 2021/02/16(火) 04:44:44.02 ID:XFVun9iQ
>>9
お前のスマホ見てみて
そこにあるドットでこの世の真理から、お前の人生まで映せるんだぜ
総当たりなら、いけるだろ
10: 名無しのひみつ 2021/02/15(月) 11:14:46.64 ID:pbl+fw+b
ラマヌジャンて人生2週目の転生者でしょ
13: 名無しのひみつ 2021/02/15(月) 11:43:26.96 ID:bT5C1Tqk
発想は凄いけど
証明が苦手な
数学者ってことか。
15: 名無しのひみつ 2021/02/15(月) 11:46:36.87 ID:8y8p5xCj
>>13
渡英してドクターになるまで高等教育受けてないから、そもそも証明という概念をしらなかった
35: 名無しのひみつ 2021/02/15(月) 13:38:51.29 ID:MOuEVXQS
>>15
バカ発見
16: 名無しのひみつ 2021/02/15(月) 11:47:52.74 ID:SyNNNFWN
もう脳の仕組みが違うんだろうな
でも数学の中だけ
やっぱ物理学やってる学者が作り出す数学の方が深みがあるというか 凄いよな
28: 名無しのひみつ 2021/02/15(月) 13:13:44.24 ID:HUQbrWen
>>16
そもそも数学って概念が人間の脳によるものやからな
もしかしたら他の動物の脳はもっとヒトでいうところの数学的なのかもしれんけど、確かめようが無いからな。
30: 名無しのひみつ 2021/02/15(月) 13:20:43.27 ID:uRO1KpGn
>>28
犬は相対性理論を熟知しており、いつも天体観測をしている
18: 名無しのひみつ 2021/02/15(月) 11:54:13.71 ID:wVNHkoEO
数式があるということはそれに適合する現象の存在可能性があるって事だもんな
19: 名無しのひみつ 2021/02/15(月) 12:02:39.51 ID:r2EexeVM
ラマヌジャンの人生と与謝野晶の「君死にたもうことなかれ」を一緒に紹介していたエッセイがあった。
もう一度読みたいけど、なんて本で書かれていたか記憶にない。
30年以上前の本だと思うのですが誰か知りませんか？
横書きのエッセイ集で、「近代プログラマの夕」風だったような。
23: 名無しのひみつ 2021/02/15(月) 12:44:04.48 ID:QvYwd/pw
>>19
「読書するプログラマ」かな？←
自信無し
39: 名無しのひみつ 2021/02/15(月) 14:21:44.78 ID:r2EexeVM
>>23
ありがとう。手元にある「読書するプログラマ」を見ました。
雰囲気はこんな感じですが残念ながら違いました。
しかし、「読書するプログラマ」のエッセイは最高ですよね。
21: 名無しのひみつ 2021/02/15(月) 12:41:06.01 ID:RWHZ4+Xn
ラマヌジャン、早世だったね。
もっと、訳の分からない公式をどんどん発表して欲しかったよね。
24: 名無しのひみつ 2021/02/15(月) 12:49:38.59 ID:KfK85gQl
天才が苦労するはずだわ
大多数が理解するまでの期間、否定されたり自分を査定される感覚いやだろうなぁ
40: 名無しのひみつ 2021/02/15(月) 14:32:04.11 ID:5c4ccv5g
>>24
数学に関してはそれはありえない
証明しちゃえば万人が否定しようが真実だから
48: 名無しのひみつ 2021/02/15(月) 16:41:41.70 ID:Yqq2Fskg
>>40
数学でも確からしいけど証明されていない命題はあるけど
77: 名無しのひみつ 2021/02/16(火) 20:38:11.24 ID:gvw+WpNf
>>48
リーマン仮説ですか？
50: 名無しのひみつ 2021/02/15(月) 16:47:41.57 ID:MOuEVXQS
>>40
その証明の正しさを誰が保証すんだよボケ
56: 名無しのひみつ 2021/02/15(月) 18:41:36.62 ID:4JOLjyxb
>>50
他の人がよってたかって穴が無いかチェックする
26: 名無しのひみつ 2021/02/15(月) 13:11:02.18 ID:kDRmD4qK
こうゆうのはAIて言っていいけど。
なんかビックリするほど膨大なデーターの中から最適な物選んできました！！
てのは電子計算機の得意分野でAIなんてありがたがる必要ないやん、て思う。
29: 名無しのひみつ 2021/02/15(月) 13:18:07.43 ID:Pn48UJJp
広義AIと呼ぶのは構わないと思うけど、今の時代、受け取った側は狭義のAIと
とらえてしまうので、頭の中で？？？が飛び交うわけで。
何らかのAI的な要素は使っているんだろうけど、それがどのネタなのかというか、
アルゴリズムの概要くらい書いておいて欲しいな。上手に活用すると、複雑系物理現象
に対する近似式の作り方みたいなところに発展して、ものすごい革命になるかも知れ
ないわけで。
32: 名無しのひみつ 2021/02/15(月) 13:30:30.23 ID:Pn48UJJp
そもそも物理学の方程式自体が、近似式に過ぎない。
どこかで根本原理にたどり着くのか、永遠に近似計算を続けるのかもわかっていない。
34: 名無しのひみつ 2021/02/15(月) 13:38:30.11 ID:EJLKcbms
>>1
その数式で良いのか判断できないじゃん
36: 名無しのひみつ 2021/02/15(月) 13:49:43.48 ID:agY2339i
自然数足していったら
負の数で収束したわ
41: 名無しのひみつ 2021/02/15(月) 14:33:24.17 ID:5c4ccv5g
>>36
おまえはまず就職しような
78: 名無しのひみつ 2021/02/16(火) 20:41:01.88 ID:gvw+WpNf
>>36
-1/12
本に書いてあったけどオイラーやラマヌジャンは自分で計算したらしい
37: 名無しのひみつ 2021/02/15(月) 13:53:13.42 ID:/KH84Dpd
マダムヤーン
73: 名無しのひみつ 2021/02/16(火) 17:10:19.57 ID:x5zY/kKj
>>37
ラマヌジャンは何かに似ていると２０年来もっていた疑問が解けた！
38: 名無しのひみつ 2021/02/15(月) 13:54:06.60 ID:NgpQPaM8
今大学で素数の謎をAIに解かせる研究してるんだけど
どうしてもｎが無限になるってところで止まっちゃうんだよね
どうしたらいいの？
51: 名無しのひみつ 2021/02/15(月) 16:50:48.07 ID:UjVS2vbA
>>38
原子の電子数の配列が素数になってる話
昔 TVでやってた。
トイレで数学者と核物理学者が隣同士
用足しして話している際、互いに分野を
超えてヒントを得たとのこと。
トイレは、大事な社交場だわ。
45: 名無しのひみつ 2021/02/15(月) 16:24:09.92 ID:knQtfDkI
知らんけどインドとイスラエルって敵対してるんじゃないの？
46: 名無しのひみつ 2021/02/15(月) 16:33:42.41 ID:JIz5wuCK
ラマヌジャンは紛れもない天才だと思うが、
数学者じゃないとも思う
47: 名無しのひみつ 2021/02/15(月) 16:40:34.62 ID:VukOmm8U
昨日、英国人の数学者チューリングのウィキを読んだけど
チューリングマシンが出てきた。名前の後にマシンが付くやつとか
早く死ぬとか変な共通点あるね。
49: 名無しのひみつ 2021/02/15(月) 16:43:16.83 ID:NF/Y/fgg
イラスト屋マシンとか作れよ
53: 名無しのひみつ 2021/02/15(月) 16:58:03.64 ID:RWEfTUae
マダムヤン食べたくなったな。
54: 名無しのひみつ 2021/02/15(月) 17:49:56.70 ID:ycLuTj7L
ラマヌジャンの予想で間違ってたのあるのかな？
55: 名無しのひみつ 2021/02/15(月) 18:35:42.24 ID:cV/ZmB7D
＞ラマヌジャンの予想で間違ってたのあるのかな？
たしかラマヌジャンの式で、ゼータ関数の非自明な零点の存在を
ラマヌジャンが知らなくて、その結果として導かれた式は明白な
間違いだったと思う。つまりいろいろな教養が欠けてたんだね。
57: 名無しのひみつ 2021/02/15(月) 18:43:36.90 ID:r+GlidUE
59: 名無しのひみつ 2021/02/15(月) 18:47:51.61 ID:r+GlidUE
i.imgur.com/amE4jPv.png
万物の理論 Theory of Everything
60: 名無しのひみつ 2021/02/15(月) 19:10:28.09 ID:r+GlidUE
61: 名無しのひみつ 2021/02/15(月) 19:21:19.08 ID:uRHVsFjg
インドはゼロは見つけるわ、夢に数式は出るわ、理系強くて一体なんなん？宇宙人？
62: 名無しのひみつ 2021/02/15(月) 20:45:33.91 ID:4JOLjyxb
>>61
その代わり、他のことはからっきしダメなんだよね。
天は二物を与えずって感じかね。
65: 名無しのひみつ 2021/02/16(火) 00:30:55.25 ID:BJrJQlu6
総当たりをAI言うなや
66: 名無しのひみつ 2021/02/16(火) 02:06:23.10 ID:GYqDGp/B
AIは女神から数式を預かれるか。
69: 名無しのひみつ 2021/02/16(火) 08:05:53.86 ID:HICVTxV2
テレ東でわかりやすく解説してたぞ
70: 名無しのひみつ 2021/02/16(火) 12:45:07.48 ID:zJxwPzOY
ラマヌジャンすれば、1+1=2と瞬時にわかるから、これを証明しろ言われても困るだろ
凡人がこれを証明するようなもの
74: 名無しのひみつ 2021/02/16(火) 19:08:38.65 ID:sjbiC84O
ワイルズがフェルマーに鉛筆だけで立ち向かったのを喜んだエルデシュはどう思うかな。
