Matthew Ballard is the founding Associate Director for Scientific Activities at the Institute for Computer-Aided Reasoning in Mathematics, ICARM, a new NSF- and Simons Foundation-funded national mathematics institute designed to accelerate mathematical research and empower mathematicians through all faces of AI, including formal methods, automated reasoning, and machine learning. ICARM will employ a dedicated staff of Innovation Engineers to work with researchers to develop and deploy new tools and techniques for computer-aided reasoning in mathematics. The institute operates on a three-year pilot, also hosting summer schools, workshops, small research groups, and conferences to foster interdisciplinary collaboration.