{"slug": "ai-solves-famous-math-problem-that-stumped-humans-for-80-years", "title": "AI solves famous math problem that stumped humans for 80 years", "summary": "OpenAI's internal reasoning model autonomously disproved the planar unit distance conjecture, a mathematical problem posed by Paul Erdős in 1946 that had remained unsolved for nearly 80 years. The AI produced a new family of geometric constructions that outperform the previously assumed optimal square-grid approach, drawing on algebraic number theory and the Golod-Shafarevich theorem. Leading mathematicians, including Fields Medalist Timothy Gowers, have independently verified the proof and stated it is publishable in a top-tier journal.", "body_md": "# AI solves famous math problem that stumped humans for 80 years\n\nOpenAI's reasoning model autonomously disproved a conjecture posed by legendary mathematician Paul Erdős in 1946, and top mathematicians say the proof is publishable on its own merits.\n\nFor nearly eight decades, some of the sharpest minds in mathematics stared at a deceptively simple question about dots on a flat surface and couldn’t crack it. An AI just did.\n\nOpenAI announced that one of its internal reasoning models autonomously disproved the planar unit distance conjecture, a problem first posed by Hungarian mathematician Paul Erdős in 1946. The conjecture asked a straightforward-sounding question: what’s the maximum number of pairs of points you can place exactly one unit apart on a two-dimensional plane? Turns out the answer everyone assumed was right, wasn’t.\n\n## What the AI actually proved\n\nFor decades, mathematicians believed the optimal arrangement of points involved square-grid configurations. The AI produced a new family of geometric constructions that outperform the square-grid approach, effectively disproving the conjecture.\n\nThe proof draws on infinite class field towers and the Golod-Shafarevich theorem. Leading mathematicians have independently verified the proof. Fields Medalist Timothy Gowers described the approach as “clever” and “elegant.” Other reviewers stated the proof could be published in a top-tier mathematical journal on its own merits.\n\n## Why this is different from previous AI math achievements\n\nThe AI pulled from algebraic number theory (class field towers) to solve a problem in combinatorial geometry, a cross-disciplinary leap that most human mathematicians wouldn’t instinctively attempt.\n\nPaul Erdős posed over 1,500 problems across his career and offered cash prizes for their solutions. The planar unit distance conjecture was one of his more stubborn legacies.\n\nThe announcement was made public between May 20 and May 21, 2026.\n\n## What this means for investors\n\nOpenAI’s reasoning models are demonstrating capabilities that were considered science fiction even two years ago. Autonomously producing publishable-quality mathematical proofs, the kind that earn Fields Medalists’ praise, represents a step change in what AI systems can do with abstract reasoning and logical creativity.\n\nThe same reasoning capabilities that crack open geometry problems can be applied to cryptography, protocol design, smart contract verification, and risk modeling. If AI can navigate the abstract landscape of class field towers and the Golod-Shafarevich theorem, formal verification of complex DeFi protocols starts looking a lot more tractable.\n\n**Disclosure:** This article was edited by Editorial Team. For more information on how we create and review content, see our\n\n[Editorial Policy](https://cryptobriefing.com/editorial-policy/).", "url": "https://wpnews.pro/news/ai-solves-famous-math-problem-that-stumped-humans-for-80-years", "canonical_source": "https://cryptobriefing.com/ai-solves-erdos-math-conjecture/", "published_at": "2026-06-04 11:42:04+00:00", "updated_at": "2026-06-04 11:54:36.137138+00:00", "lang": "en", "topics": ["artificial-intelligence", "ai-research", "machine-learning", "large-language-models"], "entities": ["OpenAI", "Paul Erdős", "Timothy Gowers", "Golod-Shafarevich theorem"], "alternates": {"html": "https://wpnews.pro/news/ai-solves-famous-math-problem-that-stumped-humans-for-80-years", "markdown": "https://wpnews.pro/news/ai-solves-famous-math-problem-that-stumped-humans-for-80-years.md", "text": "https://wpnews.pro/news/ai-solves-famous-math-problem-that-stumped-humans-for-80-years.txt", "jsonld": "https://wpnews.pro/news/ai-solves-famous-math-problem-that-stumped-humans-for-80-years.jsonld"}}