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

MiniF2Fのスコア結果

山下裕毅，ITmedia