OpenAI Claims Breakthrough on Paul Erdős Planar Unit Distance Problem
OpenAI has announced a significant advance in artificial intelligence reasoning after its technology successfully addressed a mathematical challenge that has remained open for nearly 80 years.
The company behind the AI model revealed it had made progress on a problem first introduced by Hungarian mathematician Paul Erdős in 1946, known as the planar unit distance problem.
The Erdős Planar Unit Distance Problem Explained
The problem posed by Erdős is straightforward to understand. Given a sheet of paper with a number of dots placed on it, the question is: how many pairs of these dots can be exactly one unit distance apart? Erdős conjectured that the number of such pairs would increase only slightly faster than the number of dots themselves.
Contrary to this long-standing belief, OpenAI’s model found a new family of configurations that exceed the limit proposed in Erdős’s conjecture by integrating insights from various branches of mathematics.
“For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids,” OpenAI wrote on X. “An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better.”
While this discovery has generated excitement among mathematicians, the overall problem remains unsolved because the AI did not determine a new exact rate at which the number of pairs grows. Instead, it demonstrated that Erdős’s proposed upper bound was too low.
AI Model and Human Collaboration
OpenAI, which is preparing for a public offering on the US stock market, stated that the calculations were performed by a general-purpose reasoning model. This model approaches problems by breaking them down into smaller, manageable steps rather than relying on a system specifically trained for mathematics.
The company has previously encountered challenges in addressing Erdős’s problems. Last year, OpenAI announced a supposed breakthrough that was later found to be based on existing mathematical literature already incorporated into the model. In contrast, this latest work has been validated by mathematicians, including Thomas Bloom, who maintains the Polymath Project website and had criticized OpenAI’s earlier Erdős claims.
Bloom co-authored a companion paper accompanying OpenAI’s blog post highlighting the achievement. He noted that the AI system reached its results by
“persevering down paths that a human may have dismissed as not worth their time to explore.”
However, Bloom emphasized that human involvement remained crucial throughout the process.
“While the original proof produced by AI was completely valid, it was significantly improved by the human researchers at OpenAI and the many other mathematicians involved in the present paper. The human still plays a vital role in discussing, digesting and improving this proof, and exploring its consequences,”
he wrote.
Expert Opinions on the AI Milestone
Mathematician Tim Gowers, also contributing to the companion paper, described the result as
“a milestone in AI mathematics.”
Andrew Rogoyski, from the Institute for People-Centred AI at the University of Surrey, commented on the broader implications of the announcement.
“It’s becoming clear that AI is impacting the world of creative thought and will become a fundamental tool of future scientific research,”
he said.
