Carnegie Mellon University

"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," said Theresa Mayer, vice president for research at CMU.

"The NSF Mathematical Sciences Research Institutes will continue to empower U.S. mathematical scientists to punch into promising new areas of exploration," said NSF Assistant Director for Mathematical and Physical Sciences David B. Berkowitz.

For more than 40 years, NSF has funded Mathematical Sciences Research Institutes to serve as catalysts for U.S. research in mathematics and statistics and to produce mathematical innovations to rapidly address new and emerging challenges and opportunities.

“The institute will focus on the mathematical components of these tasks and use the technologies to support mathematical reasoning and computation in all its applications,” said Jeremy Avigad, director of ICARM and professor in the Dept. of Mathematical Sciences and the Dept. of Philosophy at CMU.

ICARM is one of just six mathematics institutes across the U.S. to receive NSF support and will help researchers working in domains such as cybersecurity, finance, space and health care.

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) will help researchers modernize mathematical reasoning to strengthen real-world problem solving.

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

As sports betting sweeps campuses, two Pa. professors will teach students gambling safety Two Pennsylvania professors are launching a course on sports betting after noticing an explosion of gambling among college students.

Read more about the course:

A new course offered at Carnegie Mellon will analyze one of the nation's hottest hobbies: sports betting.

Statistician Ron Yurko and neuroscience professor Linda Moya will co-teach the seminar, examining the science behind the odds and addictive decision-making.

#SportsBetting | #stats

Using Generative AI in the Battle Against Invasive Plants Researchers at Carnegie Mellon University, together with scientists at a conservation ranch in Montana, developed a method that trains machine learning models to detect invasive species more effective...

One pesky, invasive weed can wreak havoc on natural ecosystems. Invasive plants threaten the health of crops and livestock.

CMU researchers worked with scientists at a conservation ranch in Montana to develop a method that trains machine learning models to better detect invasive species.

YouTube video by LeCAR Lab at CMU ASAP: Aligning Simulation and Real-World Physics for Learning Agile Humanoid Whole-Body Skills

Robots with moves like Ronaldo, LeBron and Kobe 🦿

The signature moves of pro athletes inspired groundbreaking research from @cmurobotics.bsky.social and NVIDIA to push the boundaries of how humanoid #robots move.

Read more: cmu.is/Humanoid-Robots

PURRcision: Pulse oximeters for Frankie’s Friends Engineering students get real experience solving problems for local companies and non-profits in the course Foundation of BME Design.

Carnegie Mellon students in a biomedical engineering course got real-world experience designing pulse oximeters for cats at the local nonprofit Frankie's Friends.

The students explored time and cost-efficient monitoring device alternatives by 3D-printing prototypes.

@cmuengineering.bsky.social

ETC’s Physical Presence Pet Redefines VR Companionship A project developed by a team of ETC students began with a simple idea: making a VR pet that could substitute for the real ones they’d left behind to come to Carnegie Mellon University.

In the Entertainment Technology Center, what started as an idea of creating a #VR pet evolved into an unprecedented experiment in virtual companionship.

A team of students created the Physical Presence Pet, a tactile virtual reality pet.

@cmuetc.bsky.social

An image of triangles and Pythagoras that says “7/24/25 is a Pythagorean Theorem Day.”

Happy Pythagorean Theorem Day! 7² + 24² = 25²

S2 Episode 8: The Science of Sound - Part 1 Listen to the Where What If Becomes What's Next Podcast Season 2 Episode 8.

In a noisy world, our ears absorb acoustic damage daily.

The latest episode of "Where What If Becomes What's Next" explores the science of sound and the importance of auditory health.

🎧 Listen now:

Energy and Innovation Summit Brings Government and Industry Leadership to CMU Pennsylvania’s national competitiveness as a hub for AI and energy technology brought the nation’s top decision-makers to Carnegie Mellon University July 15 for the inaugural Energy and Innovation Sum...

Pennsylvania’s national competitiveness as a hub for AI and energy technology brought the nation’s top decision-makers to Carnegie Mellon University Tuesday for the inaugural Energy and Innovation Summit. The gathering was convened by U.S. Sen. David McCormick and attended by President Donald Trump.

Targeted policies to create “AI Fast Lanes” will ensure that the development of new AI and data center infrastructure does not increase costs for consumers, impact the environment, and exacerbate existing energy burdens.

Read more from Costa Samaras (@costasamaras.com): cmu.is/energy-innov...

A CMU start-up uses insights from chip design to revolutionize the U.S. electric grid.

Read more: cmu.is/energy-innov...

The U.S. has the opportunity to stay a step ahead of its adversaries, employing AI and automation to help prevent and protect our critical infrastructure from attack. Researchers at Carnegie Mellon University’s CyLab are at the forefront of this work.

Read more: cmu.is/energy-innov...

A Carnegie Mellon Institute for Strategy & Technology (CMIST) report shows how the U.S. can seize the opportunity of AI-driven energy expansion to provide both abundant power and the increased resilience our national security demands.

Read more: cmu.is/energy-innov...

Researchers at Carnegie Mellon University are using advances in AI to unlock the promise of unlimited, clean energy from fusion.

Read more: cmu.is/energy-innov...

As we move AI technology forward, it is incumbent upon us all to ensure the positive impacts of AI are worth the substantial energy cost. Owning to work at CMU and elsewhere, we are well-positioned to meet this challenge.

Read more from Zico Kolter (@zicokolter.bsky.social): cmu.is/energy-innov...

Today, Carnegie Mellon released a series of faculty-authored position statements aimed at informing the national dialogue on energy and innovation.

Learn more about this work here: cmu.is/energy-innov...

#Picklesburgh is kind of a big dill around here, so we relish the chance to demonstrate some pickle science! 🥒🧪

@cmuscience.bsky.social chemistry professor Subha Das explains the chemistry behind pickles in a shocking experiment!

#Chemistry

Harry Krejsa on upgrading our energy infrastructure for #AI | @cmist-cmu.bsky.social

Burcu Akinci on empowering engineers to build better systems | @cmu-cee.bsky.social

Shixiang Zhu on why storm-ready grids need smarter, integrated planning | @cmuheinzcollege.bsky.social

Valerie Karplus on turbocharging clean energy innovation |
@cmuenergy.bsky.social, @cmu-epp.bsky.social

At Carnegie Mellon, our experts are driving bold solutions to power a smarter, more resilient future — where innovation sparks real-world impact. ⚡️

Read what they have to say about this pivotal moment: cmu.is/Energy-Experts | #Energy