David_Gerard comments on Heading off a near-term AGI arms race