OpenAI Claims AI Model Disproved Erdős's 50-Year-Old Unit-Distance Conjecture
Original: OpenAI claims a general-purpose reasoning model found a counterexample to Erdos's unit-distance bound View original →
A Mathematical Milestone Claimed
OpenAI announced that one of its general-purpose reasoning models found a construction that disproves the conjectured upper bound in Erdős's planar unit-distance problem, a question open for roughly 50 years.
The Mathematics
The unit-distance problem asks how many pairs of points in a set of n points in the plane can be at unit distance. The prevailing conjecture placed this near n^(1+O(1/log log n)) — nearly linear. OpenAI's result constructs finite planar point sets with more than n^(1+δ) unit distances for some fixed δ > 0 and infinitely many n, directly disproving the near-linear upper bound.
Process and Verification
A general-purpose reasoning model produced the construction, checked by an AI grading pipeline, then reviewed and reworked by mathematicians. Both a proof PDF and an abridged reasoning writeup were released publicly.
Transparency Questions
The ML community's key concern: OpenAI disclosed the original prompt but withheld the model name, sampling setup, number of attempts, compute budget, and full grading pipeline details. The debate centers on whether this represents genuine autonomous mathematical reasoning or a carefully selected result from a large-scale search.
Related Articles
The mathematical methodology generated by GPT-5.4 Pro when solving Erdos Problem #1196 has been successfully applied to other long-standing unsolved problems, including another Erdos conjecture open for over 60 years. Presented at Stanford's Future of Mathematics Symposium, the results raise the question of whether AI can generate genuinely generalizable mathematical insights.
OpenAI announced its EU Cyber Action Plan on May 11, granting vetted European security teams access to GPT-5.5-Cyber. UK AISI testing found GPT-5.5 scores 71.4% on expert cyber tasks, edging Mythos at 68.6%.
arXiv has begun enforcing a one-year submission ban on authors whose papers contain incontrovertible evidence of unchecked LLM-generated errors such as hallucinated references. The policy marks a firm institutional stance on AI-assisted academic dishonesty.
Comments (0)
No comments yet. Be the first to comment!