【解説人語】「悪魔の証明」120年解けなかったパズル、ついに解明 - 朝日新聞

120年以上謎だった難解パズルを解明したと、日米の数学者3人が発表しました。「悪魔の証明」とも言われる「ないことの証明」に成功しており、計算機で解く関連キーワードはありません