Beyond alignment: mathematical verification as a way to constrain AI behavior (spacechimplife.medium.com)