自動ニュース作成G
AIが数学オリンピックの難問証明 ひらめき獲得 数学者「ついに」
https://news.yahoo.co.jp/articles/cb7d34659a27796f8ad65f0584a11720353ad730
2024-01-20 18:42:41
>研究チームが開発したAIの名は「アルファ幾何学」。中高生らが参加する国際数学オリンピックで出題された、2000~20年の問題を解かせたところ、30問中25問を証明。従来のAIが解けた10問を大幅に上回り、数学オリンピックで金メダルをとれるレベルに到達した。
>中高生らが苦戦した正答率の悪い難問も解くことができた上、問題で示されたものよりも普遍的な定理を見つけることもできたという。一方、生成AIのChat(チャット)GPT(GPT-4)は、一問も正解を導けなかった。
関連:生成AIに大学入試共通テストの問題を解かせる実験、5教科7科目すべてでGPT-4が圧勝
◇
・オリジナルの論文のURLが載ってるけどコピペできんな。こっちの記事https://www.technologyreview.jp/s/327299/google-deepminds-new-ai-system-can-solve-complex-geometry-problems/からURLを貼っておくhttps://www.nature.com/articles/s41586-023-06747-5
・一昔前はコンピュータを使って力まかせに数学を解くのを「エレファントな解法」といったけど、これはどう言われるのかな
・#2 一昔前のは人間が解くためのプログラムを作って、コンピューターパワーとかで解いてたとかじゃなかった?これは問題をそのまま見せてAIに解かせたのでは
・そのうち電卓やGoogle検索レベルで使いこなすのが当たり前になるのかな