Richard_Ngo comments on Specification gaming examples in AI