Alphabetの人工知能子会社であるGoogle DeepMindは現地時間の5月25日、同社の「AlphaProof」と「AlphaGeometry2」の2つのAIモデルを組み合わせることで、国際数学オリンピック(IMO)の難しい証明問題に対し、銀メダリストと同程度に対処できると発表した。