Terence Tao - Formalizing Complex Proofs (via searchlore.ai)