朝日新聞・2/27【イチ押し】ABC予想の証明 論争決着?(教育・科学面) 発信者:長谷 文(編集局)

数学の超難問「ABC予想」証明の正否をめぐる論争に、決着がつくかもしれません。コンピューターの力を借りて検証する動きが出てきました。証明の論文を発表した京都大の望月新一教授も、この検証に肯定的です。証明が正しいかどうかの決断を、数学者ではなく、コンピューターが下すことになるかもしれません。