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