Tomás B. comments on A concrete bet offer to those with short AGI timelines