Mathematicians solve 60-year-old problem | Hacker News Reader