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.
Date and time
- Aug.19 (Wed) starting at 13:30 (JST)
- Aug.20 (Thurs) starting at 09:30 (JST)
- Aug.21 (Fri)) starting at 09:30 (JST)
Venue
Invited Speakers (confirmed)
- Miranda Cheng（University of Amsterdam / Academia Sinica）
- Johan Commelin（Mathlib Initiative / Utrecht University）
- Sergei Gukov（Caltech / Merkin Center）
- Shirley Ho（Flatiron Institute / NYU）
- Ken Ono（Axiom Math / University of Virginia）
- Ravi Vakil（Stanford University / AMS）
- Michael Douglas（Harvard CMSA）
Conference information
Registration
Registration for this event is currently open.