Six-decade math puzzle solved by Korean mathematician