The Institute for Computer-Aided Reasoning in Mathematics (ICARM) is a national institute dedicated to catalyzing fundamental advances in mathematics by harnessing the ongoing revolution in AI and computer-assisted reasoning. Its mission is to empower mathematicians by providing them with the tools and expertise to effectively integrate artificial intelligence, machine learning, formal methods, and automated reasoning into their research. Mathematics is integral to scientific and technological achievement, underpinning advances across critical areas such as quantum computing, cybersecurity, data science, computational modeling, and engineering. The institute serves as a crucial resource for leveraging recent breakthroughs in artificial intelligence to accelerate progress in mathematics. ICARM emphasizes interdisciplinary collaboration among mathematicians, computer scientists, and students. The institute helps to train the next generation of researchers in computational methodologies, preparing them for a broad range of scientific careers, and actively expanding the research community in mathematics. ICARM provides specialized technical expertise to support mathematicians in adopting and utilizing advanced tools for computer-aided reasoning to power mathematical research. The institute provides direct support for automated reasoning, formal verification, machine learning, and AI, significantly enhancing mathematical research capabilities. ICARM organizes targeted events, i