発見から60年以上解けなかった数学の難題、世界中のPC50万台つなぎ解決