AIで数学の新たな定理発見 英DeepMindと数学者がNatureに共同論文
新たな数学の定理の発見や、未証明の予想の解決にAIが役立つ──そんな研究結果を、囲碁AI「AlphaGo」などで知られる英DeepMindが発表した。
新たな数学の定理の発見や、未証明の予想の解決にAIが役立つ──そんな研究結果を、囲碁AI「AlphaGo」などで知られる英DeepMindが発表した。順列に関する新しい定理を発見した他、ひもの結び目を数学的に研究する「結び目理論」についても、異なる数学の分野をつなぐ、予想していなかった関係性を見つけたという。
DeepMindは、豪シドニー大学と英オックスフォード大学の数学者とともに数学研究を支援するための機械学習フレームワークを構築。これまでも数学者は、研究対象を調べるためにコンピュータを使い、さまざまなパターンを生成することで発見に役立ててきたが、そのパターンの意義は数学者自身が考察してきた。しかし、研究対象によっては何千もの次元があることから、人間による考察も限界があった。
今回開発したアルゴリズムは、こうしたパターンを検索する他、教師あり学習を基にその意味を理解しようと試みるという。得られた結果を数学者が引き継ぎ、定理などに定式化した。
同社は、1900年代に“インドの魔術師”の異名を取った天才数学者シュリニヴァーサ・ラマヌジャンが、しばしば彼自身の夢から複雑な定理のインスピレーションを得ていたことになぞらえてAIの役割を説明する。「人間の深い直観を伴う分野で、AIが近年飛躍的な進歩を遂げ始めている」とした上で「この結果は、純粋数学の最前線でAIが役に立った最初の事例だ」と記した。
研究成果は、英科学雑誌Natureに12月2日付で掲載された。
関連記事
- 「6年解けなかった構造があっさり」──タンパク質の“形”を予測する「AlphaFold2」の衝撃 GitHubで公開、誰でも利用可能に
米Alphabet傘下の英DeepMindが、遺伝子配列情報からタンパク質の立体構造を解析するAI「AlphaFold2」をGitHub上で無償公開し、ネット上で注目を集めている。 - Google親会社のAlphabet、AI創薬の新会社設立 DeepMind創業者がCEOに
米Googleの親会社であるAlphabetは、AIを使った創薬事業を手掛ける新会社「Isomorphic Labs」を設立すると発表。CEOは、タンパク質の立体構造解析AI「AlphaFold」などを開発した英DeepMindの創業者のデミス・ハサビス代表が兼務する。 - Googleの「コロナ感染者予測」は信頼に足るのか 専門家がメカニズムを解説
コロナ禍で米Googleの新型コロナに関する予測サービス「COVID-19感染予測(日本版)」が注目を集めている。Googleの予測とどう向き合うべきなのか。専門家に聞いた。 - DeepMind、ルールを教えなくても「パックマン」などでハイスコアを出せるAIシステム「MuZero」
Alphabet傘下のDeepMindが、ゲームのルールを教えなくても囲碁や将棋、Atariの「パックマン」などで強さを見せる新しいAIシステム「MuZero」を発表した。新たな動画圧縮技術の開発他、複雑な問題解決に応用していくとしている。
関連リンク
Copyright © ITmedia, Inc. All Rights Reserved.