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

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

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.

Clarification: This story has been updated to clarify how University of Colorado researchers handle their data collection. A student digs into a math problem that references his favorite superhero, ...