Erdős Unit Distance Conjecture Disproved: Human-Verified OpenAI Counterexample

ArticleNoga Alon, Thomas F. Bloom, W. T. Gowers, Daniel Litt, Will Sawin, Arul Shankar, Jacob Tsimerman, Victor Wang, Melanie Matchett WoodResearch

A team of prominent mathematicians has published a verified, digested version of an OpenAI-generated counterexample that disproves the Erdős unit distance conjecture.

Key points

  1. OpenAI generated a counterexample disproving Paul Erdős's long-standing unit distance conjecture.
  2. The proof has been verified and condensed by a team of mathematicians including Noga Alon, W. T. Gowers, and Melanie Matchett Wood.
  3. The underlying argument crucially relies on ideas retrospectively linked to Ellenberg-Venkatesh, Golod-Shafarevich, and Hajir-Maire-Ramakrishna.
  4. The 19-page expository paper presents reflections and a structured walkthrough of the computer-generated proof.

Why it matters

This marks a major milestone where an AI system directly solves a celebrated open problem in combinatorics, with the result audited and contextualised by leading mathematicians.

Analysis

The paper exemplifies an emerging dynamic in mathematical research where machine models discover intricate counterexamples, while human experts condense the findings and connect them to established literature.

Summary generated by AI (Gemini 3.8 Flash, 27 September 2026). It may contain errors – the original source is authoritative.

Similar in content, found by the AI search.

  • Article:Marvin Minsky, Seymour Papert

    Minsky and Papert's "Perceptrons": Theoretical Bounds and AI Controversy

    Published in 1969, Marvin Minsky and Seymour Papert's book "Perceptrons" provided mathematical proofs on the limitations of early neural networks, triggering a major historical shift toward symbolic AI and contributing to the 1980s AI winter.

    AI & LLMs· Resource

  • Link:OpenAI

    OpenAI Publishes GPT-6 Astra System Card

    OpenAI has released the system card for GPT-6 Astra, its first model to achieve a 'Critical' cybersecurity capability rating, featuring stronger alignment and jailbreak resistance compared to GPT-5.6 Sol alongside reduced Chain of Thought monitorability.

    AI & LLMs· Resource

  • Link:Melanie Lefkowitz

    Frank Rosenblatt’s Perceptron: How a Cornell Researcher Laid the Groundwork for AI

    A retrospective from Cornell University highlights Frank Rosenblatt's 1958 invention of the perceptron, the first artificial neural network. Although met with severe scepticism that contributed to the first AI winter, his core concepts now underpin modern deep learning architectures.

    AI & LLMs· News

  • X post:CopyRebeldia

    Stanford Lecture on the Mathematical Foundations of LLMs

    A viral post highlights a Stanford lecture on the technical fundamentals behind large language models. The author argues that models like Claude and ChatGPT process numbers rather than text, linking this core competence to lucrative engineering salaries. However, a Community Note corrected the identity of the lecturer and the course shown.

    41.9kbookmarks2.8mviews

    AI & LLMs· Resource

  • Article:Ian Sample

    AI enables scholars to read Herculaneum scroll carbonised in AD79

    A team of three student researchers used high-resolution CT scans and machine learning to decode over 2,000 Greek letters inside a scroll carbonised during the eruption of Mount Vesuvius in AD79. The achievement secured the $700,000 grand prize in the Vesuvius Challenge.

    AI & LLMs· News

Let's talk about your project

Locations

  • Mattersburg
    Johann Nepomuk Bergerstraße 7/2/14
    7210 Mattersburg, Austria
  • Vienna
    Ungargasse 64-66/3/404
    1030 Wien, Austria

Parts of this content were created with the assistance of AI.