DeepMind, Matematiksel Akıl Yürütmede Çığır Açan AlphaProof ve AlphaGeometry 2 Modellerini Tanıttı

DeepMind, matematiksel akıl yürütme ve problem çözme alanında önemli bir ilerlemeyi temsil eden iki yeni modeli tanıttı: AlphaProof ve AlphaGeometry 2. Bu modeller, mevcut yapay zeka sistemlerinin zorlandığı alanlarda kaydedilen önemli gelişmeler olarak değerlendiriliyor.

AlphaProof, matematiksel ifadeleri resmi bir dil kullanarak kanıtlayabilen bir model olarak öne çıkıyor. AlphaZero teknolojisi ile geliştirilen bu model, daha önce satranç, shogi ve Go gibi oyunlarda üstün performans sergilemişti. AlphaProof, bu yılki Uluslararası Matematik Olimpiyatı’nda dört matematik problemini çözerek gümüş madalya kazanmayı başardı.

Diğer yandan, AlphaGeometry 2 modeli, geometri problemlerini çözme yeteneği ile dikkat çekiyor. Önceki versiyonuna kıyasla çok daha fazla veri ile eğitilen AlphaGeometry 2, son 25 yılın Uluslararası Matematik Olimpiyatı geometri problemlerinin yüzde 83’ünü çözmeyi başardı. Bu model, geometri problemlerini daha hızlı ve etkili bir şekilde çözme kapasitesine sahip.

DeepMind, bu modellerin yapay genel zeka (AGI) geliştirme çalışmalarını ileriye taşıyacağını belirtiyor. AlphaProof, matematiksel problemleri resmi bir dil kullanarak çözerken, AlphaGeometry 2 karmaşık geometri sorunlarını hızla çözebiliyor. Bu yenilikler, yapay genel zeka hedeflerine ulaşmada büyük bir adım olarak görülüyor ve matematiksel düşünme yeteneklerini önemli ölçüde artırıyor.

Bu gelişmeler, DeepMind’ın AGI hedeflerine yönelik çabalarını güçlendirecek ve yapay zekanın matematiksel problem çözme yeteneklerini daha da ileriye taşıyacak.