New NSF Institute Will Help Mathematicians Harness AI, Advance Discoveries

Monday, August 4, 2025

With an investment from the National Science Foundation (NSF) and additional support from the Simons Foundation, the Institute for Computer-Aided Reasoning in Mathematics (ICARM) — one of just six mathematics institutes across the U.S. to receive NSF support — will help researchers modernize mathematical reasoning to strengthen real-world problem solving in domains like cybersecurity, finance, space and health care.