Terence Tao - The Challenge of Formal Proofs (via searchlore.ai)