＜ピックアップ＞ ...

私立のオンライン大学「ZEN大」（本部・神奈川県逗子市）は31日、数学の難問「ABC予想」を証明したとする京都大数理解析研究所の望月新一教授の理論が正しいかどうか、数学の証明支援ソフト「Lean（リーン）」を使って検証する ...

私立のオンライン大学「ZEN大」（本部・神奈川県逗子市）は31日、数学の難問「ABC予想」を証明したとする京都大数理解析研究所の望月新一教授の理論が正しいかどうか、数学の証明支援ソフト「Lean（リーン）」を使って検証するプロジェクトを開始したと ...

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

私立のオンライン大学「ZEN大」（本部・神奈川県逗子市）は31日、数学の難問「ABC予想」を証明したとする京都大数理解析研究所の望月新一教授の理論が正しいかどうか、数学の証明支援ソフト「Lean（リーン）」を使って検証する ...