A New AI Math Startup Just Cracked 4 Previously Unsolved Problems

Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.
University of Dayton

Want to solve a complex problem? Applied math can help

You can probably think of a time when you’ve used math to solve an everyday problem, such as calculating a tip at a restaurant or determining the square footage of a room. But what role does math play ...
Rochester Institute of Technology

Mathematical modeling alumnus wins early career award

RIT alumnus Adam Giammarese received the Edward N. Lorenz Early Career Award for his Ph.D. research in chaos theory and ...
Forbes

Meet The Stanford Dropout Building An AI To Solve Math’s Hardest Problems—And Create Harder Ones

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...
Live Science

Mathematicians devised novel problems to challenge advanced AIs' reasoning skills — and they failed almost every test

Current AI models struggle to solve research-level math problems, with the most advanced AI systems we have today solving just 2% of the hundreds of challenges faced. When you purchase through links ...
University of Wyoming

Mathematical Modeling

The whole picture of Mathematical Modeling is systematically and thoroughly explained in this text for undergraduate and graduate students of mathematics, engineering, economics, finance, biology, ...
Gainesville

Mathematicians: Team of Buchholz High students will advance in national math competition

Five Buchholz High School students came together to participate in a mathematics competition and their team has been chosen as a top winner out of over 600 submissions. The group of local students — ...