jsteinhardt comments on More Is Different for AI