The NSF has just announced a new mathematical sciences research institute, the Institute for Computer-Aided Reasoning in Mathematics (ICARM), located on the campus of Carnegie Mellon University. Its mission is to empower mathematicians to take advantage of new technologies for mathematical reasoning, including formal methods, automated reasoning, and machine learning, and to support cross-disciplinary collaboration to develop and explore their potential. In this talk, I will explain how we plan to achieve these goals, discuss our plans for the coming year, and solicit thoughts, comments, and suggestions from the audience.