雑誌数学セミナーの８月号が届きました。今月号の特集は『生成AIとこれからの数学』です。
https://www.nippyo.co.jp/shop/magazines/latest/4.html
多くの人の興味は、生成AIが数学の未解決問題を解けるのか？とか、数学研究を生成AIが助けてくれるのか？ あるいは生成AI が数学学習の助けになるのかなどではないでしょうか。今月号の特集ではこうした疑問に答えてくれる記事が満載されているので、 じっくり読んでみようと思います。数学の証明をコンピュータが行うという研究は昔からすすんでいたのですが、生成AIの登場でどのようになっていくのかも楽しみですね。おりしも汎用AI に関する、こんなニュースもながれてきています。
米OpenAI、汎用人工知能“AGI”開発中か コードネームは「ストロベリー」 https://t.co/2sVMMVZSJw
— ITmedia AI＋ (@itm_aiplus) July 16, 2024
純粋数学にAIが役立つかというテーマを扱う会議 『AI and Pure Mathematics Conference – June 2024』が先月マイアミ大学で開催されました。講演動画が公開されているので、上に紹介した「数学セミナー8月号」に興味を持って、さらに詳しく知りたい人にはお勧めです。再生リストはこちらです。
https://youtube.com/playlist?list=PLZut3oE4FI0xjfJWP389r1Ubs_4tU92rt&si=JigZSJybwxIrWvzf
ChatGPT４oで数学の問題が解けるかを試したという話も含まれている再生リストにある次の講演も、面白そうです。