top | item 46563323 (no title) bytesandbits | 1 month ago no you don'thttps://www.reddit.com/r/singularity/comments/1pv3nl3/commen... discuss order hn newest 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”.
minitech|1 month ago