A 55-Year-Old Math Problem Was Solved–This Time by Humans | Hacker News Reader