| ▲ | bytesandbits a day ago | |
no you don't https://www.reddit.com/r/singularity/comments/1pv3nl3/commen... | ||
| ▲ | minitech 21 hours ago | parent [-] | |
That 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”. | ||