Tomorrow’s Tech Treepowered by Astra

Mathematics & Algorithms · Recorded milestone

AI settles an 80-year-old Erdős problem

Recorded year2026

In May 2026 an OpenAI model disproves Erdős's unit-distance conjecture; leading mathematicians vouch for the proof.

Explore this milestone on the interactive map

Built on

Led to

Sources & evidence

Dataset updated 2026-10-18. This individual record has not been separately re-reviewed.