Terence Tao - The Role of AI in Mathematics (via searchlore.ai)