Topic

Erdős unit-distance problem

1:03:12What Today’s Best Models Still Can’t Do in Matha16z · 2026-09-01Daniel Litt praises AI’s Erdős unit-distance result but warns that proofs alone cannot replace mathematical understanding or human curiosity.