Tor Økland Barstad comments on Making it harder for an AGI to “trick” us, with STVs