He also was on Dwarkesh's podcast last week (https://www.youtube.com/watch?v=Q8Fkpi18QXU ).

I enjoyed the human->depth vs AI->breadth discussion and the waterline rising slowly to fill the 50 lowest hanging Erdos problems but struggling on the next few.