ai mathematics

A striking claim raced across technology and mathematics circles on July 20, 2026: OpenAI’s GPT-5.6 Sol had allegedly dispatched a long-standing Erdős problem in a single page, eclipsing a 44-page proof published by József Beck in the Annals of Mathematics in 1991. The underlying development may...

On May 20, 2026, OpenAI said an unreleased internal reasoning model had autonomously disproved Paul Erdős’s 1946 planar unit distance conjecture, producing a counterexample that outside mathematicians, including Cambridge Fields medallist Timothy Gowers, judged strong enough for top-tier...