jsteinhardt comments on AGI/​FAI Theorist for Hire