The limits of AI in mathematics: What makes human special | Terence Tao and Lex Fridman