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 modern Red Riding Hood on her way to Grandma’s house can meander through the woods, or drive down the interstate, or even climb a mountain to come around the back way. All those routes will get her ...

Can you predict whether a passenger would have survived the sinking of the Titanic based on factors like gender and income? How do you know if a mushroom is poisonous or safe to eat? What separates a ...

One of my first vivid memories of math is of timed tests. I still remember how visceral my panic felt–sweaty palms, heart pounding–as I scrambled to recall facts before the clock ran out. You might ...

Axiom Math is giving away a powerful new AI tool. But it remains to be seen if it speeds up research as much as the company hopes. Axiom Math, a startup based in Palo Alto, California, has released a ...

A few months before the 2025 International Mathematical Olympiad (IMO) in July, a three-person team at OpenAI made a long bet that they could use the competition’s brutally tough problems to train an ...

The tipping point came in the summer of 2025. That July, several artificial intelligence models solved five out of six problems at the International Mathematical Olympiad, an annual challenge for some ...

April 16, 2026 - EdSource Editor-at-Large John Fensterwald explains how this election could reshape California schools. Math is the sum of its parts, and it adds on itself. What does that mean? It ...

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

In DeKalb County, Ala., elementary school math classes have gotten noisy. In a good way. Instead of worksheets and textbooks, children practice adding and subtracting with tiny toy bears. They ...