Re:Leo's first encyclical attacks technological messianism
by CamperBob2 on Sunday May 31, 2026 @12:12AM
(#48342966)
(Shrug) It's certainly "Artificial," and if you know how to crank out original proofs without employing "Intelligence," please share with the class.
[ Parent
| on HN ]
Re:Leo's first encyclical attacks technological messianism
by whimsicalism on Sunday May 31, 2026 @11:28AM
(#48346495)
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.