OpenAI Model Disproves 80-Year-Old Erdős Geometry Conjecture
Synthesis history
7 versions, newest first.
-
Version 7 2026-05-25 11:35 UTC · 199 items
The most significant new development is a Reddit r/math thread titled 'AI misinformation and Erdos problems' [^19482], which marks a qualitative hardening from measured skepticism to active accusation within the core ma…
-
Version 6 2026-05-25 02:46 UTC · 196 items
The most significant new development is OpenAI's publication of a formal technical PDF titled 'Planar Point Sets with Many Unit Distances' [^19371], which moves the story from announcement-phase to scrutiny-phase and gi…
-
Version 5 2026-05-24 19:34 UTC · 172 items
The GPT-5.4 FrontierMath story has crystallized into a distinct sub-narrative: a specific benchmark score of 38% [^17605], and the milestone of solving an open FrontierMath problem that was subsequently autoformalized […
-
Version 4 2026-05-24 10:31 UTC · 158 items
Terence Tao has surfaced as a significant new voice, posting on Mathstodon about the approach — the highest-credential mathematical engagement yet in the thread, though the publicly available fragment is partial [^13476…
-
Version 3 2026-05-23 04:29 UTC · 106 items
The FrontierMath benchmark controversy has gained dedicated named coverage this pass. Mathematician Michael Harris (Silicon Reckoner substack) has explicitly characterized OpenAI's benchmark funding as a 'scandal' [^113…
-
Version 2 2026-05-22 19:07 UTC · 94 items
The most significant development this pass is the emergence of a formal arXiv preprint documenting the mathematics [^9425], moving the result from announcement toward the beginning of peer review. Prominent mathematicia…
-
Version 1 2026-05-22 02:23 UTC · 4 items
An OpenAI general-purpose model has disproved the planar unit distance problem, a conjecture in discrete geometry first posed by Paul Erdős in 1946 [^8517]. The model produced a counterexample rather than a proof [^7659…