25/12/07 20:13:00.86 8b+brg7v.net
ABC予想証明の正否、コンピューターで決着か 望月氏が打開策示す
数学の超難問「ABC予想」をめぐる論争に、決着がつくかもしれない。
コンピューターの力を借りて、証明の正否を検証する動きが出てきた。
京都大の望月新一教授（56）も、この試みに肯定的だ。
証明が正しいかどうかの決断を、数学者ではなく、コンピューターが下すことになるのか。
（以下略、続きはソースでご確認ください）
朝日新聞DIGITAL 2025年12月6日 10時00分
URLﾘﾝｸ(www.asahi.com)