benjamincosman comments on What’s the contingency plan if we get AGI tomorrow?