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