OpenAI claims it solved an 80-year-old math problem — for real this time

2026-05-20 · Source: AI News & Artificial Intelligence | TechCrunch · Field: Technology & Digital — Artificial Intelligence & Machine Learning, Mathematics & Computational Sciences · Depth: Intermediate, quick

Summary

OpenAI announced that its new general-purpose reasoning model has produced an original mathematical proof, disproving an 80-year-old conjecture in geometry first posed by Paul Erdős in 1946. This claim follows a previous, retracted assertion seven months ago that GPT-5 solved 10 previously unsolved Erdős problems, which were later found to be existing solutions. This time, OpenAI published companion remarks from mathematicians like Noga Alon, Melanie Wood, and Thomas Bloom, who support the disproof. The model challenged the long-held belief that optimal solutions resembled square grids, instead discovering a new family of constructions that performs better. OpenAI states this marks the first time AI has autonomously solved a prominent open problem in mathematics, indicating enhanced AI capabilities for complex reasoning and cross-field idea connection, with implications for biology, physics, engineering, and medicine.

Key takeaway

For research scientists or AI developers evaluating advanced reasoning capabilities, this development suggests AI models can now tackle genuinely unsolved, complex mathematical problems. You should consider integrating general-purpose AI reasoning models into your research workflows to explore novel solutions or connections across disciplines like biology, physics, and engineering. However, always ensure rigorous human validation for AI-generated proofs or discoveries.

Key insights

OpenAI's new model disproved an 80-year-old math conjecture, demonstrating advanced autonomous reasoning in AI.

Principles

• AI can autonomously solve prominent open math problems.
• General-purpose reasoning models show cross-field potential.
• Independent validation is crucial for AI breakthrough claims.

In practice

• Explore AI for complex reasoning in scientific fields.
• Validate AI-generated proofs with human experts.
• Apply general AI models to specific unsolved problems.

Topics

• AI Reasoning
• Mathematical Proof
• Discrete Geometry
• Erdős Conjecture
• General-Purpose AI
• AI Validation

Best for: AI Scientist, Research Scientist, Tech Journalist

Related on AIssential

• OpenAI makes breakthrough on 80-year-old maths problem — OpenAI's AI disproved an 80-year-old math conjecture, showing AI can find novel solutions in complex problems.
• OpenAI Says Its AI Just Disproved a Famous 80-Year-Old Math Problem – And This Time, Mathematicians Agree — A general-purpose AI autonomously disproved an 80-year-old math conjecture by making a cross-domain mathematical leap.
• OpenAI reasoning model disproves 80-year-old Erdős geometry conjecture — A general-purpose AI model has autonomously disproved an 80-year-old mathematical conjecture, demonstrating advanced reasoning capabilities.
• 😸 OpenAI solved an 80-year math problem by... disproving it — An OpenAI model disproved an 80-year math conjecture, showcasing AI's advanced reasoning and verifiable problem-solving capabilities.
• An AI solution to an 80-year-old problem has shocked mathematicians — AI can autonomously solve long-standing mathematical conjectures by exploring vast solution spaces and combining existing knowledge.
• OpenAI cracks an 80-year math belief — A general-purpose AI model achieved novel mathematical discovery, signaling advanced AI capabilities for scientific breakthroughs.

Open in AIssential →

Editorial summary, takeaway, and curation by AIssential. Original article published by AI News & Artificial Intelligence | TechCrunch.