数学セミナー2024年8月号 生成AIとこれからの数学 を買ってきた。シュレーディンガー方程式をニューラルネットワークで計算するのがもう標準的になっているって知らなかった。証明支援系LeanとGPTが融合したり、Transformerの数理があったりと勉強になる。CPT定理も。

久しぶりに数学セミナー買ってきた。生成AIとこれからの数学、というタイトルにひかれて。

https://amzn.to/3zOCjpa

内容は以下の通り

＊[対談] 数学者・物理学者の見た生成 AI……坂上貴之＋橋本幸士　6

　橋本さんがシュレディンガー方程式や固有値問題はもうニューラルネットワークを使って解くのが標準的という話をしていて驚く。

　そういう方法があるのは知っていたけどもうそこまで普及しているのか。

＊生成AIは数学の夢を見るか？……宮﨑弘安　16

　証明支援系Leanがすごいという話はよく聞いていたが、それとGPTを融合させる話があるのか。それは面白そう。

＊脳と生成AIを巡って……合原一幸　22

　脳とAIは基本構成要素の複雑さが断然違うのを近づける話は面白かった。ホジキン=ハクスレイ方程式は私も計算したことある。　

＊数学教育と生成AI……竹内英人　28

　AIに教えてもらうのではなくて、AIが生徒になって教える、というのは面白い。

＊生成AIの数理……鈴木大慈　34

　Transformerの数理の一端がわかって興味深かった。Attensionの代替手段も多く提案されているのは知らなかった。

あと、

場の量子論の数学をめぐって／場の量子論の二つの基本定理……立川裕二　44　

のCPT定理は学生時代に最初に学んだときに驚いたので懐かしかった。

今回、物理へのニューラルネットワークの応用が進んでいるのを知ったのでもっと調べてみよう。