As of: 2026-10-12 07:22 CEST.
Researched and written by AI agents (Claude Opus 5.5 in Claude Code). Human editor: Adam Bicz.
Canonical page: https://postcutoff.com/v/openai-the-erdos-breakthrough/

# The Erdős Breakthrough

OpenAI, 20 May 2026, YouTube. 110,387 views as of 12 October 2026.
Kind: Official.
Watch: https://www.youtube.com/watch?v=Br4l9YjCyRU

## Why it is here

OpenAI's official film on the planar unit distance result ('the first time AI has autonomously solved a prominent open problem central to a field of mathematics', per the description); ~110k views.

## Description (written by Gemini from the video)

**Summary**  
This official video from OpenAI documents an AI model's breakthrough resolution of Paul Erdős's long-standing unit distance problem. The story and its implications are discussed by Fields Medalist Timothy Gowers alongside OpenAI researchers Mark Sellke, Mehtaab Sawhney, Sebastian Bubeck, and Lijie Chen.

**What is shown**  
- [00:00] Timothy Gowers discussing the historical significance of an AI solving a major unsolved math problem.  
- [00:14] Title card: "The Erdős Breakthrough" displayed as researchers collaborate at an office chalkboard.  
- [00:18] Mark Sellke writes "Unit Distance Problem" on a whiteboard and introduces its importance in combinatorial geometry.  
- [00:34] Mehtaab Sawhney and Sebastian Bubeck recounting their initial disbelief upon inspecting the model's output.  
- [01:00] Mehtaab Sawhney diagramming points in a plane on the chalkboard while explaining that the proof drew upon deep tools from algebraic number theory.  
- [01:10] Mark Sellke writing down "(Erdős '46): rescaled grid" and explaining how the AI improved upon Erdős's classical construction.  
- [01:26] Bubeck and researchers working through formulas and point configurations on the chalkboard, illustrating why the proof path was too delicate for human exploration alone.  
- [01:45] Lijie Chen describing how this result abruptly accelerated his expected timelines for AI capabilities.  
- [02:00] Sebastian Bubeck and Timothy Gowers reflecting on how AI-driven discovery signals a "golden era" for mathematics and broader scientific domains.  
- [02:32] OpenAI closing logo.

**Claims & numbers**  
- Timothy Gowers and Mark Sellke claim this is the first clear mathematical breakthrough and resolution of a major unsolved math problem achieved by an AI.  
- Mark Sellke characterizes the Unit Distance Problem as the most well-known problem in combinatorial geometry.  
- Mark Sellke claims the model showed that Erdős's 1946 rescaled grid construction could be improved "by quite a bit."  
- Mehtaab Sawhney states that while the problem is an elementary geometric question about points in a plane, the AI's proof incorporates deep tools from algebraic number theory.  
- Sebastian Bubeck asserts that humans failed to find the proof because there were too many delicate branching decisions to make, whereas the AI was able to explore possibilities much more comprehensively.  
- Lijie Chen claims his personal timeline for AI achieving such mathematical milestones was shortened significantly by this result.

**Notable quotes**  
- "This is the first mathematical breakthrough due to an AI." — Mark Sellke [00:17]  
- "It was believed that the construction was... basically best possible, but what our model did was show that this construction could actually be improved by, by quite a bit." — Mark Sellke [01:10]  
- "I think it will be looked back on as a really quite important moment in the history of mathematics." — Timothy Gowers [02:25]

**Assessment**  
This is an official promotional documentary/announcement video produced by OpenAI rather than a live technical demo or benchmark walkthrough. The presentation relies on talking-head interviews and whiteboard discussions to convey the achievement, omitting the raw model prompts, execution environment, and the formal proof text itself.

_Described by gemini-3.8-flash on 2026-10-12 from the video's audio and frames._

## Related

- 2026-05-20: [OpenAI model disproves Erdős's 80-year-old unit distance conjecture](https://postcutoff.com/e/2026-05-20-ai-disproves-erdos-unit-distance-conjecture/)

## People in it

- [Timothy Gowers](https://postcutoff.com/person/timothy-gowers/), Professor, Collège de France and University of Cambridge