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

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

Google DeepMind's AlphaProof Nexus solved 9 open Erdős problems and proved 44 OEIS conjectures using AI-driven formal ...

Only a few months ago, the question felt mostly philosophical: if artificial intelligence can help solve open math problems, ...

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

From writing essays to coding, there’s seemingly nothing modern AI chatbots like ChatGPT and Microsoft Copilot cannot accomplish. But even though they seem limitless on the surface, they’re certainly ...

With AI’s ability to solve complex math problems in a matter of seconds, it may feel to teachers like the technology is rapidly changing—or will soon—how math is taught. When free and widely available ...

While learning high-level mathematics is no easy feat, teaching math concepts can often be just as tricky. That may be why many teachers are turning to ChatGPT for help. According to a recent Forbes ...

An experimental LLM from OpenAI solved some of the world's hardest math problems at the 2025 International Math Olympiad, the company said.