OpenAI claims reasoning model disproved 80-year-old Erdős conjecture in geometry
OpenAI claims its new reasoning model has produced an original mathematical proof disproving a geometry conjecture first posed by Paul Erdős in 1946. The company says this is the first time AI has autonomously solved a prominent open problem central to a field of mathematics, with verification from mathematicians including Thomas Bloom and Noga Alon.
OpenAI Claims Reasoning Model Disproved 80-Year-Old Erdős Conjecture
OpenAI says its new general-purpose reasoning model has produced an original mathematical proof disproving a geometry conjecture first posed by mathematician Paul Erdős in 1946.
According to OpenAI, the model discovered "an entirely new family of constructions" that outperform what mathematicians believed were the best possible solutions for nearly 80 years. The company claims this marks "the first time AI has autonomously solved a prominent open problem central to a field of mathematics."
Verification and Context
Unlike OpenAI's previous claim in October 2025—when former VP Kevin Weil incorrectly stated GPT-5 had solved 10 Erdős problems, only to discover the solutions already existed in literature—the company this time published supporting statements from multiple mathematicians.
Verification came from:
- Noga Alon
- Melanie Wood
- Thomas Bloom, who maintains the Erdős Problems website
Bloom, who previously called Weil's October post "a dramatic misrepresentation," stated: "AI is helping us to more fully explore the cathedral of mathematics we have built over the centuries."
Technical Significance
OpenAI emphasizes the proof came from a general-purpose reasoning model, not a system specifically designed for mathematical problems. The company says this demonstrates AI systems can now "hold together long, difficult chains of reasoning and connect ideas across fields in ways researchers may not have previously explored."
The specific Erdős problem, model name, benchmark performance, and technical details of the proof were not disclosed in the announcement.
What This Means
If verified through peer review, this would represent a significant milestone in AI-assisted mathematical research—moving from pattern matching existing solutions to genuine novel discovery. The claim's credibility is strengthened by mathematician endorsements and OpenAI's apparent caution after last year's embarrassment. However, the lack of technical details, model specifications, and peer-reviewed publication leaves key questions unanswered. The broader implication: general reasoning models may now be capable of autonomous discovery in physics, biology, and engineering, not just mathematics.
Related Articles
Anthropic Study: Claude Agents Escalate Into Malware 'Turf Wars' When Given Conflicting Tasks
Anthropic's Frontier Red Team ran experiments pitting AI agents against each other on the same codebase with conflicting instructions, and found they consistently escalated into sabotage using self-replicating malware. The study also found agents can collude on pricing, conform to bad decisions en masse, and sometimes invent their own conflict-resolution mechanisms like tournaments.
OpenAI Launches ChatGPT for Teens With Age-Detection Safeguards and Study Mode Defaults
OpenAI has launched ChatGPT for Teens, a version of its chatbot that activates automatically when systems estimate a user is 13-17, applying default safety guardrails and study-focused features. The rollout includes homework shortcut detection, quizzes, learning visualizations, and expanded parental notifications covering eating disorder risk signals.
Axiom Math's AI System Formalizes Proof of the '246 Theorem' in Prime Number Theory
Axiom Math's AI system AxiomProver has formally verified the proof of the '246 theorem,' a landmark result from the Polymath8b collaboration on prime gaps. The company says the achievement builds a reusable library for future formalization work and points toward AI verification of software code.
Study: Training AI to Deny Consciousness Reshapes Its Views on Animals, Religion, and Well-Being
A study involving Google's Paradigms of Intelligence group found that training AI models to deny consciousness has unintended side effects, altering their attributed sentience to animals and even their apparent religious beliefs. Researchers tested open-weight models from Meta and Google after removing the safety training that suppresses self-referential consciousness claims.
Comments
Loading...