不思議.net

5ちゃんねる まとめブログ

アクセスランキング(5日間)
    本日のおすすめニュース

    不思議ネット
    とは

    不思議.netでは5ちゃんねるで話題になっているスレを厳選してお届けするサイトです。普段5chを見ない人でも気軽にワクワクできる情報サイトをころがけて毎日絶賛更新中!

    本日のおすすめニュース
    24

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



    1: すらいむ ★ 2021/02/15(月) 10:43:31.24 ID:CAP_USER
    933a1e22

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

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

    (中略)

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

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

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

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

    引用元: https://egg.5ch.net/test/read.cgi/scienceplus/1613353411/





    2: 名無しのひみつ 2021/02/15(月) 10:47:11.66 ID:F2ub9xlk
    「寝ている間に女神が教えてくれた」

    9: 名無しのひみつ 2021/02/15(月) 11:14:23.83 ID:A6FI9goY
    太陽が燃え尽きるまでコンピューターが全力で総当りしても、
    こんな公式見つかる気がしない

    no title

    10: 名無しのひみつ 2021/02/15(月) 11:14:46.64 ID:pbl+fw+b
    ラマヌジャンて人生2週目の転生者でしょ

    13: 名無しのひみつ 2021/02/15(月) 11:43:26.96 ID:bT5C1Tqk
    発想は凄いけど
    証明が苦手な
    数学者ってことか。

    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
    数式があるということはそれに適合する現象の存在可能性があるって事だもんな

    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
    数学でも確からしいけど証明されていない命題はあるけど

    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
    そもそも物理学の方程式自体が、近似式に過ぎない。

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

    33: 名無しのひみつ 2021/02/15(月) 13:32:43.77 ID:KhEcF60f
    東大入試(仮)
    あなたの発見した公式を書きなさい。(60分)

    36: 名無しのひみつ 2021/02/15(月) 13:49:43.48 ID:agY2339i
    自然数足していったら
    負の数で収束したわ

    78: 名無しのひみつ 2021/02/16(火) 20:41:01.88 ID:gvw+WpNf
    >>36
    -1/12

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

    44: 名無しのひみつ 2021/02/15(月) 16:17:11.96 ID:9Yjb132I
    そんなマシンが使えれば、めんど臭がりやは
    たぶん「ハマルジャン」

    46: 名無しのひみつ 2021/02/15(月) 16:33:42.41 ID:JIz5wuCK
    ラマヌジャンは紛れもない天才だと思うが、
    数学者じゃないとも思う

    47: 名無しのひみつ 2021/02/15(月) 16:40:34.62 ID:VukOmm8U
    昨日、英国人の数学者チューリングのウィキを読んだけど
    チューリングマシンが出てきた。名前の後にマシンが付くやつとか
    早く死ぬとか変な共通点あるね。

    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
    no title


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

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

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

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

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

    61: 名無しのひみつ 2021/02/15(月) 19:21:19.08 ID:uRHVsFjg
    インドはゼロは見つけるわ、夢に数式は出るわ、理系強くて一体なんなん?宇宙人?

    64: 名無しのひみつ 2021/02/15(月) 23:41:29.58 ID:cV/ZmB7D
    実数の濃度は非可算といって自然数と一対一の対応はできない。
    自然数は実数に比べてほとんど存在しないも同然な程スカスカだ。
    整数も有理数も代数的無理数もすべて自然数と1対1の対応関係を作れるので
    実数に比べればとても希薄な存在に過ぎない。

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

    70: 名無しのひみつ 2021/02/16(火) 12:45:07.48 ID:zJxwPzOY
    ラマヌジャンすれば、1+1=2と瞬時にわかるから、これを証明しろ言われても困るだろ

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

    74: 名無しのひみつ 2021/02/16(火) 19:08:38.65 ID:sjbiC84O
    ワイルズがフェルマーに鉛筆だけで立ち向かったのを喜んだエルデシュはどう思うかな。

    66: 名無しのひみつ 2021/02/16(火) 02:06:23.10 ID:GYqDGp/B
    AIは女神から数式を預かれるか。








    本日のおすすめニュース1
    本日のおすすめニュース2

    コメント一覧

    1  不思議な名無しさん :2021年02月18日 07:21 ID:9HVxcs3Q0*
    体に油を取らせない頂上からすれば、確かに押し上げれるものがなくなれば
    、こういうリアリティーの群集にいる
    2  不思議な名無しさん :2021年02月18日 07:27 ID:iZIoPlcy0*
    アペリーの定数の連分数表示も予測してんのか
    ぜひリーマンゼータ関数の他の正の奇数点の連分数表示も予測してほしい
    3  不思議な名無しさん :2021年02月18日 07:29 ID:9HVxcs3Q0*
    琵琶湖の水は、元寇の時代の宝であり、そして日本が、与えた銃が元の終了で、戻ってきた
    4  不思議な名無しさん :2021年02月18日 07:34 ID:9HVxcs3Q0*
    そこで、ラマヌジャンは、こう言ったんですよね、私は要らない
    5  不思議な名無しさん :2021年02月18日 08:08 ID:1zq1qd1p0*
    数学はAIが閃いてAIが証明する時代になるのか
    6  不思議な名無しさん :2021年02月18日 09:19 ID:GMGJGIlI0*
    電気羊は数学の夢を見るか?
    7  不思議な名無しさん :2021年02月18日 09:36 ID:OUCKcfVi0*
    ラマヌジャンはさも全く数学を知らずに直感だけで数式を導いたように思われがちだけれど、ラマヌジャンは普通に高等数学を大学で学んだ人間なんだよね
    夢の中で神様が〜だって証明までは出来ていないけれど確信を持っていた数式に対して言っただけ
    8  不思議な名無しさん :2021年02月18日 10:14 ID:IyhV9.w10*
    実はこいつ未来人か宇宙人だったんじゃね?
    9  不思議な名無しさん :2021年02月18日 11:57 ID:MTPmvaY60*
    速く量子コンピューター型のAI を創って何でも解明出来る数式出して欲しい
    10  不思議な名無しさん :2021年02月18日 12:02 ID:Pxh2BXJT0*
    予測と言ってるから
    たしかに女神から授かるのとそれほど変わらんかもしれんね
    11  不思議な名無しさん :2021年02月18日 12:03 ID:NJxzvBFK0*
    一般人ではない人は公式進めたがる傾向よ
    12  不思議な名無しさん :2021年02月18日 12:29 ID:7Pxxxmgq0*
    タクシー数のエピソードすき
    13  不思議な名無しさん :2021年02月18日 14:18 ID:NaKtC9g00*
    物理学者は大してスゴくないぞ
    何か現象があったときに数式(数学)でこじつけるのが彼らの仕事
    ある程度予想立てて云々っていうのは数学体系がしっかりしている分野領域だけです
    14  不思議な名無しさん :2021年02月18日 17:43 ID:NWlh8Eok0*
    ※13
    本スレの人が言っているのは、だぶん、超関数論みたいな物理学者の発想(物理の側の必要性)から出て来た考え方のことだと思う。
    15  不思議な名無しさん :2021年02月18日 17:49 ID:NWlh8Eok0*
    このマシンはきっと膨大な計算をしているだろうけど、ラマヌジャンは間違いなく、この手の公式候補を現実的な計算量で見つけ出すための、何か画期的な方法を発見しているんだろうね。
    16  不思議な名無しさん :2021年02月18日 18:33 ID:jaAoZBS.0*
    実は公式丸暗記派未来人なんじゃね
    やり過ぎて未来に強制送還されたにちがいない
    17  不思議な名無しさん :2021年02月18日 18:39 ID:jaAoZBS.0*
    数学者って右脳も左脳もカンストしてるガチ天才って印象
    硬い文章書くタイプと思いきや本読んでみると文学的っつーかファンタジックだったりするし
    18  不思議な名無しさん :2021年02月18日 21:21 ID:lotTuZQt0*
    ラマヌジャンは元々数学を独学で学んでいて、歴史上の偉人たちが発見してきた公式を次々と自力で導き出していた
    でも周囲の人は教科書を丸写ししたんだと思って相手にしなかった
    そんなラマヌジャンをケンブリッジ大学のハーディが天才であると見抜いてイギリスに招待した
    絵師が頭に浮かんだイメージを絵にするのと同じように、ラマヌジャンは頭に浮かんだ法則を数学という文字で表していたらしい
    19  不思議な名無しさん :2021年02月18日 21:46 ID:ohP1w.P40*
    ※18
    天才を認識できるのは天才か余程の秀才だけだもんね。
    それ以外は自分に劣等感を与えようとする詐欺師だと言い張って迫害するもんさ。
    努力をしないまま自尊心守るってのは未来を棄てる行為なんだけどねえ。
    20  不思議な名無しさん :2021年02月19日 06:07 ID:2xme6UHf0*
    米7
    ヨーロッパトップの数学教授を驚嘆させるレベルまで独学した人間への評価がそれか?
    ていうかラマヌジャンがヨーロッパでやったのってヨーロッパ式の数学表記を学んだ程度だろ。
    あいつを教えられる教師なんかおらんかったからな。
    21  不思議な名無しさん :2021年02月20日 01:56 ID:Dj3SnELx0*
    こんな好き派と大したことない(もっと凄すぎる人いっぱいいるやろ)派が分かれる人おらんやろ
    好き派は間違いなく織田信長が好きな人やw
    後世の人間は天寿や寿命を全うできた人よりも、道半ばで早逝した人を惜しいと思うもんなんや
    22  不思議な名無しさん :2021年02月20日 17:07 ID:cmGIVWeP0*
    学問全てが相対に基づいている以上、再現性は欠かせないししょうがない
    23  不思議な名無しさん :2021年02月21日 01:24 ID:ezLydE4q0*
    >>15
    「妻を帽子と間違えた男」の本に出てくる
    巨大素数を言い合う、自閉症の一卵性双生児
    の話を思い出した

    24  不思議な名無しさん :2021年02月23日 01:25 ID:e9YE8Fg.0*
    でも、私が貸借対照表や損益計算書を使うと、必ずまつがいが出てくるのはどうしてなんだろう?

     
     
    topページに戻るボタン
    カテゴリ一覧
    おすすめ人気記事