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

AI solved a math problem that stumped experts for 80 years, revealing deeper lessons about human cognition, focus, and ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...

OpenAI claims one of its newest AI reasoning models has solved a maths problem that has remained unsolved since 1946. The ...

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...

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

OpenAI's AI model solved the famous unit distance problem, a question that had challenged mathematicians since 1946 ...

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

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

Three mathematicians have laid out proof that solves a long-standing problem in mathematics. Even the mathematician—an Abel ...