AGI/FAI Theorist for Hire — LessWrong