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.
ICARM's public Zulip has become a working forum for mathematicians and AI researchers evaluating FirstProof claims, from Aletheia's results to Cursor, Archon, and other follow-on efforts.
ICARM and Principia Labs convened mathematicians and AI researchers in San Francisco to define meaningful milestones for autonomous mathematics research.
ICARM director Jeremy Avigad is quoted in Quanta Magazine's survey of AI's arrival in mathematical research.