Terence Tao - AI's Role in Mathematical Proofs (via searchlore.ai)