eFinder

eFinder

Home › Artificial Intelligence › Article

AI makes a major breakthrough in a math problem that had stumped experts for decades

Phys · · 544 words · By Paul Arnold
Artificial Intelligence Scientific Discovery Mathematics

The article reports on a mathematical breakthrough by an OpenAI AI model that disproves the planar unit distance conjecture posed by Paul Erdős in 1946. It describes how the AI used complex number systems and geometry to produce a proof that was subsequently verified by human experts.

open_in_new Read the original article: https://phys.org/news/2026-05-ai-major-breakthrough-math-problem.html

analyticsAnalysis

10%
Propaganda Score
confidence: 95%
Low risk. This article shows minimal use of propaganda techniques.

psychologyDetected Techniques

warning
Loaded Language 70% confidence
Using words with strong emotional connotations to influence an audience.

fact_checkFact-Check Results

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

check_circle Corroborated 5
info Single Source 1
verified Verified 1
check_circle
“For nearly 80 years, mathematicians have struggled to solve a classic geometry puzzle first posed by Paul Erdős in 1946: the planar unit distance problem.”
CORROBORATED
Multiple independent news sources (Nypost, The Guardian) and Wikipedia confirm that Paul Erdős posed the planar unit distance problem in 1946.
menu_book
wikipedia NEUTRAL — Paul Erdős (Hungarian: Erdős Pál [ˈɛrdøːʃ ˈpaːl]; 26 March 1913 – 20 September 1996) was a Hungarian mathematician. He was one of the most prolific mathematicians and producers of mathematical conject…
https://en.wikipedia.org/wiki/Paul_Erdős
menu_book
wikipedia NEUTRAL — The Erdős number (Hungarian: [ˈɛrdøːʃ]) describes the "collaborative distance" between mathematician Paul Erdős and another person, measured by joint authorship of mathematical papers. The same princi…
https://en.wikipedia.org/wiki/Erdős_number
menu_book
wikipedia NEUTRAL — The prolific mathematician Paul Erdős and his various collaborators made many famous mathematical conjectures, over a wide field of subjects, and in many cases Erdős offered monetary rewards for solvi…
https://en.wikipedia.org/wiki/List_of_conjectures_by_Paul_Er…
+ 2 more evidence sources
check_circle
“OpenAI announced that its internal AI model had made progress on a closely related version of this problem, which suggests that Erdős may have been mistaken.”
CORROBORATED
Multiple web search results and an official OpenAI announcement confirm that an internal reasoning model produced a proof disproving the conjecture, suggesting Erdős's original hypothesis was incorrect.
menu_book
wikipedia NEUTRAL — Yoshua Bengio (born March 5, 1964) is a Canadian computer scientist, and a pioneer of artificial neural networks and deep learning. He is a professor at the Université de Montréal and co-president an…
https://en.wikipedia.org/wiki/Yoshua_Bengio
menu_book
wikipedia NEUTRAL — The prolific mathematician Paul Erdős and his various collaborators made many famous mathematical conjectures, over a wide field of subjects, and in many cases Erdős offered monetary rewards for solvi…
https://en.wikipedia.org/wiki/List_of_conjectures_by_Paul_Er…
menu_book
wikipedia NEUTRAL — Ronen Eldan (Hebrew: רונן אלדן) is an Israeli mathematician, working at OpenAI. Previously, Eldan was a professor at the Weizmann Institute of Science working on probability theory, mathematical analy…
https://en.wikipedia.org/wiki/Ronen_Eldan
+ 3 more evidence sources
info
“The breakthrough is detailed in a mathematical proof as well as in a companion paper available on the arXiv preprint server.”
SINGLE SOURCE
While the evidence confirms a breakthrough and a proof, the provided search results for claim 2 are generic definitions of 'mathematics' and do not specifically confirm the existence of a companion paper on the arXiv server, although other claims mention a paper.
travel_explore
web search NEUTRAL — Mathematics is a field of study that discovers and organizes methods, theories, and theorems that are developed and proved either in response to the needs of empirical sciences or the needs of mathema…
https://en.m.wikipedia.org/wiki/Mathematics
travel_explore
web search NEUTRAL — 6 days ago · The meaning of MATHEMATICAL is of, relating to, or according with mathematics. How to use mathematical in a sentence.
https://www.merriam-webster.com/dictionary/mathematical
travel_explore
web search NEUTRAL — 3 days ago · Comprehensive encyclopedia of mathematics with 13,000 detailed entries. Continually updated, extensively illustrated, and with interactive examples.
https://mathworld.wolfram.com/
check_circle
“OpenAI mathematicians fed the conjecture into a large language model (LLM) and asked it if Erdős was wrong.”
CORROBORATED
Multiple sources describe OpenAI researchers (specifically naming Mehtaab Sawhney and Mark Sellke) using an experimental LLM to investigate the conjecture and produce a counterexample.
travel_explore
web search NEUTRAL — That changed when OpenAI researchers Mehtaab Sawhney and Mark Sellke asked an experimental large language model whether Erdős’s conjecture was correct. The AI then produced a counterexample that surpa…
https://e.vnexpress.net/news/tech/enterprises/openai-chatbot…
travel_explore
web search NEUTRAL — OpenAI's general-purpose AI model disproved Paul Erdős's 1946 planar unit distance conjecture, marking a historic first for autonomous AI mathematical discovery.
https://cryptobriefing.com/openai-disproves-erdos-conjecture…
travel_explore
web search NEUTRAL — An internal OpenAI model has disproved this longstanding conjecture, providing an infinite family of examples that yield a polynomial improvement. The proof has been checked by a group of external mat…
https://openai.com/index/model-disproves-discrete-geometry-c…
check_circle
“The software proved that you can pack dots together in a way that creates vastly more equal distances than anyone previously thought possible.”
CORROBORATED
Web search results explicitly state the model found a counterexample consisting of a new infinite family of point arrangements that creates more unit-distance pairs than previously theorized.
travel_explore
web search NEUTRAL — What the AI actually did. The unit distance problem asks a deceptively simple question: given a set number of points in a plane, what is the maximum number of pairs that can be exactly one unit apart?
https://cryptobriefing.com/openai-ai-solves-erdos-math-conje…
travel_explore
web search NEUTRAL — And yet, OpenAI’s unreleased reasoning model apparently found a counterexample: a new infinite family of point arrangements that creates more unit-distance pairs than the old grid-based belief allowed…
https://www.theneurondaily.com/p/openai-solved-an-80-year-ma…
travel_explore
web search NEUTRAL — How many pairs of points can be exactly one unit apart? In 1946, Erdős conjectured that a simple arrangement on a slightly skewed square grid was already close to optimal. That arrangement produces a …
https://the-decoder.com/openai-shifts-the-boundary-of-automa…
verified
“The mathematical proof was checked and verified by experts who confirmed the core discovery presented in the paper: 'We disprove the unit distance conjecture; our main theorem is as follows: There exists an absolute constant δ > 0 and infinitely many positive integers n for which ν(n) ≥ n1+δ.'”
VERIFIED
Web search results provide the exact mathematical theorem statement ('There exists an absolute constant δ > 0 and infinitely many positive integers n for which ν(n) ≥ n^(1+δ)') and confirm that external mathematicians verified the solution.
travel_explore
web search NEUTRAL — However we disprove the unit distance. conjecture; our main theorem is as follows. Theorem 1.1. There exists an absolute constant δ > 0 and innitely many positive integers n for which ν(n) ≥ n1+δ.
https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29a…
travel_explore
web search NEUTRAL — An internal OpenAI model has disproved one of the most well-known Erdős problems: the unit distance problem. This is, without doubt, the most impressive achievement of AI in mathematics so far. openai…
https://news.google.com/stories/CAAqNggKIjBDQklTSGpvSmMzUnZj…
travel_explore
web search NEUTRAL — We present a short, digested, human-verified version of the recent OpenAI-generated counterexample to the Erdős unit distance conjecture, and a sequence of reflections on it.
https://arxiv.org/pdf/2605.20695
check_circle
“Companion Paper: Noga Alon et al, Remarks on the disproof of the unit distance conjecture, arXiv (2026). DOI: 10.48550/arxiv.2605.20695”
CORROBORATED
Multiple web search results reference a paper titled 'Remarks on the disproof of the unit distance conjecture' involving Noga Alon and a human-verified version of the OpenAI counterexample.
menu_book
wikipedia NEUTRAL — Necklace splitting is a picturesque name given to several related problems in combinatorics and measure theory. Its name and solutions are due to mathematicians Noga Alon and Douglas B. West. The bas…
https://en.wikipedia.org/wiki/Necklace_splitting_problem
menu_book
wikipedia NEUTRAL — Envy-freeness up to any item (EFX) is a fairness notion in fair item allocation. It is a relaxation of envy-free item allocation. Determining whether EFX allocations always exist is widely regarded as…
https://en.wikipedia.org/wiki/Envy-freeness_up_to_any_item
menu_book
wikipedia NEUTRAL — Eilon Solan (Hebrew: אילון סולן; born 1968) is an Israeli mathematician and professor at the School of Mathematical Sciences of Tel Aviv University. He holds the Dr. Irene Halmos Chair of Game Theory …
https://en.wikipedia.org/wiki/Eilon_Solan
+ 3 more evidence sources
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.