An OpenAI model has disproved a central conjecture in discrete geometry

2026-05-20 · Source: Artificial Intelligence · Field: Technology & Digital — Artificial Intelligence & Machine Learning, Mathematics & Computational Sciences · Depth: Expert, short

Summary

An OpenAI model has successfully disproved Erdos Problem 90, also known as the unit distance problem, a central conjecture in discrete geometry that remained unsolved for 80 years despite its simple setup. This achievement is significant, distinguishing itself from other "trivial" Erdos problems previously solved by AI. The resolution has sparked debate regarding AI's novelty and creativity, with some arguing AI lacks true originality without human-defined problems and constraints, while others contend that combining existing ideas constitutes novelty, a task AI can perform. The core of Erdos Problem 90 involves optimizing arrangements of 'n' points in a plane to maximize pairs exactly one unit distance apart, rather than merely counting pairs from a given arrangement.

Key takeaway

For research scientists evaluating AI's potential in pure mathematics, this resolution of Erdos Problem 90 suggests you should reconsider traditional boundaries of AI's problem-solving capabilities. Your definition of "novelty" may need re-evaluation, as AI can combine existing concepts to achieve breakthroughs previously thought exclusive to human intuition. Explore how persistent, goal-oriented AI prompting can tackle long-standing conjectures in your field.

Key insights

An OpenAI model resolved Erdos Problem 90, demonstrating AI's capacity to solve complex, long-unsolved mathematical conjectures and sparking debate on AI novelty.

Principles

• Novelty can be new connections of existing things.
• Human inventions build from pre-existing concepts.
• AI can solve problems resisting expert attempts.

Method

The AI was given a direct prompt: "Prove or disprove this problem. Don’t stop until you’re done," indicating a goal-oriented, persistent computational approach to mathematical conjectures.

Topics

• Erdos Problem 90
• Discrete Geometry
• OpenAI Models
• AI Creativity
• Mathematical Proof
• Unit Distance Problem

Best for: AI Scientist, Research Scientist, AI Ethicist

Related on AIssential

• 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 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 shifts the boundary of automated reasoning with a "milestone in AI mathematics" that experts are now unpacking — OpenAI's AI disproved a long-standing mathematical conjecture by applying unexpected tools from algebraic number theory.
• 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.
• How did Gpt solve the erdos problem? A demonstration — AI's problem-solving success stems from uncovering hidden algebraic structures, not just surface patterns.
• 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.

Open in AIssential →

Editorial summary, takeaway, and curation by AIssential. Original article published by Artificial Intelligence.