A game of chess requires its players to think several moves ahead, a skill that computer programs have mastered over the years. Back in 1996, an IBM supercomputer famously beat the then world chess ...

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

Amateur mathematicians are using artificial intelligence chatbots to solve long-standing problems, in a move that has taken professionals by surprise. While the problems in question aren’t the most ...

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 Rutgers University-New Brunswick professor who has devoted his career to resolving the mysteries of higher mathematics has solved two separate, fundamental problems that have perplexed ...

John von Neumann came about as close as humanly possible to embodying the Platonic ideal of a genius. Conversant in ancient Greek by age 6, the Hungarian made significant mathematical advances in his ...

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