jsteinhardt comments on QFT, Homotopy Theory and AI?