[geometry-ml:06867] 【参加登録開始のご案内】RIKEN Mathematics & AI Symposium 2026（8/18–21, 東京）

[Yasuyuki Kawahigashi]

関係各位

平素より大変お世話になっております。 このたび理化学研究所では、数理科学・形式推論（formal 
reasoning）とAIの接点をテーマとした国際シンポジウム「RIKEN Mathematics & AI Symposium 
2026 — Mathematics and AI: Tokyo Symposium on the Mathematical Sciences and 
Formal Reasoning」を、2026年8月に東京・日本橋にて開催いたします。

本シンポジウムでは、数理科学・形式推論・AI駆動型の数学的発見の第一線で活躍する研究者が一堂に会し、AIが数学研究（予想・証明・形式化・発見）をいかに変えつつあるか、また数学が現代AIの理論や信頼性にいかに本質的な基盤を与えているか、という双方向の関係を探求します。国際的な対話と新たな共同研究の創出を目的としております。

なお会期初日（8月18日）には、Johan Commelin氏（Mathlib Initiative / Utrecht 
University）によるLean・Mathlib入門、Sergei Gukov氏（Caltech）によるAI for 
mathematicsに関する終日のチュートリアル講義を設けております。これから当該分野に取り組む研究者・学生の方にも適した内容です。続く本シンポジウム（8/19–21）では、深層学習の数理、最適化、因果的科学的発見など幅広いトピックの講演とポスターセッションを予定しております。

国内外の数学・情報科学・AI分野の関連研究者の皆様に、ぜひご参加いただきたく、本日より参加登録を開始いたしますのでご案内申し上げます。

◆ 開催概要

     名称：RIKEN Mathematics & AI Symposium 2026
     会期：
         チュートリアル講義：2026年8月18日（火）終日（Lean/Mathlib 形式化入門、AI 
for mathematics）
         本シンポジウム：2026年8月19日（水）～21日（金）
     会場：理化学研究所 東京連絡事務所（日本橋一丁目三井ビルディング／COREDO日本橋 
15階） 東京都中央区日本橋1-4-1
     主催：理化学研究所 
開拓研究本部（PRI）／革新知能統合研究センター（AIP）／数理・計算・情報科学領域

◆ 登録について

     登録開始：2026年6月8日（月）正午
     登録締切：2026年7月13日（月）正午
     登録ページ：https://krs2.riken.jp/m?f=2822
     詳細・プログラム：https://pri.riken.jp/symposium/ai4math.html
  
ポスター（PDF）：https://pri.riken.jp/symposium/images/ai4math/ai4math_2026.pdf

◆ 主な講演者（一部） Miranda Cheng（University of Amsterdam / Academia Sinica）、Johan 
Commelin（Mathlib Initiative / Utrecht University）、Sergei 
Gukov（Caltech）、Shirley Ho（Flatiron Institute / NYU / Polymathic AI）、Michael 
Douglas（Harvard CMSA）、Ken Ono（Axiom Math / University of Virginia）、Ravi 
Vakil（Stanford University / AMS President）ほか、国内からも東京大学・大阪大学・京都大学・神戸大学・RIKEN 
AIP等の研究者が多数登壇予定です。

皆様のご参加を心よりお待ち申し上げております。ご関心のありそうな同僚・学生の方々へも、本案内をご転送いただけますと幸いです。

ご不明な点は下記までお問い合わせください。 お問い合わせ先：pri-director-office [at] 
ml.riken.jp

Scientific Advisory Committee

     Tetsuo Hatsuda（Chair, RIKEN / iTHEMS）
     Kenichi Bannai（Keio University / RIKEN AIP）
     Yasuyuki Kawahigashi（The University of Tokyo / RIKEN iTHEMS）
     Motoko Kotani（RIKEN PRI / iTHEMS）
     Hirosi Ooguri（Caltech / The University of Tokyo / RIKEN PRI）
     Masashi Sugiyama（RIKEN AIP / The University of Tokyo）