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