World record ($100,000) prime number found? | Hacker News Reader