Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
bytesandbits
43 days ago
|
parent
|
context
|
favorite
| on:
“Erdos problem #728 was solved more or less autono...
no you don't
https://www.reddit.com/r/singularity/comments/1pv3nl3/commen...
minitech
43 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”.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
https://www.reddit.com/r/singularity/comments/1pv3nl3/commen...