3 ms·
Proofs require a certain ingenuity that computers just don't have, imo. A computer would never be able to come up with something like Cantor's diagonalization p
by booleandilemma 2y ago
Proofs require a certain ingenuity that computers just don't have, imo. A computer would never be able to come up with something like Cantor's diagonalization proof on its own.
- Davidzheng 2y agoAre you sure alphaproof can't