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

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.

Mathematics, like many other scientific endeavors, is increasingly using artificial intelligence. Of course, math is 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 ...

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

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

Watch out, nerdy high schoolers, AlphaGeometry is coming for your mathematical lunch. Credit...Christian Gralingen Supported by By Siobhan Roberts Reported from Stanford, Calif. For four years, the ...

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