【数学】60年解けなかった数学の難題 世界中のPCつなぎ解決
https://www.asahi.com/articles/ASMBL5481MBLULBJ00N.html