On Treaties, Nuclear Weapons, and AI — LessWrong