The math world is losing its mind over the new solution to an Erdős problem. This is what AI found, how we missed it—and why ...

AI solved a math problem that stumped experts for 80 years, revealing deeper lessons about human cognition, focus, and ...

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...

Mathematician Kevin Buzzard of Imperial College London is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem. Resolving the problem isn’t the point.

A general-purpose reasoning model, not a math-trained system, produced a new family of point configurations that broke Paul ...

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

Math-M-Addicts students eagerly dive into complex math problems during class. In the building of the Speyer Legacy School in New York City, a revolutionary math program is quietly producing some of ...