Yapay zeka (YZ) alanında çığır açan gelişmeler yaşanmaya devam ediyor. Google DeepMind’in geliştirdiği AlphaGeometry2 adlı yapay zeka sistemi, Uluslararası Matematik Olimpiyatı’nda (IMO) yarışan altın madalya sahibi öğrencilerin ortalama performansını aşarak dikkatleri üzerine çekti. Haberi ilk olarak Decoder web sitesi duyurdu. Bu başarı, yapay zekanın karmaşık matematik problemlerini çözme ve mantıksal akıl yürütme becerilerini gözler önüne seriyor. Bu başarı Google’ın 2023 yılında yaptığı bir strateji hamlesine dayanıyor. Şirket Deepmind ve Brain’i birleştirmiş ve özelikle sanat ve matematik alanlarında daha verimli bir yapay zeka öngörmüştü.

AlphaGeometry2’nin Başarısı

AlphaGeometry2, lise öğrencilerinin katıldığı prestijli bir matematik yarışması olan IMO’da son 25 yıldaki geometri problemlerinin %84’ünü çözmeyi başardı. Bu, yapay zekanın matematiksel muhakeme yeteneklerinin ne kadar geliştiğini gösteren önemli bir kilometre taşı.

Neden Matematik Problemleri?

DeepMind, zorlu geometri problemlerini çözmenin, daha yetenekli bir yapay zekanın anahtarı olduğuna inanıyor. Matematiksel teoremleri kanıtlamak, hem akıl yürütmeyi hem de problem çözme becerilerini gerektirir. Bu beceriler, gelecekteki genel amaçlı yapay zeka modellerinin önemli bir parçası olabilir.

AlphaGeometry2’nin Yapısı

AlphaGeometry2, Google’ın Gemini yapay zeka modelleri ailesinden bir dil modeli ve bir “sembolik motor” dahil olmak üzere çeşitli temel unsurlardan oluşuyor. Gemini modeli, sembolik motorun geometri teoremleri için uygulanabilir kanıtlara ulaşmasına yardımcı oluyor.

Nasıl Çalışıyor?

AlphaGeometry2, diyagramlara “yapılar” ekleyerek geometri problemlerini çözüyor. Gemini modeli, hangi yapıların eklenmesinin yararlı olabileceğini tahmin ederken, sembolik motor matematiksel kuralları kullanarak çözümleri kontrol ediyor. Bir arama algoritması, yapay zekanın birden fazla çözümü paralel olarak aramasına ve olası bulguları saklamasına olanak tanıyor.

Eğitim Süreci Nasıl Oluyor?

AlphaGeometry2’nin dil modelini eğitmek için DeepMind, 300 milyondan fazla teorem ve kanıt üreterek kendi sentetik verilerini oluşturdu. Bu, yapay zekanın geometri eğitim verilerinin eksikliğini aşmasına yardımcı oldu.

Sonuçlar

AlphaGeometry2, son 25 yıldaki IMO yarışmalarından seçilen 50 geometri probleminin 42’sini çözerek ortalama altın madalya puanını aştı. Bu başarı, yapay zekanın matematiksel yeteneklerinin ne kadar ilerlediğini gösteriyor.

Tartışmalar ve Gelecek Yönelimleri

AlphaGeometry2’nin başarısı, yapay zeka sistemlerinin sembol manipülasyonu mu yoksa sinir ağları üzerine mi inşa edilmesi gerektiği konusundaki tartışmaları alevlendirdi. AlphaGeometry2, her iki yaklaşımı da bir araya getiren hibrit bir yaklaşım benimserken, gelecekteki yapay zeka modellerinin hangi yönde ilerleyeceği merak konusu.