Model

alphaproof

1 entry · 25 July 2024

Appears alongside

Featured in threads

Tracks

  • Models & capabilities 1
  • Benchmarks & progress 1

  1. 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.

    Google DeepMindModels & capabilities · Benchmarks & progress

In the commentary

Pieces from around the web that discuss alphaproof. External links.