え～と...何のことを記事にしているのか、僕の頭ではわかりません...(笑)前の大学は理工系の学部・学科でしたが、別に数学を専門的に扱うわけではないので...それにあれから時が何年も経過しているのでｗ

❤️一言。
素晴らしい事ですね❗️

やるなぁAI

機械学習と純粋数学って最も相性が悪い学問だと思ってるんだけど、どう活用したんだろう

メモです

すごいAI

これはすごい…!

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

＜これまでも数学者は…コンピュータを使い、さまざまなパターンを生成することで発見に役立ててきたが、そのパターンの意義は数学者自身が考察してきた。

…今回開発したアルゴリズムは、こうしたパターンを検索する他、教師あり学習を基にその意味を理解しようと試みる＞

最終的にコンピュータにしか理解できない数学の発見が出てくるのだろうか?

今回は全く違うジャンルの論文の山から、意外に部分関連してる論文ペアを見つける感じかな。
（別ジャンル論文群での部分類似検索は学者でも大変そうだし有益と）

谷山-志村予想的に、このピースが埋まれば完成みたいなピース候補を見つけられる？

新たな定理まで見つかるんかーい

DeepMind社
「この結果は、純粋数学の最前線でAIが役に立った最初の事例だ」

AIが新たな研究の可能性を切り開く時代、素晴らしい。
創薬研究にもどんどん活かしていってほしいですねぇ。

グレッグ・イーガンの『ディアスポラ』ではサーバーの中で情報化された人類は宇宙の真理を追い求めた後は、数学の海で遊び続ける

すごいな

数学もAIを援用して研究する時代か

人間が頭使って定理を発見するってのはやっぱり限界があるからアリかもね

『AIで数学の新たな定理発見 英DeepM...』の記事にコメントしました

人間だけでは思考しきれない高次元の探索をまずAIたちに任せて、人間の数学者たちがそれを引き継ぐって構図がすごく良い
数学に限らず、今後いろんな領域で広がっていく協働のかたちだと思う

人間が「直感」という表現でしか処理できなかった問題がＡＩの介入によって具体的なプロセスが言語化され始めたということかもしれない。

論理の部分ではなく、むしろ直感の部分を機械たるAIが担うってのは面白いな。AIの描く絵が、リアルと言うよりシュールで悪夢的なのと、なにか関係しているのだろうか？

卒論が結び目理論、今の仕事が統計・ＡＩの僕にとって、なんか悔しい🤔

すでに起こった現実【AI×専門】😆👍３〜５年以内に「AI×…=

ラマヌジャン的発想とのこと。Natureに添載はすごい

こういうの見て興奮できるワイはまだまだ若いのかもしれない🤗

これまで人間が考察してきたパターンの意義をAIに考察させて、得られた結果を数学者が引き継いで定式化したってことらしいけど、これ、ラマヌジャンが直感的に発見した定理や数式に、ほかの数学者が証明を与えたのに似てる。

私の予言が…

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

なんか凄そうですね。
➡➡➡

--
▶ブログ【IFTTTの先へ】（目次）

日本と違い海外のAIは優秀だな

AIが新しい数学定理を発見する 人間を超えてきた

㊗️㊗️㊗️👁👁

あかん。素敵

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

AIが数学の新たな定理を発見して人間が予想できなかった関係性を見出した、とAI企業が発表

修論テーマの選定でコンピュータを使いたいと教員に言ったら色良い返事を得られなかったのを思うと隔世の感ある。

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

数学者、肩身狭くなってる？

記事前半を見てラマヌジャンじゃないか、と思ったら記事後半に書いてあった。

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

[タレ] 順列に関する新しい定理を発見した他、ひもの結び目を数学的に研究する「結び目理論」についても、異なる数学の分野をつなぐ、予想していなかった関係性を見つけたという。

知見ですね。

遂に数学まで…｜

とうとうそういう時代か

“ひもの結び目を数学的に研究する「結び目理論」”

いい・・・

はぇースッゴイ…

アルゴリズムが正しい命題を出力する事の証明が無いと、数学的にダメだと思うんだが、はたして、そこはどうなのか

記事読んでいて、「ラマヌジャンとそれを周りが証明した話みたいだなぁ」と思ったら、最後にそのまんま書いてあって笑った。

昨日から話題のラマヌジャンってこれのこと？

これはすごい事なのでは？人間の数学者を超える存在になるのか、良きツール良き協力者になるのか。
気になる話題だな

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

レッドボックス！！！

もうここまで来てるんだ…。

しゅんご

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

数学者側のリーダーLackenby氏は結び目の双曲幾何の大家。ざっとみた印象では、AIで定理を証明したのではなく、結び目不変量同士の関係性をAIで見出し、抜群の証明力を持つ数学者がそれを証明した形。

序盤をAIで研究し、抜群の終盤力で勝ちを掴む藤井聡太さんのような印象。

人間は、2つの事象からインスピレーションを得ることもありますが、固定概念が邪魔をして、2つの事象を結び付けることが出来ないことがある。

AIは固定概念がないので、思わぬ相関関係を導き出すこともあるが、インスピレーションはない。

当然の結果です。

未来の数学研究に人工知能はどう関わっていくのかなーと考えていたらこんな記事を発見。
なんとAIは、ラマヌジャンのインスピレーションの元であるナマギーリ女神（インドの神さま）の役割を果たしてくれるらしい。
原著論文へのリンクは図の下にあります。

これはすごいなぁ。
AIから人間が何かを学ぶというだけでもすごいのに、基礎研究の領域でもそれを行えたという点がすごい。
／

なぜカバンの中でイヤホンが秒で絡まるかも解明してくれ

ついに真理をAIで解き明かすような時代に突入したか|

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

AIがリーマン予想を証明しちまったらやばくないですかね？

古くは4色問題でコンピュータを使った証明で話題となったが、それは
「ひとつの予想」→「証明」

これからは
「たくさんの定理」→「（いくつもの）予想の発見」→「証明」
がコンピュータで成されるということか。

ほう＞

その内ただのPCの事もAI言い出しそう

さまざまなパターンを生成することで...パターンの意義...人間による考察も限界があった。

将棋の藤井四冠の話に出てくる「ソフトの指した手の意味を考える」って手法か。

気になる日本のITニュース📺

ほらやっぱり純粋数学にも役に立てるじゃないですか

しゅごい

インドの魔術師 。。

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

何かよくわからないけどw、AIに定理を発見させるってすごい気がします。いずれ数学者を超えるということ？

DeepMindか！

機械にはなく人間にあるように言われていた直感が計算機的な枝刈りでしかなくて、人間は論理的思考を受け持った方が良いということなら面白いな :

【AIで数学の新定理発見!?】
2015年DeepMindが開発したコンピュータ囲碁プログラムAlphaGoが人間のプロ棋士を破り、全世界に衝撃を与え、AIブームのきっかけとなりました。それから6年、機械学習が数学の新定理の発見に役に立つという研究結果がDeepMindから発表されました。

誰でもラマヌジャン！

AIがNEJMやLancetに論文を出すのはもうすぐだ。

人間らしい発想をAIで無数に行い、当たりを人間が判定するって感じなのかな。

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

人工知性

オールドスクールなSＦとかだと「人工知能は理論思考が強くても直感的な発想はできない」と描写されがちだけど、状況が限定されているとはいえ、こういう直感的な仕事をAIがしてるのは面白いな

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

ITmedia：

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

なるへそ。

なんだって🤔

AlphaGo作ったチームか。

📍
【出所： / 厳選】

【気になるニュース】

すご 👉

純粋数学の最前線でAIが役に立った最初の事例

ほえー

どんな定理なんやろニャ…

純粋数学の最前線でAIが役に立った最初の事例とのこと。

順列に関する新しい定理を発見した他、ひもの結び目を数学的に研究する「結び目理論」についても、異なる数学の分野をつなぐ、予想していなかった関係性を見つけたと発表。
今後もっと賢くなるであろうAI、これからに期待。

地球環境やその他の分野で予想だにしなかった解決方法見つかるといいな！

「ホモデウス」時代の到来だなぁ。