Mathematics and AI: Tokyo Symposium on the Mathematical Sciences and Formal Reasoning
This international symposium brings together leading researchers in the mathematical sciences, formal reasoning, and AI-driven discovery to explore the evolving relationship between mathematics and AI. The meeting will examine how AI is reshaping mathematical research, from conjecture and proof to formalization and discovery, while mathematics continues to provide fundamental ideas for the theory and reliability of modern AI. Held in Tokyo, the symposium aims to foster international dialogue and new collaborations at the interface of mathematics and AI.
| Time | Speaker | Affiliation | Title | |
|---|---|---|---|---|
| 13:00-14:00 |  |
Johan Commelin | Mathlib Initiative / Utrecht University | A pragmatic introduction to Lean and Mathlib I |
| 14:10-15:10 |  |
Sergei Gukov | California Institute of Technology / Merkin Center for Pure and Applied Mathematics | AI for mathematics and long-horizon & sparse-reward tasks I |
| 15:10-15:30 | Coffee Break | |||
| 15:30-16:30 | |
Johan Commelin | Mathlib Initiative / Utrecht University | A pragmatic introduction to Lean and Mathlib II |
| 16:40-17:40 | |
Sergei Gukov | California Institute of Technology / Merkin Center for Pure and Applied Mathematics | AI for mathematics and long-horizon & sparse-reward tasks II |
| Time | Speaker | Affiliation | Title | |
|---|---|---|---|---|
| 9:30-9:45 |
|
Makoto Gonokami | President, RIKEN | Opening remarks |
| 9:45-10:10 |
|
Hal Finkel | Advanced Scientific Computing Research (ASCR), DOE | TBA |
| 10:10-10:30 | Coffee Break | |||
| 10:30-11:30 |  |
Ravi Vakil | Stanford University | TBA |
| 11:30-12:10 |  |
Taiji Suzuki | The University of Tokyo / RIKEN AIP | Theory and methodology of diffusion models with science applications: Continuous and Discrete variables |
| 12:10-13:30 | Poster Session + Lunch | |||
| 13:30-14:30 |  |
Michael Douglas | Harvard University CMSA / Simons Collaboration on Physics of Learning and Neural Computation / AletheAI, Inc. | AI-assisted math and theoretical physics |
| 14:30-15:10 |  |
Shin-ichi Ohta | Osaka University / RIKEN AIP | AI4Mathematicians: What do we want? |
| 15:10-15:40 | Coffee Break | |||
| 15:40-16:20 |  |
Masaaki Imaizumi | The University of Tokyo / RIKEN AIP | Mathematical Description on Principles of Deep Learning and AI: Precise Analysis of Dynamics via High-Dimensionality |
| 16:20-17:00 |  |
Ayumi Igarashi | The University of Tokyo / RIKEN AIP | AI for collective decision making |
| Time | Speaker | Affiliation | Title | |
|---|---|---|---|---|
| 9:30-10:30 |  |
Miranda Cheng | University of Amsterdam / Academia Sinica Institute of Mathematics / Simons Collaboration on Physics of Learning and Neural Computation | TBA |
| 10:30-11:00 | Coffee Break | |||
| 11:00-11:40 |  |
Yoh Tanimoto | University of Rome Tor Vergata | Formalising advanced mathematical definitions in Lean mathlib |
| 11:40-13:20 | Poster Session + Lunch | |||
| 13:30-14:30 |  |
Shirley Ho | Flatiron Institute / New York University / Polymathic AI | TBA |
| 14:30-15:10 |  |
Takaharu Yaguchi | Kobe University / RIKEN AIP | Learning Geometric Structures in Physics |
| 15:10-15:40 | Coffee Break | |||
| 15:40-16:40 | |
Johan Commelin | Mathlib Initiative / Utrecht University | TBA |
| 16:40-17:20 |  |
Hitomi Yanaka | The University of Tokyo / RIKEN AIP | Exploring Compositional Meaning in Natural Language |
| Time | Speaker | Affiliation | Title | |
|---|---|---|---|---|
| 9:30-10:30 |  |
Ken Ono | Axiom Math / University of Virginia | Mathematics in the Age of AI: Discovery, Formalization, and the Future of Proof |
| 10:30-11:00 | Coffee Break | |||
| 11:00-11:40 |  |
Akiyoshi Sannai | Kyoto University / Shiga University / RIKEN TRIP | AI Math Referee: Verification, Autoformalization, and Beyond |
| 11:40-13:20 | Poster session + Lunch | |||
| 13:30-14:30 | |
Sergei Gukov | California Institute of Technology / Merkin Center for Pure and Applied Mathematics | AI tools for long-horizon, sparse-reward tasks |
| 14:30-15:10 |  |
Akiko Takeda | The University of Tokyo / RIKEN AIP | Mathematical Optimization in the Age of AI |
| 15:10-15:40 | Coffee Break | |||
| 15:40-16:20 |  |
Shohei Shimizu | Osaka University / Shiga University / RIKEN AIP | Toward Causal Scientific Discovery with AI |
| 16:20-16:30 |  |
Motoko Kotani | Director, RIKEN Pioneering Research Institute (PRI) | Closing remarks |
Venue
RIKEN Tokyo Liaison Office
Nihonbashi 1-chome Mitsui Building (COREDO Nihonbashi),
15th floor,
1-4-1 Nihonbashi, Chuo-ku, Tokyo 103-0027, Japan
Access map:
https://www.riken.jp/en/access/tokyo-map/index.html
Opening Remarks
Speakers
Miranda Cheng
University of Amsterdam Faculty of Science, Institute of Physics (ITF) / Academia Sinica Institute of Mathematics / Simons Collaboration on the physics of learning and neural computation
Johan Commelin
Director, Mathlib Initiative / Utrecht University Mathematical Institute
Michael R. Douglas
Senior Research Scientist, Center of Mathematical Sciences and Applications (CMSA), Harvard University / Simons Collaboration on Physics of Learning and Neural Computation / AletheAI, Inc.
Hal Finkel
Director (Acting), Computational Science Research and Partnerships (CSRP) Division, Office of Science, U.S. Department of Energy
Sergei Gukov
John D. MacArthur Professor of Theoretical Physics and Mathematics, California Institute of Technology / Director, Merkin Center for Pure and Applied Mathematics
Shirley Ho
Group Leader, Cosmology X Data Science, CCA, Simons Foundation / Professor, Department of Physics and Center for Data Science, NYU / Principal Investigator, Polymathic AI
Ken Ono
Mathematician, Axiom Math / Marvin Rosenblum Professor of Mathematics, University of Virginia
Ravi Vakil
Robert Grimmett Professor of Mathematics, Stanford University / President, American Mathematical Society (AMS)
Ayumi Igarashi
Associate Professor, Department of Mathematical Informatics, Graduate School of Information Science and Technology, the University of Tokyo / Team Director, RIKEN Center for Advanced Intelligence Project (AIP)
Masaaki Imaizumi
Associate Professor, Komaba Institute for Science, the University of Tokyo / Team Director, RIKEN Center for Advanced Intelligence Project (AIP)
Shin-ichi Ohta
Professor, Department of Mathematics, Osaka University / Visiting Researcher, RIKEN Center for Advanced Intelligence Project (AIP)
Akiyoshi Sannai
Program-Specific Associate Professor, Department of physics, Kyoto University / Shiga University / RIKEN TRIP
Shohei Shimizu
Professor, SANKEN, The University of Osaka / Professor (Distinguished Professor) and Team Leader, Advanced Causal Inference Research Group, DSAI Center, Shiga University / Team Director, RIKEN Center for Advanced Intelligence Project (AIP)
Taiji Suzuki
Professor, Department of Mathematical Informatics, Graduate School of Information Science and Technology, the University of Tokyo / Team Director, RIKEN Center for Advanced Intelligence Project (AIP)
Akiko Takeda
Professor, Department of Mathematical Informatics, Graduate School of Information Science and Technology, the University of Tokyo / Team Director, RIKEN Center for Advanced Intelligence Project (AIP)
Yoh Tanimoto
Professor (full), Department of Mathematics, Università di Roma “Tor Vergata”
Takaharu Yaguchi
Professor, Department of Mathematics, Graduate School of Science, Kobe University / Team Director, RIKEN Center for Advanced Intelligence Project (AIP)
Hitomi Yanaka
Associate Professor, Department of Mathematical Informatics, Graduate School of Information Science and Technology, the University of Tokyo / Team Director, RIKEN Center for Advanced Intelligence Project (AIP)
Scientific Advisory Committee
Tetsuo Hatsuda (Chair)
Executive Director of Science, RIKEN / Team Director, RIKEN Center for Interdisciplinary Theoretical and Mathematical Sciences (iTHEMS)
Kenichi Bannai
Professor, Faculty of Science and Technology Department of Mathematics, Keio University / Team Director, RIKEN Center for Advanced Intelligence Project (AIP)
Yasuyuki Kawahigashi
Professor, Graduate School of Mathematical Sciences, The University of Tokyo / Visiting Senior Scientist, Institute for the Physics and Mathematics of the Universe (IPMU), The University of Tokyo / Deputy Director, RIKEN Center for Interdisciplinary Theoretical and Mathematical Sciences (iTHEMS)
Motoko Kotani
Executive Director of Science, RIKEN / Director, RIKEN Pioneering Research Institute (PRI) / Team Director, RIKEN Center for Interdisciplinary Theoretical and Mathematical Sciences (iTHEMS)
Hirosi Ooguri
Kent and Joyce Kresa Leadership Chair, Fred Kavli Professor of Theoretical Physics and Mathematics, Division of Physics, Mathematics and Astronomy, California Institute of Technology / University Professor, University of Tokyo / Senior Visiting Scientist, RIKEN Pioneering Research Institute (PRI)
Masashi Sugiyama
Director, RIKEN Center for Advanced Intelligence Project (AIP) / Professor, Graduate School of Frontier Sciences, The University of Tokyo
Host
This international symposium is jointly hosted by RIKEN Pioneering Research Institute (PRI), RIKEN Center for Advanced Intelligence Project (AIP), and RIKEN Mathematical, Computational and Information Science Domain
