Artificial intelligence systems may be good at generating text, recognizing images, and even solving basic math problems—but when it comes to advanced mathematical reasoning, they are hitting a wall.

Microsoft Math Solver is a free tool that uses AI to recognize both printed and handwritten math. It’s particularly strong with geometric proofs and interactive graphing, and it pulls learning ...

A team of AI researchers and mathematicians affiliated with several institutions in the U.S. and the U.K. has developed a math benchmark that allows scientists to test the ability of AI systems to ...

Artificial intelligence can write a résumé, answer medical questions, and even have philosophical conversations. But one task it’s not always so good at is solving math problems—and that poses a ...

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 ...

Clarification: This story has been updated to clarify how University of Colorado researchers handle their data collection. A student digs into a math problem that references his favorite superhero, ...

Math-M-Addicts students eagerly dive into complex math problems during class. In the building of the Speyer Legacy School in New York City, a revolutionary math program is quietly producing some of ...

Math anxiety can lead to poor performance and also deter people from taking math courses. This is because feelings of anxiety can tie up important cognitive resources (known as working memory), which ...