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

The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to ...

OpenAI's AI helped overturn a longstanding math conjecture by finding a counterexample, highlighting a powerful new way to ...

OpenAI said one of its internal models had made a breakthrough with a challenge first posed by Hungarian mathematician Paul ...

A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in math’s top journal if humans had done it alone ...

Google DeepMind said AlphaProof Nexus solved nine open Erdős problems using Lean-verified proofs. The claim has sharpened debate over hallucinations in AI maths and what counts as real progress ...

The dual agent AI system autonomously solved Anderson's conjecture from 2014 Rethlas explores problem-solving strategies like a human mathematician would Archon transforms potential proofs into ...

OpenAI has said that one of its unreleased AI reasoning models has solved a long-standing mathematics problem first proposed by Paul Erdos in 1946.

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

Do you stare at a math word problem and feel completely stuck? You're not alone. These problems mix reading comprehension with complex math concepts, making them a common hurdle for students. The good ...

The National Council of Teachers of Mathematics makes the argument that teachers, principals, and district leaders must “stay up to date on current AI trends” to prepare students for the future. But ...

A new study found that AI assistance improved performance in the moment but reduced problem-solving ability once the tool was ...