# AlphaProof 2024.07.26 グーグルのAIが数学オリンピックの銀メダリストレベルに グーグルDeepMindが現地時間7月25日、同社の強化学習ベースのシステム「AlphaProof」が、国際数学オリンピック(IMO)の問題を解く性能において銀メダル相当の成績を収めたと発表。全6問のうち4問に正解し、42点満点で28点を獲得した。 グーグルDeepMindは現地