Version 2

An OpenAI general-purpose reasoning model has disproved the planar unit distance conjecture — an open problem in discrete geometry first posed by Paul Erdős in 1946 — by constructing a counterexample [1]. A formal preprint appeared on arXiv days after the announcement [2], and prominent mathematicians including combinatorialist Gil Kalai have publicly endorsed the result as 'amazing' [7]. The Guardian and Scientific American have characterized it as AI's most significant mathematical achievement to date [12][11]. The result is landing during a broader wave of AI progress in mathematics that was already well underway heading into mid-2026 [16].

Settling an 80-year open problem via a novel cross-domain method — algebraic number theory applied to plane geometry — is significant in itself, but the wider implication is that general-purpose reasoning models may now be capable of original mathematical discovery rather than assisted search or verification. The result arrives in a context where the mathematical community is already adapting to AI: if autonomous frontier-level conjecture-breaking is becoming reproducible, the pace and structure of mathematical research face genuine pressure to change.

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]. Gabriel Gaster, commenting on the same day as the announcement, noted that the disproof works by showing something about a maximum — hinting at the structural character of the counterexample — though the specifics remain largely in the preprint [3].

The method the model used has attracted sustained attention. Early commentary from Rohan Paul and Milk Road AI 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 by Alex Dimakis, a researcher in machine learning and information theory, whose widely-retweeted post 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 — published a substantive response calling the achievement 'amazing' and explicitly crediting AI [7]. Po-Shen Loh, the mathematician known for leading U.S. Math Olympiad teams, also weighed in via LinkedIn [8]. Zvi Mowshowitz, who typically applies rigorous skepticism to AI capability claims, had already called this the first AI math result he finds genuinely impressive [9]. Greg Brockman (formerly OpenAI's president) amplified the announcement on X, signaling internal confidence in the result [10].

Mainstream science coverage has been largely celebratory. Scientific American called it 'AI's biggest math breakthrough yet' and reported that mathematicians are amazed [11]; The Guardian ran a full news article [12]. Hacker News and Reddit's mathematics community hosted extended technical discussions [13][14]. Measured voices have also appeared: William Jin noted the result feels 'monumental' while insisting it is not AGI — a sign that even enthusiastic observers are working to calibrate what the achievement actually implies [15].

The result does not arrive in isolation. Quanta Magazine had already published 'The AI Revolution in Math Has Arrived' in April 2026 [16], and the mathematics community was actively revisiting Terence Tao's earlier predictions about AI's mathematical potential [17]. DeepMind's Gemini Deep Think program is separately pursuing AI-accelerated scientific discovery [18], and 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 result is both singular and part of a trend. One complicating factor for assessing the result's standing: Epoch AI and LessWrong have documented a prior episode in which OpenAI funded the FrontierMath benchmark before setting records on it with o3, raising questions about evaluator independence in OpenAI's math claims [20][21]. Independent peer review of the arXiv preprint will therefore be particularly consequential.