【数学】60年解けなかった数学の難題「モーデル予想」 世界中のPC50万台つなぎ解決