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