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