eFinder

eFinder

Home › Article

OpenAI makes breakthrough on 80-year-old maths problem

The Guardian · · 461 words · By Dan Milmo; Ian Sample
open_in_new Read the original article: https://www.theguardian.com/technology/2026/may/21/openai-paul-erdos-maths-probl…

fact_checkFact-Check Results

11 claims extracted and verified against multiple sources including cross-references, web search, and Wikipedia.

check_circle Corroborated 7
info Single Source 2
help Insufficient Evidence 1
schedule Pending 1
check_circle
“OpenAI has claimed a further advance in AI reasoning after its technology successfully tackled an 80-year-old maths problem.”
CORROBORATED
Multiple independent sources (Google News, CNBC TV18, and OpenAI's own announcements) confirm OpenAI claimed a breakthrough in AI reasoning by tackling an 80-year-old math problem.
travel_explore
web search NEUTRAL — OpenAI is an American artificial intelligence (AI) research organization headquartered in San Francisco, consisting of a for-profit public benefit corporation (PBC) partially controlled by a nonprofit…
https://en.wikipedia.org/wiki/OpenAI
travel_explore
web search NEUTRAL — We believe our research will eventually lead to artificial general intelligence, a system that can solve human-level problems. Building safe and beneficial AGI is our mission.
https://openai.com/
travel_explore
web search NEUTRAL — OpenAI’s mission is to ensure that artificial general intelligence (AGI) benefits all of humanity. In service of that mission, we sometimes provide grants (in the form of monetary compensation or API …
https://openai.smapply.org/
check_circle
“The company behind ChatGPT said it had made a breakthrough with a challenge first posed by Hungarian mathematician Paul Erdős in 1946: the planar unit distance problem.”
CORROBORATED
Multiple sources explicitly identify the problem as the 'planar unit distance problem' first posed by Paul Erdős in 1946.
travel_explore
web search NEUTRAL — OpenAI. Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible sol…
https://news.google.com/stories/CAAqNggKIjBDQklTSGpvSmMzUnZj…
travel_explore
web search NEUTRAL — In 1946, renowned mathematician Paul Erdős defined a simple problem: if you place n points in a plane, what is the maximum possible number of pairs of points that can be exactly 1 unit of distance apa…
https://www.coinlive.com/news/openai-announces-ai-breakthrou…
travel_explore
web search NEUTRAL — OpenAI AI reasoning model claims breakthrough on the planar unit distance problem, solving Paul Erdos 1946 puzzle and impressing top mathematicians.
https://www.cnbctv18.com/technology/openai-says-its-new-ai-c…
check_circle
“Erdős proposed the number would rise only slightly faster than the number of dots themselves.”
CORROBORATED
Web search results confirm that Erdős proposed the number of unit-distance pairs would grow only slightly faster than linearly (the number of dots).
travel_explore
web search NEUTRAL — A unit distance graph with 16 vertices and 40 edges. In mathematics, particularly geometric graph theory, a unit distance graph is a graph formed from a collection of points in the Euclidean plane by …
https://en.wikipedia.org/wiki/Erdős_unit_distance_problem
travel_explore
web search NEUTRAL — Erdős himself proposed that the number of unit-distance pairs could only grow slightly faster than linearly as more points were added. Researchers spent generations trying to prove or disprove that th…
https://interestingengineering.com/ai-robotics/openai-paul-e…
travel_explore
web search NEUTRAL — The planar unit distance problem sits at the heart of combinatorial geometry, a field with applications in computational geometry, network design, and optimization. Disproving the conjecture doesn’t j…
https://cryptobriefing.com/openai-solves-erdos-unit-distance…
check_circle
“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.”
CORROBORATED
Sources state the AI model identified new constructions/arrangements that disprove the conjecture and break the limit proposed by Erdős.
travel_explore
web search NEUTRAL — Erdős himself proposed that the number of unit-distance pairs could only grow slightly faster than linearly as more points were added. Researchers spent generations trying to prove or disprove that th…
https://interestingengineering.com/ai-robotics/openai-paul-e…
travel_explore
web search NEUTRAL — Users criticize OpenAI's model for giving wrong estimates on the Erdős Planar Unit Distance Problem despite solution claims.
https://digg.com/ai/uxrqvb19
travel_explore
web search NEUTRAL — OpenAI general-purpose reasoning model disproved Erdos 80-year-old planar unit distance conjecture on May 20, 2026. Here is what the result means.
https://www.roborhythms.com/openai-disproves-erdos-conjectur…
info
“OpenAI, which is preparing to float on the US stock market, said the calculations had been made by a general-purpose reasoning model”
SINGLE SOURCE
The provided evidence for OpenAI's corporate structure (Wikipedia) does not mention a current preparation to float on the US stock market (IPO).
travel_explore
web search NEUTRAL — OpenAI is an American artificial intelligence (AI) research organization headquartered in San Francisco, consisting of a for-profit public benefit corporation (PBC) partially controlled by a nonprofit…
https://en.wikipedia.org/wiki/OpenAI
travel_explore
web search NEUTRAL — OpenAI’s mission is to ensure that artificial general intelligence (AGI) benefits all of humanity. In service of that mission, we sometimes provide grants (in the form of monetary compensation or API …
https://openai.smapply.org/
travel_explore
web search NEUTRAL — OpenAI has 248 repositories available. Follow their code on GitHub.
https://github.com/openai/
check_circle
“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.”
CORROBORATED
Multiple sources specify that a 'general-purpose reasoning model' was used rather than a system trained specifically for mathematics.
travel_explore
web search NEUTRAL — Company says work on Paul Erdős planar unit distance problem shows advance in AI reasoning.OpenAI’s model concluded otherwise by drawing on different branches of mathematics to uncover a family of arr…
https://www.theguardian.com/technology/2026/may/21/openai-pa…
travel_explore
web search NEUTRAL — OpenAI says its AI model has autonomously solved a famous 80-year-old maths problem. This marks a major milestone for AI reasoning and scientific research.
https://www.indiatoday.in/technology/news/story/openais-ai-s…
travel_explore
web search NEUTRAL — An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.
https://openai.com/index/model-disproves-discrete-geometry-c…
info
“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.”
SINGLE SOURCE
No independent evidence was found in the search results to corroborate a previous failed attempt or a breakthrough based on existing literature, although one source mentions Thomas Bloom 'criticised OpenAI's prior Erdős claims'.
check_circle
“This time, OpenAI’s work has been validated by mathematicians, including Thomas Bloom, a mathematician who maintains the Erdős problems website”
CORROBORATED
Multiple sources confirm that Thomas Bloom, who maintains the Erdős problems website, validated the work.
travel_explore
web search NEUTRAL — This time, OpenAI’s work has been validated by mathematicians, including Thomas Bloom, a mathematician who maintains the Erdős problems website and criticised OpenAI’s prior Erdős claims.
https://www.theguardian.com/technology/2026/may/21/openai-pa…
travel_explore
web search NEUTRAL — OpenAI general-purpose reasoning model disproved Erdos 80-year-old planar unit distance conjecture on May 20, 2026. Here is what the result means.
https://www.roborhythms.com/openai-disproves-erdos-conjectur…
travel_explore
web search NEUTRAL — The model apparently did. Thomas Bloom, who curates the Erdős problems database and contributed to the companion paper, noted that the result “shows that there is a lot more that number theoretic cons…
https://officechai.com/ai/an-openai-model-has-made-a-new-bre…
check_circle
“Bloom co-authored a companion paper to OpenAI’s blog post flagging the Erdős achievement.”
CORROBORATED
Evidence from 'An OpenAI Model Has Made A New Breakthrough...' explicitly states that Thomas Bloom contributed to the companion paper.
help
“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.”
INSUFFICIENT EVIDENCE
While the breakthrough is confirmed, the specific detail that the original proof was 'completely valid' but 'significantly improved' by humans is not explicitly detailed in the provided search snippets.
schedule
“Mathematician Tim Gowers, also writing in the companion paper, described the result as “a milestone in AI mathematics”.”
PENDING
info Disclaimer: This analysis is generated by AI and should be used as a starting point for critical thinking, not as definitive truth. Claims are verified against publicly available sources. Always consult the original article and additional sources for complete context.