AlphaProof ve AlphaGeometry 2 adlı sistemler, lise öğrencileri için prestijli bir yarışma olan bu yılki Uluslararası Matematik Olimpiyatı'ndaki (IMO) altı problemden dördünü başarıyla çözmek için birlikte çalıştılar. Gümüş madalyaya eşdeğer bir ödül kazandılar.
İleri düzey akıl yürütme gerektiren matematik problemlerinin AI sistemleri tarafından çözülmesi biraz zordur. Bu tür problemler genellikle soyutlamalar oluşturmayı gerektirir. Ayrıca karmaşık hiyerarşik planlama, alt hedefler belirleme, geri dönüp yeni yollar denemeyi de içerirler. Bunların hepsi AI için zorludur.