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

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

Four Cambridge math students in the 1930s wanted to know if you could fill a square with smaller squares, each a different ...

DeepMind claims that for the first time, an AI has solved a famously difficult math problem with a solution that eluded human mathematicians — which could be huge if it holds up to scrutiny. DeepMind ...

LLMs have recently helped find solutions to a number of minor longstanding problems. But a new plan called First Proof is really putting them to the test ...

Staring at a page of derivatives or integrals can feel like trying to read a foreign language. Your professor moves fast, the ...

Recent advances in large language models (LLMs) have made artificial intelligence more adaptable than ever before, but that comes with a drawback: lies. Generative AI tends to make things up, but ...

This story originally appeared in the February 2025 issue of Texas Monthly as part of our public-education feature, “What Our Schools Actually Need.” Humans have been learning math for thousands of ...

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

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