60年解けなかった数学の難題 世界中のPC50万台つなぎ解決