DeepMind, karmaşık matematik problemlerini çözebilen iki yeni yapay zeka modelini tanıttı

Google'ın yapay zeka araştırma birimi DeepMind'ın şimdiye kadar çözülemeyen bir matematik problemini çözdüğünü sizlere aktarmıştık. Şimdi ise şirket, bu alandaki yeni bir gelişmeyi duyurdu. Şirket, karmaşık matematik problemlerini çözebilen iki yeni yapay zeka modelini tanıttı.

AlphaProof ve AlphaGeometry 2 adlı bu modeller, mevcut yapay zeka sistemlerinin zorlandığı matematiksel akıl yürütme ve problem çözme alanında önemli bir adım olarak değerlendiriliyor.

AlphaProof adındaki model, matematiksel ifadeleri resmi bir dilde kanıtlayabiliyor. AlphaZero isimli bir teknoloji kullanılarak geliştirilen bu model; satranç, shogi ve Go gibi oyunlarda kendini kanıtlamıştı. Bu yeni model, bu yılki Uluslararası Matematik Olimpiyatı’nda dört matematik problemini çözmeyi başararak gümüş madalya aldı.

Diğer model AlphaGeometry 2 ise geometri problemlerini çözme yeteneğini geliştirmiş bir model olarak ön plana çıkıyor. Önceki versiyonundan çok daha fazla veri ile eğitilen AlphaGeometry 2, geçmiş 25 yılın IMO geometri problemlerinin yüzde 83’ünü çözmeyi başardı. Bu model, geometri problemlerini daha hızlı ve etkili bir şekilde çözebiliyor.

DeepMind, bu yeni modellerin yapay genel zeka yani AGI geliştirme çabalarını ilerleteceğini belirtiyor. AlphaProof, matematiksel problemleri resmi bir dil kullanarak çözüyor, AlphaGeometry 2 ise karmaşık geometri sorunlarını hızla çözebiliyor. Bu gelişmeler, matematiksel düşünme yeteneklerini büyük ölçüde artırarak yapay genel zeka (AGI) hedeflerine ulaşmaya yardımcı olabilir.