DeepMind’s AlphaProof system solved four out of six problems at the 2024 International Mathematical Olympiad, generating ...

The International Mathematical Olympiad (IMO) is a prestigious competition featuring talented high school students from around the world, in which competitors solve complicated mathematical problems.

Microsoft Math Solver is a free tool that uses AI to recognize both printed and handwritten math. It’s particularly strong with geometric proofs and interactive graphing, and it pulls learning ...

Introducing new math concepts via already-worked examples can give students a significant boost in learning. But choosing the right problems makes a big difference. An analysis earlier this year 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 ...

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

Katie has a PhD in maths, specializing in the intersection of dynamical systems and number theory. She reports on topics from maths and history to society and animals. Katie has a PhD in maths, ...

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

For 23 years, I’ve taught high school math. And for 23 years, I’ve been told by people that they either are a “math person” or they are not. I get it: Math isn’t easy. Movies and TV shows make it look ...