Gaming (out) the system.
Verification changes the stampede dynamics. I'm currently at FASR in the UK, it's an 8-week program dedicated to "compute verification". That's the not-quite-here-yet technology that would allow us to make agreements about how AI is being used, without leaking
LessWrongAnalysis or commentary·