Coreano resolve enigma matemático que intrigava o mundo há 60 anos