Concept

mathematical understanding

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 proof generation is not the same as mathematical understanding.