Version 3

An OpenAI general-purpose reasoning model has disproved the planar unit distance conjecture — an 80-year-old open problem first posed by Paul Erdős in 1946 — by constructing a counterexample [1]. A formal preprint appeared on arXiv within days [2][3], and prominent mathematicians including combinatorialist Gil Kalai have endorsed the result via X and his blog [7][8]. The Guardian and Scientific American have characterized it as AI's most significant mathematical achievement to date [9][10]. A persistent credibility question now runs alongside the acclaim: multiple sources document a prior episode in which OpenAI secretly funded the FrontierMath benchmark before achieving records on it, a pattern mathematician Michael Harris has explicitly labeled a 'scandal' [15][14][16].

Settling an 80-year-old open problem through a novel cross-domain method — algebraic number theory applied to plane geometry — suggests that general-purpose reasoning models may be capable of original mathematical discovery rather than assisted search or verification. The accompanying credibility question matters equally: if OpenAI's math achievement claims cannot be independently verified, the field lacks the trust infrastructure needed to build on these results.

On May 20, 2026, OpenAI announced that one of its general-purpose reasoning models had disproved the planar unit distance conjecture in discrete geometry, a problem first posed by Paul Erdős in 1946 [1]. The model produced a counterexample rather than a proof, establishing the conjecture is false. OpenAI framed the outcome as a landmark in AI-driven mathematics; its published announcement provided no caveats but also little methodological detail [1]. Within approximately one day, a preprint titled 'Remarks on the disproof of the unit distance conjecture' appeared on arXiv, providing the first publicly accessible formal documentation of the mathematics underlying the result [2][3].

The method the model used has attracted sustained attention. Early commentary identified a surprising bridge between algebraic number theory and plane geometry as the central innovation — treating the approach as more significant than the bare fact of disproving an 80-year-old conjecture [4][5]. This framing was amplified widely: Alex Dimakis, a researcher in machine learning and information theory, described the result as a breakthrough in 'a very famous Combinatorics problem' [6]. Gil Kalai — a prominent combinatorialist whose blog closely follows open problems in this area — explicitly endorsed the achievement via both his WordPress blog and on X, calling it 'amazing' and crediting AI [7][8]. Po-Shen Loh, Zvi Mowshowitz, and Greg Brockman also weighed in publicly, and mainstream press including Scientific American and The Guardian characterized it as AI's biggest mathematical breakthrough yet [9][10][11][12].

A structural credibility question runs alongside the acclaim. Multiple sources have surfaced a prior episode in which OpenAI secretly funded the FrontierMath benchmark before its o3 model achieved records on it — a conflict of interest that TechCrunch reported resulted in o3 scoring lower on independent assessments of that benchmark than OpenAI's initial announcements implied [13][14]. Mathematician and blogger Michael Harris — author of 'Mathematics without Apologies' and the Silicon Reckoner substack — has written about this episode under the explicit framing of 'The FrontierMath scandal' [15], and TechRepublic has separately documented benchmark discrepancies in OpenAI's math claims [16]. These prior episodes do not directly impeach the unit distance conjecture result, which is grounded in an arXiv preprint subject to mathematical scrutiny [2], but they establish a pattern of concern around evaluator independence in OpenAI's self-announced mathematical achievements.

The result arrives during a broader wave of AI progress in mathematics already well underway heading into mid-2026. Quanta Magazine had published 'The AI Revolution in Math Has Arrived' in April 2026 [17], and DeepMind's Gemini Deep Think program is separately pursuing AI-accelerated scientific discovery [18]. UC Irvine and USC received a $2.6 million DARPA grant for AI-driven mathematics as recently as May 18, 2026 [19]. Against this backdrop, OpenAI's unit distance result is both singular and part of a trend — making the question of independent peer review of the arXiv preprint particularly consequential for establishing how much weight the broader community will place on it.