Edward Frenkel - The Drama of Mathematical Proofs (via searchlore.ai)