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