← Back to context

Comment by j2kun

13 hours ago

There are only some 700 open Erdos problems left, so when they're all solved you can finally rest.

0 comments

j2kun

Reply

No comments yet

Contribute on Hacker News ↗