120年謎の難問パズル解明　「悪魔の証明」に日米の数学者が挑んだ：朝日新聞

120年謎の難問パズル解明　「悪魔の証明」に日米の数学者が挑んだ：朝日新聞120年以上謎だった難解パズルを解明したと、日米の数学者3人が10日、発表した。「悪魔の証明」とも言われる「ないことの証明」に成功しており、計算機で解くことが困難な図形パズルに新たな解法が得られる可…