Story perspectives

OpenAI AI Disproves Erdos Conjecture, Marks Math Milestone

6/3/2026

Summary

Story summary

OpenAI’s internal AI system disproved the Erdos unit-distance conjecture in mid-May 2026, becoming the first AI to produce a proof that settles a long-standing problem.
Fields Medalist Tim Gowers described the solution as a milestone in AI mathematics.
University of Toronto professor Daniel Litt called the result the first autonomous AI finding Litt finds exciting.
Human mathematicians refined and extended the AI-generated proof, showing a collaborative workflow with machines.

1 of 1

Story summary

OpenAI’s internal AI system disproved the Erdos unit-distance conjecture in mid-May 2026, becoming the first AI to produce a proof that settles a long-standing problem.
Fields Medalist Tim Gowers described the solution as a milestone in AI mathematics.
University of Toronto professor Daniel Litt called the result the first autonomous AI finding Litt finds exciting.
Human mathematicians refined and extended the AI-generated proof, showing a collaborative workflow with machines.