New NSF-Funded Institute at Carnegie Mellon to Advance AI-Driven Mathematical Discovery

The U.S. National Science Foundation, with additional support from the Simons Foundation, has launched the Institute for Computer-Aided Reasoning in Mathematics (ICARM) at Carnegie Mellon University, a bold initiative to modernize mathematical reasoning using AI, formal methods, and machine learning.

As one of only six NSF-supported mathematics institutes nationwide, ICARM will empower mathematicians to tackle urgent real-world problems in areas such as cybersecurity, finance, space, and health care. The three-year pilot will foster innovation by bringing together faculty from CMU’s Mellon College of Science and School of Computer Science, in partnership with researchers at the University of South Carolina and Georgia Gwinnett College.

Key goals of ICARM include:

  • Accelerating and enhancing mathematical reasoning through AI and automated proof systems.

  • Supporting interdisciplinary collaboration and fundamental discovery across science and engineering.

  • Offering summer schools, workshops, and conferences to broaden the impact and accessibility of AI-enabled mathematics.

  • Exploring how AI-driven tools can enhance mathematics education in schools and universities.

By supporting AI-integrated reasoning, ICARM is set to transform how mathematical knowledge is developed, verified, and applied, ultimately fueling scientific progress across disciplines.

Read the full story here.

Submitted by Jason Gigax on
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.