Aug 11, 2026
The last sporadic group falls: Team realizes M23 as a Galois group over the rationals
Forty years after the other 25 sporadic groups were settled, an explicit degree-23 polynomial shows that M23 is a Galois group over Q.
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
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.
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.
