Agrippa comments on Want to win the AGI race? Solve alignment.