Nonmathematicians discovering they can make all the theorems they want is a concerning case study for software engineers