4 ms·
(Shrug) It's certainly "Artificial," and if you know how to crank out original proofs without employing "Intelligence," please share with the class.
by CamperBob2 5mo ago
(Shrug) It's certainly "Artificial," and if you know how to crank out original proofs without employing "Intelligence," please share with the class.
- whimsicalism 5mo agoI'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.