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