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.
Chair: Hirosi Ooguri
| Time | Speaker | Teaching Assistant | Teaching Assistant | Title |
|---|---|---|---|---|
13:00-14:00 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&II | ||
| 15:10-15:30 | Coffee Break | |||
15:30-16:30 16:40-17:40 |
 Johan Commelin Mathlib Initiative / Utrecht University |
 Asei Inoue Proxima Technology |
 Naoya Umezaki ZEN University |
Lean and Mathlib tutorial |
IMPORTANT NOTE:
Participants who plan to use their own computers during the tutorial must complete all of the following setup and verification steps before arriving at the venue:
The Mathlib cache is several gigabytes in size and may take some time to download. Additional steps may also be required depending on your computer’s security settings. Therefore, if you wait until immediately before the tutorial to begin the installation at the venue, you may not be able to complete it before the tutorial starts. Please do not stop after merely installing Lean. Make sure to complete all four steps above and verify that Lean is working correctly in advance.
If you still encounter difficulties, please consult a TA during the break between the tutorials by Professors Gukov and Commelin. Once Professor Commelin’s tutorial has begun, individual installation assistance will not be available, as it would interfere with the progress of the tutorial.
Please bring the computer on which you have completed the setup.
| Time | Chair / Speaker | Affiliation | Title | |
|---|---|---|---|---|
| Chair: Motoko Kotani |
RIKEN PRI / iTHEMS | ||
| 9:30-9:45 |
|
President, RIKEN | Opening remarks | |
| 9:45-10:10 |
|
Speaker: Hal Finkel |
Advanced Scientific Computing Research (ASCR), DOE | The Genesis Mission, AI4Math, and the Acceleration of Research and Development |
| 10:10-10:30 | Coffee Break | |||
| Chair: Michio Yoshiwaki |
Tohoku University | |||
| 10:30-11:30 |  |
Speaker: |
Stanford University | How AI might accelerate mathematics discovery: a realist's guide |
| 11:30-12:10 |  |
Speaker: |
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 | |||
Chair: Masahito Yamazaki |
The University of Tokyo | |||
| 13:30-14:30 |  |
Speaker: 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 |  |
Speaker: |
Osaka University / RIKEN AIP | AI4Mathematicians: What do we want? |
| 15:10-15:40 | Coffee Break | |||
Chair: Eren Mehmet Kiral |
RIKEN AIP | |||
| 15:40-16:20 |  |
Speaker: |
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 |  |
Speaker: |
The University of Tokyo / RIKEN AIP | AI for collective decision making |
| Time | Chair / Speaker | Affiliation | Title | |
|---|---|---|---|---|
 |
Chair: Yasuyuki Kawahigashi |
The University of Tokyo / RIKEN iTHEMS | ||
| 9:30-10:30 |  |
Speaker: |
University of Amsterdam / Academia Sinica Institute of Mathematics / Simons Collaboration on Physics of Learning and Neural Computation | Physics and Mathematics in the Age of AI |
| 10:30-11:10 |  |
Speaker: |
University of Rome Tor Vergata | Formalising advanced mathematical definitions in Lean mathlib |
| 11:10-11:30 | Coffee Break | |||
| Panel Session |  |
Moderator: Hirosi Ooguri |
California Institute of Technology / The University of Tokyo / RIKEN PRI | |
| 11:30-12:15 |  |
Panelist: Johan Commelin, Ken Ono, Shirley Ho, Masaaki Imaizumi |
||
| 12:30-14:00 | Poster Session + Lunch | |||
Chair: Hirokazu Anai |
Kyushu University / Josai University | |||
| 14:00-15:00 |  |
Speaker: |
Flatiron Institute / New York University / Polymathic AI | Building a foundation model for critical domains |
| 15:00-15:40 |  |
Speaker: |
The University of Tokyo / RIKEN AIP | Exploring Compositional Meaning in Natural Language |
| 15:40-16:10 | Coffee Break | |||
Chair: Taketo Sano |
RIKEN iTHEMS | |||
| 16:10-17:10 | |
Speaker: |
Mathlib Initiative / Utrecht University | Building the Mathematical Commons |
| Time | Chair / Speaker | Affiliation | Title | |
|---|---|---|---|---|
|
Chair: Yasuyuki Kawahigashi |
The University of Tokyo / RIKEN iTHEMS | ||
| 9:30-10:30 |  |
Axiom Math / University of Virginia | Mathematics in the Age of AI: Discovery, Formalization, and the Future of Proof | |
| 10:30-11:10 |  |
Kyoto University / Shiga University / RIKEN TRIP | AI Math Referee: Verification, Autoformalization, and Beyond | |
| 11:10-11:30 | Coffee Break | |||
Chair: Lingxiao Wang |
RIKEN iTHEMS | |||
| 11:30-12:10 |  |
Speaker: |
Kyushu University / RIKEN AIP | Learning Geometric Structures in Physics |
| 12:10-13:30 | Poster Session + Lunch | |||
| Chair: Masashi Sugiyama |
RIKEN AIP / The University of Tokyo | ||
| 13:30-14:30 | |
Speaker: |
California Institute of Technology / Merkin Center for Pure and Applied Mathematics | AI tools for long-horizon, sparse-reward tasks |
| 14:30-15:10 |  |
Speaker: |
The University of Tokyo / RIKEN AIP | Mathematical Optimization in the Age of AI |
| 15:10-15:40 | Coffee Break | |||
| Chair: Tetsuo Hatsuda |
RIKEN iTHEMS | ||
| 15:40-16:20 |  |
Speaker: |
The University of Osaka / Shiga University / RIKEN AIP | Toward Causal Scientific Discovery with AI |
| 16:20-16:30 | |
Speaker: Motoko Kotani |
RIKEN PRI / iTHEMS | Closing remarks |
August 19 - 21 @Lunch Time
| Number | Presenter | Affiliation | Title |
|---|---|---|---|
| 1 | Suyog Garg | The University of Tokyo | Physics-Informed Encoder-Decoder Style Neural Networks for Modelling Time-Domain Gravitational Wave Signals |
| 2 | Yuki Goto | Keio University / RIKEN AIP | Data-Driven Structural Analysis of Integrable Hamiltonian Systems via Resonance Lattices |
| 3 | Anamaria Hell | Kavli IPMU, The University of Tokyo | LLMs for Algorithmic Theoretical Physics: Application to Degrees of Freedom and Beyond |
| 4 | Kotaro Kawasumi | The University of Tokyo | Computing Skeletal Data of Superfusion Categories with AI and Lean |
| 5 | Eren Mehmet Kiral | RIKEN AIP | Learning Parameter Distributions with Lie Groups |
| 6 | Julius Lohmann | Institute of Science Tokyo | Sparse BV Curves in the Wasserstein-1 Space |
| 7 | Risa Nii | Kyushu University | From Group Determinants to New Research Directions |
| 8 | Taketo Sano | RIKEN iTHEMS | Computations of Khovanov Homology |
| 10 | Andong Wang | RIKEN AIP | Robust Tensor Representation Learning |
| 11 | Takeru Yokota | Osaka Institute of Technology | Physics-Informed Neural Networks for Solving Functional Differential Equations |
Venue
RIKEN Tokyo Campus
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, Institute of Mathematics for Industry, Division of Advanced Mathematics Technology, Kyushu 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
