Terence Tao - The Complexity of Mathematical Proofs (via searchlore.ai)