Humans vs AI: Can AI develop math we can't explain? | Lex Fridman
0:00 · Watch on YouTube
A proof that even specialists cannot grasp is treated here as a scale problem in the formal derivation and a storytelling problem in human understanding: machine-checked correctness still leaves the real work of mathe...