AIで数学の新たな定理発見 英DeepMindと数学者がNatureに共同論文

新たな数学の定理の発見や、未証明の予想の解決にAIが役立つ──そんな研究結果を、囲碁AI「AlphaGo」などで知られる英DeepMindが発表した。順列に関する新しい定理を発見した他、ひもの結び目を数学的に研究する「結び目理論」についても、異なる数学の分野をつなぐ、予想していなかった関係性を見つけたという。 DeepMindは、豪シドニー大学と英オックスフォード大学の数学者とともに数学研究を支援するための機械学習フレームワークを構築。これまでも数学者は、研究対象を調べるためにコンピュータを使い、さまざまなパターンを生成することで発見に役立ててきたが、そのパターンの意義は数学者自身が考察してきた。しかし、研究対象によっては何千もの次元があることから、人間による考察も限界があった。 今回開発したアルゴリズムは、こうしたパターンを検索する他、教師あり学習を基にその意味を理解しようと試みるという

[ryouchi]

論文見てきたけど「機械学習を使用して推測を直接生成するのではなく、専門家の数学者の高度に調整された直感を導き、興味深く深い結果を生み出す手助けに焦点を当てています」って書いてあったな。いい使い方だね。

[zu2]

“今回開発したアルゴリズムは、こうしたパターンを検索する他、教師あり学習を基にその意味を理解しようと試みるという。得られた結果を数学者が引き継ぎ、定理などに定式化した”

[nmcli]

見つけさせ方次第で色々見つかるのかぁ

[tanakh]

どっちかっていうと定理の自動証明のほうに機械学習使えませんかね？(´･_･`)

[m_yanagisawa]

これはすごい。しかし記事中にその定理がどんなものか書かれていないので素人の人間には容易に理解できないようなものなんだろうね。

[kazu111]

人間って「文字や数式」でまとめられるデータは書物で整理できるけど、それく以外ってダメだよね。目をつぶる→「視界にあった膨大なデータ」は言語や数式で整理できず。画像音運動などの直感情報ってAIで新たなルー

[shunkeen]

双曲結び目の不変量？と表現論のカジュダン–ルスティック多項式？に何か関係性を見つけたの？？？数学の知識がないから、詳しい人の解説を読みたい

[Itisango]

“新たな数学の定理の発見や、未証明の予想の解決にAIが役立つ─そんな研究結果を、囲碁AI「AlphaGo」などで知られる英DeepMindが発表した。順列に関する新しい定理を発見した他、ひもの結び目を数学的に研究する”

[hamamuratakuo]

topos → 同社は、1900年代に“インドの魔術師”の異名を取った天才数学者シュリニヴァーサ・ラマヌジャンが、しばしば彼自身の夢から複雑な定理のインスピレーションを得ていたことになぞらえてAIの役割を説明する。

[hiromi_ayase]

もう研究職なんていうブラックな仕事はAIにやらせましょう！！

[goodstoriez]

“ひもの結び目を数学的に研究する「結び目理論」についても、異なる数学の分野をつなぐ、予想していなかった関係性を見つけたという。”

[Seiji-Amasawa]

“「人間の深い直観を伴う分野で、AIが近年飛躍的な進歩を遂げ始めている」とした上で「この結果は、純粋数学の最前線でAIが役に立った最初の事例だ」と記した。”

[hatest]

研究の相棒（AIぼう）ってことだね

[zgmf-x20a]

てっきりarxivだと思ったらNatureでしたか。w

[misshiki]

“こうしたパターンを検索する他、教師あり学習を基にその意味を理解しようと試みるという。得られた結果を数学者が引き継ぎ、定理などに定式化”

[pwatermark]

数学的なものの考え方、を深層学習したってことかね 哲学的とか文学的とか、いろんなバリエーションが作れそうで興味深いね

[midnight-railgun]

「定理発見」というのが「新たな予想の生成」なのか、「(既存の)予想の証明」なのか、はたまた両方を同時にやってしまうということなのか

[ROYGB]

四色問題の時はコンピューターを使った力ずくの証明に批判もあったみたいだけど、活用が広がってきたということかな。

[mohno]

「順列に関する新しい定理を発見した他、ひもの結び目を数学的に研究する「結び目理論」についても、異なる数学の分野をつなぐ、予想していなかった関係性を見つけた」←人が理解できる簡潔な関係性ってことなのかな

[takehikom]

エレファントな証明も今は昔

[yoko-hirom]

数学研究のAIアシスト。マン-マシンハイブリッド知性体，機械と脳を融合させた知的サイボーグへ。目や手をインタフェースとして非侵襲結合した外部記憶装置書籍やノートから。

[takeishi]

うーん、判らん／そもそもどんな定理だったか記事にほとんど書いて無いしな

[y-mat2006]

ペロ２が論文の共同執筆者になるようなものでしょうか？

[kkobayashi]

よく分からんがすごいな

[yarukimedesu]

なるへそ。