AI × Mathematics 2026 - ICMS
A week-long interdisciplinary residency exploring how AI (neuro-symbolic systems, graph neural networks, transformers) can support mathematical discovery, including conjecture generation, auto-formalisation, and automated theorem proving. Open to mathematicians, physicists, and computer scientists.




