Version 4

An OpenAI general-purpose reasoning model disproved the planar unit distance conjecture — a problem open since Paul Erdős posed it in 1946 — by constructing a counterexample, with a formal arXiv preprint providing the mathematical basis [1][2]. The result has now drawn engagement from Terence Tao, widely regarded as the greatest living mathematician, who posted on Mathstodon about the approach [11], and from Michael Harris, who has published two dedicated Silicon Reckoner pieces engaging with the result and with the concept of 'artificial intuition' [12][13]. New Scientist has joined The Guardian and Scientific American in calling it AI's biggest mathematical breakthrough to date [10]. Separately, Epoch AI reports that GPT-5.4 has set a new FrontierMath benchmark record [15], a development that simultaneously extends the AI math capability narrative and sharpens existing questions about evaluator independence.

Tao's engagement signals that the result is being taken seriously at the highest level of professional mathematics, potentially moving the story from 'AI makes headline claim' toward 'mathematical community actively engages with a genuine result.' The concurrent GPT-5.4 FrontierMath record sharpens a structural question about whether OpenAI's math achievement ecosystem — from benchmarks to open problems — is sufficiently insulated from conflicts of interest to be trusted as the field builds 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. 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 [2][3]. The method involved a surprising bridge between algebraic number theory and plane geometry, which multiple commentators treated as more significant than the bare fact of disproving an 80-year-old conjecture [4][5]. Gil Kalai, a prominent combinatorialist, endorsed the result via both X and his WordPress blog, calling it 'amazing' [6][7], and mainstream press including Scientific American, The Guardian, and New Scientist characterized it as AI's biggest mathematical breakthrough to date [8][9][10].

The result has since drawn engagement at the highest level of professional mathematics. Terence Tao — widely regarded as among the greatest living mathematicians — posted on Mathstodon with partial text beginning 'I was able to use an extended…', indicating direct engagement with the approach or a related extension [11]. His engagement, however incomplete its publicly available record, carries significant weight for the result's standing in the professional mathematical community. Michael Harris — Columbia mathematician and author of the Silicon Reckoner substack — has published two dedicated posts: 'About that Erdős problem' and 'About artificial intuition,' the latter exploring what kind of cognition the model demonstrated [12][13]. Harris had previously characterized OpenAI's FrontierMath benchmark involvement as a 'scandal' [14], and his new posts represent a sustained critical and epistemological engagement with this specific result rather than a passing remark.

A parallel development adds new texture to the evaluator independence question. Epoch AI reports that GPT-5.4 has set a new record on FrontierMath [15], and OpenAI has separately promoted GPT-5.2 for science and mathematics [16]. These disclosures indicate OpenAI is actively pursuing multiple math-capable model lines simultaneously, which compounds existing concerns about the independence of benchmark performance claims from model development. The AI safety research organization MIRI Berkeley amplified the unit distance result across social media under the framing 'An internal model at OpenAI has autonomously disproved a central conjecture in discrete geometry' [17][18], treating autonomous AI mathematical agency as the salient feature and drawing dozens of retweets from AI safety and capability communities [19][20][21]. The Reddit r/MachineLearning community hosted substantive discussion under the skeptical framing 'OpenAI claims a general-purpose reasoning model found a…' — the word 'claims' reflecting a persistent wariness in technical circles [22].

The result arrives within a broader wave of AI progress in mathematics. Quanta Magazine published 'The AI Revolution in Math Has Arrived' in April 2026 [23], and UC Irvine and USC received a $2.6 million DARPA grant for AI-driven mathematics on May 18, 2026 [24]. Applied technical communities beyond academia have also engaged: the Galois security company has written on o3, FrontierMath, and the future of mathematics [25]. Against this backdrop, OpenAI's unit distance result functions both as a singular claimed milestone and as part of a trend — making the question of independent peer review particularly consequential for establishing lasting credibility.