Hacker News new | ask | show | jobs
by bytesandbits 153 days ago
no you don't

https://www.reddit.com/r/singularity/comments/1pv3nl3/commen...
1 comments
minitech 153 days ago
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”.
link