π° NEWS
OpenAI model disproves ErdΕs unit distance conjecture
8x SOURCES π
π
2026-05-20
β‘ Score: 9.6
+++ OpenAI's general-purpose reasoning model found a counterexample to the ErdΕs unit-distance conjecture, a foundational discrete geometry problem that has stumped mathematicians since 1946, proving once again that brute computational power occasionally accomplishes what decades of human intuition could not. +++
An OpenAI model has disproved a central conjecture in discrete geometry
β¬οΈ 440 ups
β‘ Score: 9.2
"Official OpenAI announcement or research publication."
π¬ Reddit Discussion: 193 comments
π BUZZING
An OpenAI model has disproved a central conjecture in discrete geometry
πΊ 1146 pts
β‘ Score: 8.9
π¬ HackerNews Buzz: 830 comments
π BUZZING
Top mathematician Timothy Gowers: "AI has now solved a major open problem ... one that many mathematicians had tried."
β¬οΈ 69 ups
β‘ Score: 8.8
"External link discussion - see full content at original source."
π¬ Reddit Discussion: 9 comments
π LOWKEY SLAPS
Top mathematician Timothy Gowers: "AI has now solved a major open problem ... one that many mathematicians had tried."
β¬οΈ 22 ups
β‘ Score: 8.8
"External link discussion - see full content at original source."
OpenAI claims a general-purpose reasoning model found a counterexample to Erdos's unit-distance bound [D]
β¬οΈ 82 ups
β‘ Score: 7.8
"OpenAI posted a math result today claiming that one of its general-purpose reasoning models found a construction disproving the conjectured n\^{1+O(1/log log n)} upper bound in ErdΕsβs planar unit-distance problem.
Announcement:
[https://openai.com/index/model-disproves-discrete-geometry-conject..."
π¬ Reddit Discussion: 27 comments
π BUZZING
An OpenAI model has disproved a central conjecture in discrete geometry
β¬οΈ 105 ups
β‘ Score: 7.7
π¬ Reddit Discussion: 12 comments
π LOWKEY SLAPS
OpenAl claims Al breakthrough, says its model solved 80-year-old math problem
β¬οΈ 4 ups
β‘ Score: 6.2
"External link discussion - see full content at original source."
π¬ Reddit Discussion: 20 comments
π MID OR MIXED