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

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.

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

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

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

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

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

Although the CBSE Class 10 Math syllabus is uniform, all chapters do not contribute equally to the final score. Over the ...