Can we prove P=NP and not find the algorithm? | Scott Aaronson and Lex Fridman