5 ms·
no you don't https://www.reddit.com/r/singularity/comments/1pv3nl3/comment/nvtlgqb/?utm_source=share&utm_medium=web3x&utm_name=web3xcss&utm_term=1&utm_content=
by bytesandbits 8mo ago
no you don't
https://www.reddit.com/r/singularity/comments/1pv3nl3/comment/nvtlgqb/?utm_source=share&utm_medium=web3x&utm_name=web3xcss&utm_term=1&utm_content=share_button https://www.reddit.com/r/singularity/comments/1pv3nl3/commen...
- minitech 8mo agoThat doesn’t look like a counterexample to “we formalize the statements by hand and inspect the proofs carefully to ensure they capture the full spirit of the problem”.