← Back to context Comment by bytesandbits 2 days ago no you don'thttps://www.reddit.com/r/singularity/comments/1pv3nl3/commen... 1 comment bytesandbits Reply minitech 2 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”.
minitech 2 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”.
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”.