Version 2

In late May 2026, AI-assisted mathematics produced a rapid cluster of landmark results. OpenAI's unreleased general-purpose reasoning model disproved the Erdős unit distance conjecture (open since 1946), with an arXiv preprint formalizing the result [2] and prominent combinatorialist Gil Kalai acknowledging it publicly [3]. A Medium report claims three Erdős problems fell within a seven-day window, with Fields Medalist Terence Tao reportedly verifying each proof himself [4]—a claim that, if confirmed, would substantially broaden the story. Separately, Google DeepMind announced that Gemini with Deep Think has officially achieved gold-medal standard at the International Mathematical Olympiad, published in Nature [5][6]. AI critic Gary Marcus has now published a critical review checking whether the headlines match the underlying results [15].

Multiple independent organizations have produced verifiable or independently-checked mathematical results within days of each other—a convergence that is harder to dismiss than any single demonstration. If AI can routinely resolve longstanding open problems and compete at IMO gold-medal level across diverse mathematical domains, the pace of discovery could accelerate with downstream effects on software verification, cryptography, and any field where proof-level certainty matters. The entry of prominent skeptics and senior mathematicians into the debate signals the community is moving from initial reaction to rigorous assessment.

In late May 2026, a cluster of AI-assisted mathematical results emerged from three major research organizations, drawing engagement from mathematicians, the scientific press, AI skeptics, and a growing broader public. The anchoring event was OpenAI's announcement that an unreleased, general-purpose reasoning model had produced a counterexample disproving the Erdős unit distance conjecture—a discrete-geometry problem posed by Paul Erdős in 1946 [1]. Critically, the model received no special mathematical training or problem-specific scaffolding. Princeton mathematician Will Sawin subsequently sharpened the result, and external mathematicians including some former skeptics of OpenAI's math claims co-signed verification [1]. A formal arXiv preprint titled 'Remarks on the disproof of the unit distance conjecture' appeared shortly after [2], and prominent combinatorialist Gil Kalai—who has worked on closely related problems—acknowledged the result on his widely-read mathematics blog under the headline 'Amazing: Erdős' Unit Distance Problem was Disproved! It was achieved by AI' [3]. The Neuron argued that a mathematical proof provides a stronger test of AI reasoning than standard benchmarks precisely because it must survive line-by-line expert review [1].

The scope then expanded. A report on Medium claimed that three Erdős problems fell within a seven-day window, with Fields Medalist Terence Tao personally verifying every proof [4]—a claim whose sourcing warrants caution but which, if accurate, would represent an extraordinary concentration of AI-assisted mathematical discovery endorsed by one of the most credible figures in the field. Separately and independently, Google DeepMind announced that an advanced version of Gemini with Deep Think has officially achieved gold-medal standard at the International Mathematical Olympiad, with findings published in Nature [5][6]. This adds a second distinct system and a second distinct domain to the picture: competitive mathematics at the IMO is designed to resist pattern-matching, and gold-medal performance is a threshold no AI had previously cleared. DeepMind also maintains a public formal-conjectures GitHub repository [7], suggesting sustained organizational effort rather than an isolated result. Harmonic continued publishing news about its Lean-verified proof system Aristotle [8][9], with co-founder Tudor Achim maintaining his prediction that AI could prove the Riemann Hypothesis by 2028 [10].

The architectural debate about what these results demonstrate has sharpened alongside the results themselves. DeepMind's approach pairs large language models (for idea generation) with the Lean theorem prover (for step-by-step verification), with each reasoning move checked before proceeding [11][12]. Harmonic's Aristotle similarly produces Lean-checkable proofs [10]. This formal-constraint architecture contrasts with OpenAI's result, which came from a general-purpose model without formal-system grounding. Commentator Rohan Paul has framed DeepMind's method as operating inside 'carefully constrained worlds' rather than demonstrating open-ended mathematical reasoning [12]. Community discussions on Hacker News and Reddit's r/math have examined what Lean's verification actually guarantees, with one comment noting 'very little danger of a proof in Lean being wrong' [13][14]. The most pointed external challenge to the overall narrative came from AI critic Gary Marcus, who published a piece explicitly checking whether AI math claims match underlying results [15]—bringing a persistent skeptical perspective that had been absent from initial coverage. Coverage has continued to broaden across YouTube [16][17][18], physics news aggregators [19], and academic course materials [20], indicating the story has become embedded in the scientific education community alongside the AI press.