fullscreen

eFinder

eFinder

Home › Scientific Breakthroughs › Article

An AI solution to an 80-year-old problem has shocked mathematicians

The Conversation · 🇦🇺 public Australia · · 936 words · By Melissa Lee
Scientific Breakthroughs Human vs. Machine Creativity AI Capabilities in Mathematics
headphones Listen to the eFinder podcast briefing
Ready to play
Daily briefing

What to know about Scientific Breakthroughs

The article discusses a recent breakthrough where an OpenAI AI model found a counterexample to a long-standing mathematical conjecture by Paul Erdős. It explores the implications of this result for mathematical research and the potential for AI to assist in or perform conceptual leaps in the field.

Propaganda risk 10%
Claims checked 12
Techniques found 1
Topics 3

Coverage spectrum

Coverage gap: Low Left coverage
Left0%
Center100%
Right0%

3 sources compared across this story cluster. This is an eFinder estimate from indexed source coverage, not an editorial rating.

What happened

Last week, OpenAI shocked the mathematical community by revealing that one of its internal artificial intelligence (AI) models had found a counterexample to a famous conjecture made by legendary Hungarian mathematician Paul Erdős in 1946.

Why it matters

The planar unit distance problem, or Erdős problem 90, has intrigued mathematicians for decades.

Common ground

Canadian mathematician Daniel Litt described it as “the first result produced autonomously by an AI that I find interesting in itself”.

Perspective signals

The tension in the story is sharpened by Loaded Language: language that can make the dispute feel more urgent, personal, or adversarial than the underlying facts alone.

The article discusses a recent breakthrough where an OpenAI AI model found a counterexample to a long-standing mathematical conjecture by Paul Erdős. It explores the implications of this result for mathematical research and the potential for AI to assist in or perform conceptual leaps in the field.

open_in_new Read the original article: https://theconversation.com/an-ai-solution-to-an-80-year-old-problem-has-shocked…

analyticsAnalysis

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

psychologyPropaganda Techniques Detected

eFinder identified 1 propaganda technique in this article. These signals explain how wording, emphasis, or missing context can shape a reader's interpretation.

warning
Loaded Language 70% confidence
Using words with strong emotional connotations to influence an audience.
Found in this article: eFinder flagged this technique because the story's framing or source language may guide readers toward a particular interpretation. Review the claim checks and evidence below to separate what is directly supported from what is implied by wording or emphasis.
Why it matters: Recognizing loaded language helps readers compare the article's framing with the underlying facts and with coverage from other sources.

fact_checkClaims Checked

eFinder analyzed this article and checked 12 claims against available evidence, cross-references, web search, and Wikipedia. Here is what the fact-checking layer found.

check_circle Corroborated 7
schedule Pending 2
help Insufficient Evidence 2
verified Verified By Reference 1
verified
Claim 1: “Paul Erdős was one of the most prolific mathematicians of the twentieth century.”
VERIFIED BY REFERENCE
Wikipedia and other authoritative sources explicitly state that Paul Erdős was one of the most prolific mathematicians of the 20th century.
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…
+ 4 more evidence sources
schedule
Claim 2: “The accompanying paper shows the prompt given to the model, as well as a recount of the “chain of thought” conducted by the model.”
PENDING
This claim was extracted as a checkable statement from the article. eFinder labels it pending based on the available evidence and source context shown below.
check_circle
Claim 3: “Days after OpenAI’s paper, US mathematician Will Sawin followed the same line of reasoning to an improved result.”
CORROBORATED
Multiple sources report that US mathematician Will Sawin followed OpenAI's reasoning to produce an improved result shortly after the paper's release.
menu_book
wikipedia NEUTRAL — In mathematics, particularly geometric graph theory, a unit distance graph is a graph formed from a collection of points in the Euclidean plane by connecting two points whenever the distance between t…
https://en.wikipedia.org/wiki/Unit_distance_graph
menu_book
wikipedia NEUTRAL — Mehtaab Sawhney (born September 20, 1998) is an American mathematician, specializing in combinatorics and number theory. He is an assistant professor at Columbia University.
https://en.wikipedia.org/wiki/Mehtaab_Sawhney
travel_explore
web search NEUTRAL — 3 days ago ... Days after OpenAI's paper, US mathematician Will Sawin followed the same line of reasoning to an improved result. Also last week, a team ...
https://theconversation.com/an-ai-solution-to-an-80-year-old…
+ 2 more evidence sources
check_circle
Claim 4: “Erdős himself conjectured that no construction could improve substantially on these intuitive arrangements, even for an extremely large number of points.”
CORROBORATED
Multiple web sources mention that mathematicians (and Erdős's intuition) believed square grid-like arrangements were optimal for the problem.
travel_explore
web search NEUTRAL — May 20, 2026 ... Today we're sharing a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946.
https://www.instagram.com/reel/DYkmIXkv4ke/
travel_explore
web search NEUTRAL — 8 days ago ... ... planar unit distance problem looked something like a square grid. Then ... square grids are optimal for certain geometric arrangements. The ...
https://www.instagram.com/p/DYl3S9SjaF_/
travel_explore
web search NEUTRAL — 8 days ago ... ... Paul Erdős in 1946: the planar unit distance problem. The question ... best possible solutions looked roughly like square grids,” OpenAI wrote on ...
https://www.theguardian.com/technology/2026/may/21/openai-pa…
check_circle
Claim 5: “The new best result, by Sawin, reportedly only starts to yield improvements for around 10^2000000 points”
CORROBORATED
Two independent sources specifically mention the number 10^2,000,000 (written as 102000000 in the search snippet) as the point where Sawin's result yields improvements.
travel_explore
web search NEUTRAL — Apr 27, 2025 ... If there wasn't tax, it would be completely dependent on the companies and what the market is demanding. Your point about infrastructure funding ...
https://www.facebook.com/WaStateGov/posts/i-want-to-thank-ou…
travel_explore
web search NEUTRAL — 1 day ago ... Days after OpenAI's paper, US mathematician Will Sawin followed the same line of reasoning to an improved result. ... around 102000000 points – ...
https://mappingignorance.org/2026/05/27/an-ai-solution-to-an…
travel_explore
web search NEUTRAL — 2 days ago ... Days after OpenAI's paper, US mathematician Will Sawin followed the same line of reasoning to an improved result. ... around 102000000 points – ...
https://world.edu/an-ai-solution-to-an-80-year-old-problem-h…
schedule
Claim 6: “This breakthrough also represents the first major mathematical open problem solved with AI with minimal human intervention beyond the initial prompt.”
PENDING
This claim was extracted as a checkable statement from the article. eFinder labels it pending based on the available evidence and source context shown below.
check_circle
Claim 7: “one of its internal artificial intelligence (AI) models had found a counterexample to a famous conjecture made by legendary Hungarian mathematician Paul Erdős in 1946”
CORROBORATED
Multiple independent web search results confirm that an OpenAI model found a counterexample to the planar unit distance problem posed by Paul Erdős in 1946.
menu_book
wikipedia NEUTRAL — Radar, Aircraft Interception, Mark IV (AI Mk. IV), also produced in the USA as SCR-540, was the world's first operational air-to-air radar system. Early Mk. III units appeared in July 1940 on convert…
https://en.wikipedia.org/wiki/AI_Mark_IV_radar
menu_book
wikipedia NEUTRAL — The Artificial Intelligence Cold War (AI Cold War) is a narrative in which geopolitical tensions between the United States of America (USA) and the People's Republic of China (PRC) could lead to a Sec…
https://en.wikipedia.org/wiki/Artificial_Intelligence_Cold_W…
menu_book
wikipedia NEUTRAL — The history of artificial intelligence (AI) began in antiquity, with myths, stories, and rumors of artificial beings endowed with intelligence or consciousness by master craftsmen. The study of logic …
https://en.wikipedia.org/wiki/History_of_artificial_intellig…
+ 3 more evidence sources
help
Claim 8: “Fields Medallist Timothy Gowers wrote that if a human researcher had submitted the paper with this result to the prestigious journal Annals of Mathematics, he would have recommended publication “without any hesitation”.”
INSUFFICIENT EVIDENCE
No evidence was found in the provided search results regarding a statement by Timothy Gowers about the Annals of Mathematics.
check_circle
Claim 9: “Also last week, a team from Google DeepMind used one of their own models to resolve nine lesser open problems left by Erdős.”
CORROBORATED
Multiple sources, including a Reddit math community thread and a specific report on AlphaProof Nexus, confirm Google DeepMind resolved nine open Erdős problems.
menu_book
wikipedia NEUTRAL — Mind uploading is a hypothetical process of whole brain emulation in which a brain scan is used to completely emulate a person's mental state in a digital computer. The computer would then run a simul…
https://en.wikipedia.org/wiki/Mind_uploading
menu_book
wikipedia NEUTRAL — This is a timeline of artificial intelligence, also known as synthetic intelligence.
https://en.wikipedia.org/wiki/Timeline_of_artificial_intelli…
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
+ 3 more evidence sources
help
Claim 10: “The new result uses tools from an area of mathematics called algebraic number theory to show there are patterns of dots that involve many more unit-distance pairs than the square grid, for infinitely many values of n.”
INSUFFICIENT EVIDENCE
No evidence was found in the provided search results regarding the specific use of 'algebraic number theory' or the 'infinitely many values of n' detail.
check_circle
Claim 11: “The planar unit distance problem, or Erdős problem 90, has intrigued mathematicians for decades.”
CORROBORATED
Two independent web search results explicitly link the planar unit distance problem to 'Erdős problem 90'.
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…
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
+ 3 more evidence sources
check_circle
Claim 12: “OpenAI’s recent breakthrough proved Erdős’ intuition wrong.”
CORROBORATED
Multiple sources confirm that OpenAI's model disproved the unit distance conjecture/intuition of Erdős.
travel_explore
web search NEUTRAL — May 20, 2026 ... Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946.
https://www.youtube.com/watch?v=Br4l9YjCyRU
travel_explore
web search NEUTRAL — May 20, 2026 ... An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in ...
https://openai.com/index/model-disproves-discrete-geometry-c…
travel_explore
web search NEUTRAL — 8 days ago ... The problem: Given n points in the plane, what is the maximum possible number of pairs of points at distance exactly 1? Erdos famously ...
https://www.reddit.com/r/math/comments/1tj534d/openais_inter…
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.