8 ms·
It's a simple binary classification. AI-generated proofs can't be "honest", and the only other possibility is "malicious".
by thaumasiotes 5d ago
It's a simple binary classification. AI-generated proofs can't be "honest", and the only other possibility is "malicious".
- stbede 4d agoThe opposite of malicious is not honest. Nor do I see how motivations fall on a binary. The user submitting an AI proof can be honest, or malicious, or careless, or overzealous, or incompetent, or a whole bunch of other things. As far as the AI's motivations, "malicious" is just as much an anthropomorphism as "honest" and both descriptions are absurd. Nor do I really understand how any proof, regardless of its origin can be called honest. I think their definition of a "malicious" proof makes sense, but I don't see at all why an AI generated proof necessarily meets that definition.