Artificial intelligence has attained an impressive series of feats—solving problems from the International Math Olympiad, ...

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

Experts gave AI 10 math problems to solve in a week. OpenAI, researchers and amateurs all gave it their best shot ...

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

A marriage of formal methods and LLMs seeks to harness the strengths of both.

UC Berkeley math professor Nikhil Srivastava met with researchers on a mission to create a new way of assessing the mathematical capabilities of AI.

Mathematics, like many other scientific endeavors, is increasingly using artificial intelligence. Of course, math is the ...

Aletheia, a mathematical artificial intelligence (AI) agent from Google DeepMind developed and verified with the ...

On Friday, research organization Epoch AI released FrontierMath, a new mathematics benchmark that has been turning heads in the AI world because it contains hundreds of expert-level problems that ...

Katie has a PhD in maths, specializing in the intersection of dynamical systems and number theory. She reports on topics from maths and history to society and animals. Katie has a PhD in maths, ...

As a mathematics education researcher, I study how math instruction impacts students' learning, from following standard math procedures to understanding mathematical concepts. Focusing on the latter, ...

Record numbers of U.S. students severely struggle with math, but only a fraction of them receive screening and support targeting potential math disabilities. While math teachers in a nationally ...