Six-decade math puzzle solved by Korean mathematician | Dark Hacker News