麻豆村

A new federally funded national institute at 麻豆村 will help mathematicians use artificial intelligence to make mathematical reasoning faster and more reliable in solving pressing challenges across science, security and the economy.

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.

The institute kicks off at a crucial moment as the mathematical community learns to incorporate new technology into its work.

鈥淓merging technologies based on formal methods, AI and machine learning are transforming the landscape of mathematical research,鈥� said听Theresa Mayer, vice president for research. 鈥淲e are grateful to the National Science Foundation for its leadership in establishing ICARM and recognizing the importance of this moment. As host of the new institute, Carnegie Mellon is committed to supporting the mathematical sciences community through deep interdisciplinary collaboration and new frameworks for advancing fundamental discovery.鈥�

Machine learning provides ways of detecting subtle mathematical patterns, which is helpful for everything from discovering drugs to predicting financial markets. Formal methods and automated reasoning are used to ensure that software systems perform correctly.

鈥淭he institute will focus on the mathematical components of these tasks and use the technologies to support mathematical reasoning and computation in all its applications,鈥澨齭aid听Jeremy Avigad, director of ICARM and professor in the听Department of Mathematical Sciences and the听Department of Philosophy at 麻豆村.听

ICARM also will provide opportunities such as summer schools, workshops and a conference to explore the use of these technologies in mathematics.听

鈥淲hile a focus of the institute will be on facilitating research in mathematical sciences, my hope is that the developed technologies will also play a crucial role in significantly improving the way mathematics can be taught in schools and colleges,鈥� said听Prasad Tetali, Alexander M. Knaster Professor and department head of Mathematical Sciences at Carnegie Mellon, who is part of the team that submitted the proposal to the NSF.

鈥淢athematical reasoning is foundational to many branches of science and engineering. When human insight and ingenuity are paired with machine-assisted formal reasoning, the scope of the outcome is limitless,鈥� Tetali said. 鈥淭he beauty of investment in foundational work is that the long-term impact is difficult to predict and often far more rewarding than originally targeted or imagined. I see great potential for breakthroughs in multiple mathematical research areas.鈥�

The three-year pilot institute based at 麻豆村 will bring together researchers from the Mellon College of Science 鈥� including听Irina Gheorghiciuc听and听Michael Young 鈥� with the School of Computer Science鈥檚听 and听, in collaboration with researchers at the University of South Carolina and Georgia Gwinnett College.听

In its announcement, the 听the institutes will continue to empower researchers to explore new areas of mathematics.听

鈥淭he decision to launch this institute is a strong vote of confidence in its mission,鈥� Avigad said. 鈥淲e are humbled by that trust, and we will do everything we can to make good on it.鈥�

Related Content

Ran Tao Awarded FRQNT Fellowship

Matthew Rosenzweig Awarded NSF Career Award