Monumental proof to torment mathematicians for years to come | Hacker News Reader