数学オリンピックの問題で銀メダルレベルのスコアを残すAIを開発したとGoogle DeepMindが発表

　Google DeepMindが、形式的な数学推論のための新たな強化学習ベースのシステムとして「AlphaProof」および幾何学を解くシステムとして「AlphaGeometry 2」を発表しました。
　これら2つのシステムを組み合わせることで、国際数学オリンピック(IMO)において銀メダルレベルのスコアを獲得できたと述べられています。

　AI achieves silver-medal standard solving International Mathematical Olympiad problems - Google DeepMind
　https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/

（以下略、続きはソースでご確認ください）

Gigazine 2024年07月26日 11時48分
https://gigazine.net/news/20240726-google-deepmind-silver-medal-mathematical-olympiad-problems/