Jul 24, 2026
ICARM endorses the Leiden Declaration
We endorse the Leiden Declaration as an important first step in helping the mathematics community grapple with the use of AI.
Institute for Computer-Aided Reasoning in Mathematics
ICARM supports the use of new technologies for computer-aided reasoning and discovery in mathematics. The institute is hosted by Carnegie Mellon University on its campus in Pittsburgh.
- Formal methods and proof assistants
- Automated reasoning and symbolic AI
- Machine learning and neural AI
Robert Mehrabian Collaborative Innovation Center · CMU
News
Apr 24, 2026
Milestones workshop frames AI progress in mathematics
ICARM and Principia Labs convened mathematicians and AI researchers in San Francisco to define meaningful milestones for autonomous mathematics research.
Apr 15, 2026
ICARM mentioned in Quanta
ICARM director Jeremy Avigad is quoted in Quanta Magazine's survey of AI's arrival in mathematical research.