Mathematician Urges Axiomatizing Negations of Theorems in AI-Generated Papers

Even this is far too lenient. If you really cared about scientific integrity you’d not only do a retroactive banning of their publications, but you’d axiomatize the negation of all the theorems they proved.