『ABC予想証明の正否、コンピューターで決着か 望月氏が打開策示す [AIの時代]：朝日新聞』2025/12/6 12:20:00 https://digital.asahi.com/articles/ASTCY1BZVTCYDIFI00XM.html?ptoken=01KBSRSG0ZB1T083VJTAAF4P4V