『ひっそり登場の中国AI「Seed-Prover」、国際数学オリンピックで「金メダル」　さくっとGoogleを抜く』新着画像 - 数学の勉強掲示板