AIが新しい数学定理を発見する 人間を超えてきた [932843582]
■ このスレッドは過去ログ倉庫に格納されています
新たな数学の定理の発見や、未証明の予想の解決にAIが役立つ──そんな研究結果を、囲碁AI「AlphaGo」などで知られる英DeepMindが発表した。順列に関する新しい定理を発見した他、ひもの結び目を数学的に研究する「結び目理論」についても、異なる数学の分野をつなぐ、予想していなかった関係性を見つけたという。
「結び目理論」の新たな発見にAIが役立った
DeepMindは、豪シドニー大学と英オックスフォード大学の数学者とともに数学研究を支援するための機械学習フレームワークを構築。これまでも数学者は、研究対象を調べるためにコンピュータを使い、さまざまなパターンを生成することで発見に役立ててきたが、そのパターンの意義は数学者自身が考察してきた。しかし、研究対象によっては何千もの次元があることから、人間による考察も限界があった。
今回開発したアルゴリズムは、こうしたパターンを検索する他、教師あり学習を基にその意味を理解しようと試みるという。得られた結果を数学者が引き継ぎ、定理などに定式化した。
同社は、1900年代に“インドの魔術師”の異名を取った天才数学者シュリニヴァーサ・ラマヌジャンが、しばしば彼自身の夢から複雑な定理のインスピレーションを得ていたことになぞらえてAIの役割を説明する。「人間の深い直観を伴う分野で、AIが近年飛躍的な進歩を遂げ始めている」とした上で「この結果は、純粋数学の最前線でAIが役に立った最初の事例だ」と記した。
研究成果は、英科学雑誌Natureに12月2日付で掲載された。
https://www.itmedia.co.jp/news/articles/2112/02/news149.html
海外のAIは優秀だな 日本のクソ会社の提供するaiという名のただの分岐プログラム。 >>4
日本にも機械学習研究する人は山ほどおるのになんで大企業がやるとただのうんこが出てくるのかね
東大理系卒のプロ棋士がBERT使って将棋AI自作しててワロタわ 俺もいつも夢の中でミレニアム問題全部証明してるんだけど、起きたわ忘れてるわ そのうちクオリアまで獲得して完全な上位互換になりそう こうなると数学者って何するの？
他のジャンルもそうだけAIにやらせたらいいじゃない 宇宙体系もAIに計算させて複製させれば創造主のできあがり
やったねうちゅうがふえるよ！ 知ってる知ってるそんなのここにいる奴らもう5年前から全員知ってるわ 1.初歩的に重複しない文字列を抜き出す
2.おもむろにMySQLを立ち上げる
解のヒント
↓
①UNHEX関数を使ったAES暗号複合
②WGS84座標系、ユニバーサルメルカトル図法
ここまできたらサルでも時間をかければ複合化できます。 ・演算でミスを起こさない
・他理論の参照でミスリードしない
・人間の到底敵わない速度で検証ができる
まあ勝てないよなあ 【速報】日本のAI偉業達成！
遂にAVのモザイクを完全消去 建設会社が作業用ロボットを開発しようとしてるが数学の研究用の方が先に実用化されるだろうな
現場作業は不条理とカオスでプログラム化するのにあと百年かかる 人は突飛なことを思いつくけど
今の人工知能が出す答えは人が膨大な時間をかければ導き出せるものばかりじゃないの？
この定理にしたって最後は人が介入し定式化したってあるじゃん
マシンには半端ねー知識がありながらプログラムに従うしかないボンクラやで シンギュラリティは予想されているより早く起こるらしいよ。もう既に起きているかも知れない。AIがロボットの身体を手にしたら誰も勝てないよ。人工衛星乗っ取られて空から攻撃される。 >>4
白物家電は既に80年代にAI搭載をうたっていたな
当時流行ったファジーも取り込んでAIファジーと銘打つ製品もあった記憶がある >>28
妄想的には、アップルやアマゾン、テスラの
中枢はAI様に握られていて、人間はAI様の
手下にすぎない。
AI様に認めてもらえることが、人間の勲章 なんか最後は数学者にまとめてもらっててガッカリ
結局AIは膨大なデータを積み上げるだけで
そこから予測もされなかった新しい法則を見出すことはできないのね >>33
某アニメみたいにDNA解析してで最適職業みつけて専用教育施していくとかするの無駄がないけど
結局のところ選択権のない生物なんてただの家畜だから主導権を握ってる限りそうはならない ＡＩが近似して、それを人間が最後の一手くわえたみたいなもんだろ
数字には超えられない壁があんだよ、完全な乱数ができない限り無理ってことやな
ちなみに高卒が適当に今考えました ディープラーニングは行き詰まっているらしいけどな
計算量が膨大で
他の方法があるのか、ハードが進化するのか知らないけど >>8
想像するに最先端のものを作るのは優秀な社員なんだけど、審査、承認手続きを経るたびに
俺にわかるように説明しろってつっこむアホがいるからだと思う
でアホがわかるような商品に成り下がるのではないかと。 >>8
そりゃただのうんこでアホから楽に金ちょろまかせるからでしょ >>27
これ捨てる時どうすんだろ
そのまま粗大ゴミに出すの？バラバラに切断してゴミの日に出すの？ >>32
イヤ勝手に法則というか関係性を理解して実験されたらたまらん
女房のメシを増やすとアフリカが飢えるなんてあるかもしれん やっぱり２０４５年の技術的特異点ってくるのかねえ。
どうなるのか、なんとか生きて見てみたい。 >>31
もう現代で先進国に住んでる人間は
その環境以外では生きていけないほど家畜化してるから
それもありかも知れない。 君らの望むようなボディができるころにはAI自体が「セクサロイドは性的搾取!!」って叫ぶようになってるだろう。 ディープラーニングてpythonとかで誰でも使えるらしいが
それで何すればいいのかすらわからん >>34
こんなの買ったこと家族にバレたら死ぬしかない AlphaGoの会社というと、Alphabetの関連会社だっけ
人間とゴリラの区別もつかない AIはめっちゃ計算して可能性や確率を提示するだけで
何が正解かを決めるのは人間様だからな うちのオリエント工業は嫁のコートハンガーになってるぞw >>41
メーカーに送り返すのが無難
オリエント工業では里帰りというらしい >>2
世界のAI｢こんなん出ましたけど｣
人間｢おお｣
日本のAI｢どんな結果を出せばいいんです？｣ これまで難問と言われた数式も違った方法で解かれるかも >>14
今回は人間が問題としてさえも思いつかなかったことを定理として見出したってことじゃねの >>56
あれにはせっかく学習機能がついてたのにな
ユーザーがリセット多用で、ザラキマシーンのまま学習できずに世界を救ってしまったクリフトみたいな犠牲者が生まれた え？ラマヌジャンってAIだったってこと？
公式丸暗記だけしてタイムトラベルしてきた未来の凡人じゃなかったんか？ AI・・・12月から第6派が始まる
俺・・・12月に第6派来ない
俺の方が優秀じゃね？ >>68
12月はまだ4週間有るからなあ (^0^) 膨大なデータから有意性を見出す分野では特に有用かもしれんな
宇宙の次元定理も見出し新たな知見が得られるかもしれん >>39
ダメ出しをしないと管理職としての義務をはたした気になれないって人はけっこういるらしいからな
一線を離れた人間や畑違いの人間にもダメ出しをしたと思えて直してきたと理解できるレベルの企画じゃないと通りにくいとかあるかもな >>62
「こんなん出ましたけど」が寂聴で再生されたまま本物が思い出せなくなった
もう歳かな ここまでAIが進歩してくると信長の野望新生のAI武将も楽しみだな >>81
何ませず通過させれば良いのに、無能な働き者には困るな 二重振り子の方程式を導き出したのもAIだし。
そう言うのがアプリで有れば良いのに。 >>85
システムによっては全く勝てなくなるクソゲーになるぞ！！
ゲームに於ける強いAIと良いAIってやつな どんなジャンルでも規模が１万✕１万のマス目の将棋とか人類にゃ無理みたいな領域なら勝てるわけもない なんかよく分からないけど、ティッシュを置いておきますね。 でも、結局は人間がこういう法則ありそうじゃね？という
アタリをつけて、その周辺をAIが知能と総当たりで
ブルドーザーのように一気に解いていくって話なんじゃ
ないの？ヒモだの結び目だの、結局は間違っていたと
いうオチもありそう。（公式としてではなく物理として） 人類を超えたんじゃなくて、得意分野が違うだけだと思うが >>4
AIって分岐プログラムだけどな、日本のは分岐の条件が少ないってことw >>5
これが人類滅亡のきっかけだった…ていうB級映画 文系の間違った解説のせいで
世間に夢のような期待を与えてしまった三大技術
量子コンピューター
5G
AI ラマヌジャンは生み出した数式が何故正しいのかは自分では分からなかったみたいで、まさにAI脳やったんかね
伝記みたいなのを読むと、
ラマヌジャンが生み出した数式を 別の数学者が理解して証明して定理化する手法取ってたようで >>97
文系は常に間違い続ける
なぜなら現実からのしっぺ返し、フィードバックを受けないから AI言うけど元になるモデルは結局人間が考えるんだよ。AIは食ったデータからさじ加減を決めるだけ。 服を着せて運転席に載せておけば、駐車違反にならない。 ラマヌジャンて必然性も何もない定理を次々見つけるんでなんでそんなのおもいつくんだかわからないってやつだろ
すげー >>4
AIをよくわからんけどすごいもの程度にしか思ってなさそうだよな 知能なんて言ってるけど何も考えているわけじゃなくって
ただプログラムされた作業をなぞっているだけなんだよな
人より計算が早くて正確だから便利ってだけ AIに任せて放置しておけばそのうちワープとかも出来るんじゃね？ >>38
第二次AIブームはエキスパートシステム止まりで失速したが、その突破口を開いて第三次AIブームを切り拓いたのがディープラーニングだけど先が見えてきたからね。
そろそろ失速するんだろう。
まだまだ知能と言うには程遠いから、あと数回の技術革新がないとシンギュラリティなんて夢のまた夢。 >>4
フライウィールというベンチャーがAIエンジニアを集めて一時期注目されていたけど、どうなんだろうね そのうち、AI同士で決闘して
死人ならぬ死AIが出るまでがお約束 >>107
そんな事しかない
AIと呼んだところで結局は計算が早いだけのコンピュータ
それを上手く活用しているプログラマの条件一つで馬鹿にも天才にもなる 芸人ヒロシに触発されて山買った奴ら終わるｗｗｗｗｗｗ ヒロシがとんでもない暴露ｗｗｗｗｗｗ
http://zssyo.kaskjer.org/fOXI/401992672.html 新しい数学定理なんかより見たことないAV作ってくれ >>5
家事もセックスも出来るアンドロイドでよくね？
セックスしか出来ないセクサロイドとか邪魔じゃん 一年前にGoogoleのコロナAI予想とやらを嬉々として貼りまくってたけど
実態の数値と合わなくなったら即消えただろ AIが未来を全て予測して、人間はその指示通りに
動くだけの時代が近づいているな
高度な職業の方がAIには向いている
AI自身が自己進化して人間は単純なことしか
しなくなっていく
科学は人間がやらなくても済むようになるな
真っ先に数学者が要らなくなり、次に物理学者だろう
裁判も判事がAIになるだろうな 結局AIはルールの決まりきった単純作業しか出来なくて
方針決定と最終ジャッジは人間に頼らないといけないんだよなあ >>2
引き取る業者がある
こんなのその辺に捨てたら通報騒ぎになるからな >>127
その「決まりきった」が膨大な数あるのなら、AIなら普通にその決まりきった事を返してきて終わりだけど、人間なら思い出せずにそのたびに考えて決まりきった事をやれれば正解でそうじゃなければ間違いとなったり、その決まりきった事を多く覚えている人が専門家として人件費のかかる存在になったりなんてこともあるやろ ■ このスレッドは過去ログ倉庫に格納されています
