AI × Mathematics 2026 is a week-long interdisciplinary residency for students and researchers interested in how artificial intelligence can support genuine mathematical discovery. The programme introduces the emerging AI pipeline for mathematics—conjecture generation, auto-formalisation, and automated theorem proving—showing how modern neuro-symbolic systems blend deep learning with formal reasoning to propose, refine, and prove nontrivial mathematical results.
Participants will learn how graph neural networks, transformers, and proof-search engines interact within current reasoning systems, gaining hands-on understanding of the tools now shaping research in number theory, arithmetic and algebraic geometry, and related fields. The workshop also explores the physical and geometric principles underlying learning itself: energy-based models, optimal-transport flows, and equivariant architectures inspired by ideas from physics. These perspectives reveal how insights from physics and geometry can guide the design of interpretable and generalisable AI systems tailored for mathematical discovery.
Open to mathematicians, physicists, and computer scientists, the residency offers a unique opportunity to acquire new technical skills, exchange ideas across disciplines, and help shape the future of AI-driven mathematics.
Participation
Details to be announced in due course.
