Log in to Zulip

AI and Mathematics is a community-driven platform for researchers and practitioners working at the intersection of mathematics and machine learning. Our aim is to bring together the growing community exploring how AI techniques—especially machine learning—can be applied to mathematical problems. We focus on discussion, collaboration, and organization around workshops, research questions, and shared resources.
Note: Our primary interest is in applying AI to mathematics, rather than in formalisation or symbolic reasoning.