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