ひっそり登場の中国AI「Seed-Prover」、国際数学オリンピックで「金メダル」　さくっとGoogleを抜く (seamless92_w80.jpg)