数学界で10年近く続いている論争に、決着がつくかもしれない。超難問「 ABC予想 」の証明の正否を、コンピューターの力を借りて検証する動きが出てきた。京都大の 望月新一 教授（56）も、この試みに肯定的だ。証明が正しいかどうかの決断を、数学者ではなく ...