国際数学オリンピックの今年の問題を解いたgoogle Deepmind の２つのシステム名は？

Google DeepMindが今年の国際数学オリンピックの問題を解くために使用した2つのシステム名は、AlphaProofとAlphaGeometry 2です。

AlphaProof：主に代数と数論の問題を解くことに特化したシステムです。
AlphaGeometry 2：幾何学の問題を解くことに特化したシステムです。
これらの2つのシステムを組み合わせることで、Google DeepMindは今年の国際数学オリンピックで銀メダル相当の成績を達成しました。

以上、Gemini Advance による回答です。