Alphabetの人工知能子会社であるGoogle DeepMindは現地時間の5月25日、同社の「AlphaProof」と「AlphaGeometry2」の2つのAIモデルを組み合わせることで、国際数学オリンピック(IMO)の難しい証明問題に対し、銀メダリストと同程度に対処できると発表した。 6問のうち、AlphaProofは2つの代数の問題とひとつの数論の問題、AlphaGeometry2は幾何学の問題を1つ解いた。IMOは高校生などを対象に毎年行われる数学の国際大会だ。大会出場者には、若い数学者の優れた業績を顕彰するフィールズ賞の受賞者も多い。