数学セミナー (2026年12月号) [雑誌]

●[座談会] 生成AIの急速な進展と数学の関わり方について／京都大学「ガロア祭」教員座談会◎坂上貴之＋塚本真輝＋跡部 発＋濵口雄史(いずれも京都大学)
●これからの未解決問題と数学研究◎小澤登高(京都大学)
●LEANによる数学の形式化のいま◎園田 翔(理化学研究所／株式会社サイバーエージェント)
●数学研究におけるAIの活用法◎小泉淳之介(東京大学)

[単発記事]（今回は特集に関連しています）
●不完全性定理と人工知能◎菊池 誠(神戸大学)
●カライドサイクルの存在の数学的証明◎重富尚太(九州大学)
●[座談会] 京都大学「ガロア祭」作問コンテスト◎阿部泰己＋井澤薫心＋二宮優太＋跡部 発＋濵口雄史(いずれも京都大学)