OpenAI Model Cracks Geometry's Toughest Nut

For nearly 80 years, mathematicians have grappled with a deceptively simple question: how many pairs of points, among n points in a plane, can be exactly one unit apart? This, the planar unit distance problem, posed by Paul Erdős, has resisted resolution. Now, an internal OpenAI model has provided a breakthrough, disproving a central conjecture in discrete geometry.

The prevailing belief, stemming from constructions like the square grid, was that the number of unit-distance pairs grew at a rate close to linear. Erdős himself conjectured an upper bound of n^1+o(1). The OpenAI model's proof, however, demonstrates configurations of n points yielding at least n^1+δ unit-distance pairs for some fixed exponent δ > 0.

A Surprising Mathematical Synthesis

The proof's origin is as remarkable as its conclusion. It emerged not from a specialized math AI, but a general-purpose reasoning model. This achievement highlights the growing depth of AI reasoning capabilities.

The method employed is particularly noteworthy, bridging abstract algebraic number theory with a concrete geometric problem.

This unexpected connection offers a new perspective on discrete geometry.

The proof is now available, alongside companion remarks from external mathematicians who have verified the work.

AI as a Research Partner

This event signifies a pivotal moment for AI in mathematical research, demonstrating its capacity for autonomous problem-solving on prominent open questions. It hints at a future where AI acts as a genuine collaborator, generating novel insights and driving scientific discovery, much like the vision for new AI model for scientific discovery.

The implications extend beyond this single problem, suggesting AI could accelerate progress in fields like biology, physics, and engineering by navigating complex arguments and connecting disparate knowledge domains.

This development underscores the need to understand advanced AI systems and the future of human-AI collaboration, where human judgment remains paramount in guiding research directions.