NSF launches ICARM as a pilot institute
The National Science Foundation has established ICARM at Carnegie Mellon as one of six new mathematical sciences research institutes, part of a $74-million investment.
On August 4, 2025, the U.S. National Science Foundation announced an investment of more than $74 million in six new mathematical sciences research institutes — among them the Institute for Computer-Aided Reasoning in Mathematics (ICARM) at Carnegie Mellon University.
ICARM launches as a three-year pilot institute with a focused charge: to advance the technologies that are reshaping how mathematics is done. Its work spans interactive theorem proving and formalization, automated reasoning and symbolic AI, and machine learning for mathematics — and, just as importantly, the question of how to combine them so that mathematical rigor is preserved as these tools mature.
The institute grew out of a 2023 effort to respond to the challenges raised in the report Artificial Intelligence to Assist Mathematical Reasoning. It is led by director Jeremy Avigad and housed in the Robert Mehrabian Collaborative Innovation Center on the Carnegie Mellon campus in Pittsburgh.
ICARM is supported by NSF Grant DMS 2425401. Over the course of the pilot the institute will host workshops, summer schools, and collaborative visits — join our mailing list to follow along.