AI solves Erdős problem

AI & tech · Heat 1.0 / 10 · 1 show · 5m airtime

In May, an AI solved Paul Erdős's unit distance conjecture, a long-standing problem that combines discrete geometry and number theory. Mathematicians found the solution elegant and imaginative, and noted that it drew on two fields that had rarely interacted. The discussion has since centered on what the machine's achievement means for human mathematical creativity.

How 1 podcast covered it

1. The Daily, 2026-10-13 (11:57 to 16:55)
   Recounts the May solution and praises its elegance
   Strogatz recounts the May AI solution to Erdős's unit distance conjecture, praising its elegance and its novel combination of discrete geometry and number theory, and reflects on Erdős's legacy.
   New angle: An AI solved Erdős's unit distance conjecture by combining discrete geometry and number theory.