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

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.

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarrassing claim are backing it up.

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

Then it’s kind of a mystery to try to figure out why and how they’re related.” The Riemann hypothesis has proved to be a font of surprising connections all over math and beyond it, to the realm of the ...

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...

Years ago, an audacious Fields medalist outlined a sweeping program that, he claimed, could be used to resolve a major problem in algebraic geometry. Other mathematicians had their doubts. Now he says ...

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.

eSchool News is counting down the 10 most-read stories of 2025. Story #4 focuses on making math instruction more relevant to students. The real question students are asking is, “When am I ever going ...