Concept

mathematical proof

23:21Did AI kill math? - Mathematicians respond | Lex FridmanLex Clips · 2026-10-28Mathematicians debate whether AI will make human-AI math redundant, while defending insight, beauty, and asking better questions.
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.