The path to AGI in mathematics | Terence Tao and Lex Fridman | Lex Clips | Podwise