＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿

第１部　証明とコンピュータ
＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿

コンピュータに証明できること・できないこと……照井一成

カリー-ハワード同型対応……竹内 泉

Coq：型理論から来た証明支援系……Jacques Garrigue (雅利賀 惹玖)

Mizarと形式化数学ライブラリ……中正和久

数学での証明支援系の利用について……久我健一


[コラム] 定理証明支援系Lean 3を使って……萩原 学

[コラム] AIにおける自動証明について……園田 翔

＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿

第２部　人工知能は数学者になれるのか
＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿

人工知能は数学者になれるのか……円城 塔

AIは受験問題を解けるのか……穴井宏和

人工知能は意識を持てるのか……甘利俊一

論理と計算について考えた人たち……溝口佳寛

数学とAI雑感……竹内郁雄

コンピュータに証明できること・できること……照井一成


[コラム] ケプラー予想の計算機による証明と検証について
　　……溝口佳寛・田上 真

＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿

第３部　生成AIとこれからの数学
＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿

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

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

初等幾何とAI，その先にある数学の未来……吉田雄紀

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

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

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