Terence Tao - Formal Proofs vs. Traditional Methods (via searchlore.ai)