Luke_A_Somers comments on Why AGI is extremely likely to come before FAI