OpenAI makes breakthrough on 80-year-old maths problem

2026-05-21 · Source: AI (artificial intelligence) | The Guardian · Field: Technology & Digital — Artificial Intelligence & Machine Learning, Mathematics & Computational Sciences · Depth: Expert, quick

Summary

OpenAI has announced a significant advance in AI reasoning by tackling the 80-year-old Paul Erdős planar unit distance problem, first posed in 1946. The company's general-purpose reasoning model disproved Erdős's conjecture, which proposed that the number of equally distant dot pairs on a plane would rise only slightly faster than the number of dots. OpenAI's model discovered a new family of arrangements that exceed this proposed limit, though it did not fully solve the broader problem of determining the exact rate. This work, validated by mathematicians like Thomas Bloom (who previously criticized OpenAI's math claims), highlights the AI's ability to explore paths humans might dismiss. However, human researchers at OpenAI and other mathematicians played a vital role in refining and improving the AI-generated proof. Experts view this as a milestone in AI mathematics, demonstrating AI's potential as a fundamental tool for scientific research.

Key takeaway

For research scientists exploring long-standing mathematical or scientific conjectures, you should consider integrating general-purpose AI models into your discovery process. This approach can uncover non-obvious solutions or counter-examples by exploring paths humans might overlook. Your team's expertise remains crucial for validating, refining, and improving AI-generated proofs, ensuring robust and impactful scientific advancements.

Key insights

OpenAI's AI disproved an 80-year-old math conjecture, showing AI can find novel solutions in complex problems.

Principles

• AI can explore non-obvious solution paths.
• Human-AI collaboration refines complex proofs.
• General-purpose AI models can tackle specific math problems.

Method

A general-purpose reasoning model breaks down complex problems into smaller steps, exploring diverse mathematical branches to uncover arrangements that challenge established conjectures.

In practice

• Apply general AI to specific domain challenges.
• Integrate human experts for AI proof validation.
• Use AI to generate novel problem constructions.

Topics

• AI Reasoning
• Discrete Geometry
• Paul Erdős Problem
• Mathematical Proof
• Human-AI Collaboration
• Scientific Discovery

Best for: AI Scientist, Research Scientist, General Interest

Related on AIssential

• 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.
• An OpenAI model solved a famous math problem that stumped humans for 80 years — AI disproved an 80-year-old math conjecture by combining existing techniques, showcasing its ability to resolve major open problems.
• OpenAI claims it solved an 80-year-old math problem — for real this time — OpenAI's new model disproved an 80-year-old math conjecture, demonstrating advanced autonomous reasoning in AI.
• 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’s math breakthrough played to AI’s strengths — AI disproved an 80-year-old math conjecture by applying broad knowledge and persistent strategy exploration, marking a significant autonomous contribution.
• 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 (artificial intelligence) | The Guardian.