ABC予想証明の正否、コンピューターで決着か 望月氏が打開策示す：朝日新聞

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

Posted from: this blog via Microsoft Power Automate.