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