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

Solving one of the oldest algebra problems isn't a bad claim to fame, and it's a claim Norman Wildberger can now make: The mathematician has solved what are known as higher-degree polynomial equations ...

The use of the letter x as a mathematical unknown is a relatively modern convention. Algebra has been around for a lot longer. Daryl Benson/Stockbyte via Getty Images You might be most familiar with x ...

Today's artificial intelligence (AI) systems possess many skills but typically fall short when it comes to tackling complex math problems. That's why Google is excited that two of its DeepMind AI ...

AlphaProof and AlphaGeometry 2 are steps toward building systems that can reason, which could unlock exciting new capabilities. AI models can easily generate essays and other types of text. However, ...

On Thursday, Google DeepMind announced that AI systems called AlphaProof and AlphaGeometry 2 reportedly solved four out of six problems from this year’s International Mathematical Olympiad (IMO), ...

A high school student is tutored in algebra. Tutors and teachers report that more students struggled in the course this academic year. Credit: Sarah L. Voisin/The Washington Post via Getty Images The ...

In the third century BCE, Apollonius of Perga asked how many circles one could draw that would touch three given circles at exactly one point each. It would take 1,800 years to prove the answer: eight ...

Mathematics has always been one of the most challenging subjects for students of all ages. From simple arithmetic to complex ...