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

秋元康総合プロデュースのデジタル声優アイドルプロジェクト、22/7（ナナブンノニジュウニ。通称・ナナニジ）が数学の難問「ABC予想」を冠した新アルバムをリリースした。今作には、新たな作家陣の広がりや、新曲3曲に宿る挑戦が宿っている。今回はメンバーの天 ...

▼リリース情報 22/7 3rdアルバム 『ABC予想』 2025.12.10 ON SALE 【完全生産限定盤A】 SRCL-13440~43／￥11,000（税込） トレカ：アーティストトレカ ランダム1枚封入 仕様：三方背BOX ...