Takekida's log

千里の道も一歩から

AIで見つける数学定理

2021-12-03 00:24:08 | What`s new ?
Advancing mathematics by guiding human intuition with AI - Nature
A framework through which machine learning can guide mathematicians in discovering new conjectures and theorems is presented and shown to yield mathematical insight on important open problems in different areas of pure mathematics.

Advancing mathematics by guiding human intuition with AI - Nature
Advancing mathematics by guiding human intuition with AI - Nature
Advancing mathematics by guiding human intuition with AI
Nature volume 600, pages70–74 (2021)
ついにここまで来たかといった感じですがAIで数学定理（事例は結び目理論）を見つけ出すことに成功したとのDeepMindの論文です。機械学習ではデータの中で規則性や相関などあるルールを見つけることは得意なのですがその意味合いとか定理化というのはあくまで人間の役割でした。今回はそのパターンの中に意味付けを実施するところまで実施されたとのこと。最後の引継ぎは人間とのことですがかなり人間に迫ったことを示す一例かと思います。

ランキングに参加中。クリックして応援お願いします！

Comment    この記事についてブログを書く
 
 
 
 
  • Twitterでシェアする
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする
« 筋肉の進化形?　分子人工筋肉 | ＴＯＰ | ケトン体とともに起こす脳内... »
最新の画像［もっと見る］

post a comment

Recent Entries | What`s new ?

Calendar

Apr,2024
Su Mo Tu We Th Fr Sa
1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30

Back Numbers

Categories

Profile

プロフィール画像

自己紹介
仕事は半導体デバイス開発。
趣味としているEnduranceスポーツと　日常の出来事を綴ります。

あしあと

Bookmarks

Takekida on line
作者のHP
マイクロ・ナノデバイス
半導体デバイス・プロセス技術の解説
東北大学学友会トライアスロン部
トライアスロン部HP
チャーリーの旅
キルトの世界
まいにちいくじ
果てなき海に漕ぎいでて
大学、大学院時代の恩師である南部先生のBlog
yukinoue@cool
精鋭の広告マン
世界に一つだけの花が咲く場所Ⅱ
トライアスロン同期、未来君
トライアスロン部　Blog
とんとらのBlog　大会結果など
ikumu's note
ikumuさんのBlog、博士時代は同期でした
My Life Between Silicon Valley and Japan
梅田望夫さんのBlog
茂木健一郎　クオリア日記
koichiro516の日記
中村孝一郎さんのBlog
うどんげの花
きっかけはトライアスロン。　最近はXCスキー、山ランなどに一緒に行ってます。先生です。
Foot Prints!
トライアスロン部創始者のBlog
紅天女Ⅱ
同期で唯一共に仙台にいます、行動力の凄さに刺激されています。
THE SUN ALSO RISES
いとこのBlog
Mackyの世界の愛は君がために
Mackyの日常が覗けます。ヒマッキーと言われていますが…
前田良孝 Triathlon Weblog
熱血トライアスリート　ギン前田さんのページ
iron-monkey.net
もと慶応のトライアスリート、自転車をTradeしてます。
araitatsuya.net
もと慶応のトライアスリート、現在留学中
みっくすじゅーす
以前、所属していたマスターズ仲間です。
NOBU　NOW
以前、所属していたマスターズ仲間です。
☆ゆいの空模様☆
以前、所属していたマスターズ仲間です。
なんくる
マスターズで知り合いましたが実は共通の知り合い多し。いつも応援してもらってます。
92のスローライフ
マスターズのコーチです。鍛えてもらってます。
goo
Blogの提供
  • RSS2.0