WHY THIS MATTERS IN BRIEF
General-purpose AI reasoning is starting to crack real research problems, hinting at a new tool for science.
Matthew Griffin is the World’s #1 Futurist Keynote Speaker and Global Advisor for the G7 and Fortune 500, specialising in exponential disruption across 100 countries. Book a Keynote or Advisory Session — Join 1M+ followers on YouTube and explore his 15-book Codex of the Future series.
Over the past year Artificial Intelligence (AI) has been getting much better at maths and even won some Maths Olympiads. Now OpenAI has claimed a further advance in AI reasoning after its technology successfully tackled an 80-year-old maths problem.
The company behind ChatGPT said it had with a challenge first posed by Hungarian mathematician Paul Erdős in 1946: the planar unit distance problem.
The question posed by Erdős is simple to explain. If you take a sheet of paper and add some dots, how many pairs can be the same distance apart? Erdős proposed the number would rise only slightly faster than the number of dots themselves.
OpenAI’s model concluded otherwise by drawing on different branches of mathematics to uncover a family of arrangements that break the limit in Erdős’s conjecture.
From AI to AGI: What Leaders Need to Know | CEO DNA Interview | Futurist Matthew Griffin, by Futurist Keynote Speaker Matthew Griffin
“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 the work has excited mathematicians, the broader problem remains unsolved because the AI did not come up with a new answer for how fast the pairs of dots rise, but merely showed that the limit Erdős proposed was too low.
OpenAI, which is preparing to float on the US stock market, said the calculations had been made by a general-purpose reasoning model – which breaks down problems into smaller steps – rather than a system trained specifically for mathematics.
The startup has been tripped up before by its attempts to solve Erdős’s problems, having hailed a supposed breakthrough last year that was in fact based on already existing literature absorbed by the model. This time, OpenAI’s work has been validated by mathematicians, including Thomas Bloom, a mathematician who maintains the website and criticised OpenAI’s prior Erdős claims.
Bloom co-authored a companion paper to OpenAI’s blog post flagging the Erdős achievement. Bloom wrote that the AI system had attained its results by “persevering down paths that a human may have dismissed as not worth their time to explore.”
However, he added that humans had been involved in the AI’s work.
“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.
Mathematician Tim Gowers, also writing in the companion paper, described the result as “a milestone in AI mathematics.”
Andrew Rogoyski, of the Institute for People-Centred AI at the University of Surrey, said the announcement showed AIs were giving humans new ways to look at problems.
“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.
Does this mean AI can now do original mathematics?
Partly — the model found a genuinely new construction, but human researchers refined the proof, and mathematicians stress people still drive the understanding and judgment behind such results.
