[CamperBob2]

(Shrug) It's certainly "Artificial," and if you know how to crank out original proofs without employing "Intelligence," please share with the class.

[whimsicalism]

I'm on your side, but I would argue many of the first computer discovered proofs might be called original proofs without intelligence, as they rely on massive programmatic case checking.