Assuming that it would be a very complex proof, it might take a while for practi... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

rlpb on April 12, 2010 | parent | context | favorite | on: Donald Knuth making an Earthshaking Announcement J...

Assuming that it would be a very complex proof, it might take a while for practical applications to be able to catch up.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact