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