【数学】60年解けなかった数学の難題 世界中のPCつなぎ解決