AlphaProof and AlphaGeometry 2 reach silver-medal standard at the IMO
The systems scored 28 of 42 points, one short of gold, but took up to three days on some problems against the competition's 4.5-hour limit.
Models & capabilities · Benchmarks & progress