26 Temmuz 2024'te Google DeepMind'ın matematik problemlerini çözmek için geliştirdiği yapay zeka modeli AlphaGeometry, üstün başarılı lise öğrencilerinin katıldığı Uluslararası Matematik Olimpiyatları'nda gümüş madalya seviyesine ulaşmayı başardığı açıklanmıştı.[1] Bu gelişmenin üzerinden henüz sadece 6 ay geçmişken DeepMind araştırma ekibi 5 Şubat 2025'te AlphaGeometry'nin yeni sürümü olan AlphaGeometry2'nin performansının altın madalya kazanan ortalama bir öğrencinin seviyesini geçtiğini duyurdu.[2] Imperial College London'dan matematikçi Kevin Buzzard, şöyle söylüyor:
Uluslararası Matematik Olimpiyatları problemlerinin dört ana başlığından biri olan Öklid geometrisi, yapay zeka için özel bir beceri gerektirmektedir. Katılımcıların düzlemdeki geometrik nesnelerle ilgili ifadeler için kesin kanıtlar sunması beklenmektedir. Ekip bu yüzden AlphaGeometry2'yi Uluslararası Matematik Olimpiyatları'nın geometri dışı matematik problemlerini çözmek için tasarladıkları AlphaProof adlı yeni bir sistemle birlikte duyurmuşlardı.