OpenAI makes big splash with AI finding math problem breakthrough. Real lesson is to use AI to find counterexamples. An AI ...

Axiom Math says its AxiomProver AI system has solved four long-standing math problems and achieved peer-reviewed publication, ...

The algorithms that drive artificial intelligence are rooted in sophisticated mathematical concepts. So, then, it might make sense that the marriage between AI and math instruction in K-12 schools ...

Both the dreams of young people and the reality of jobs have changed dramatically over the last 30 years, moving math success from optional to a necessity. But the way we educate children hasn’t ...

In September 2019, news broke regarding progress on this 82-year-old question, thanks to prolific mathematician Terence Tao. And while the story of Tao’s breakthrough is promising, the problem isn’t ...

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