Gelişmiş bir yapay zeka modeli olan Gemini, Uluslararası Matematik Olimpiyatları’nda (IMO) altın madalya standartlarını aşarak çığır açıcı bir başarıya imza attı. 1959’dan beri düzenlenen IMO, genç matematik yetenekleri için en saygın yarışmalardan biri. Her ülke, cebir, kombinatorik, geometri ve sayılar teorisi gibi alanlarda son derece zorlu altı problemle yüzleşmek üzere altı öğrenci ile temsil ediliyor. Madalyalar, üst düzeydeki yarışmacılara veriliyor ve prestijli altın madalyalar çok az sayıda kişiye takılıyor.
Son yıllarda, IMO yapay zeka sistemleri için de bir hedef haline geldi. Geçen yıl Google DeepMind’in AlphaProof ve AlphaGeometry 2 sistemleri altı problemden dördünü çözerek altın madalya sınırına ulaşmıştı. Bu yıl ise, Gemini’nin gelişmiş versiyonu Deep Think, altı problemden beşini mükemmel bir şekilde çözerek 35 puan aldı, bu da altın madalya seviyesinde performans gösterdiğini ortaya koydu. Çözümler online olarak erişilebilir.
Bu başarı, geçen seneki performanstan önemli bir sıçrama. Önceki sistemler, matematiksel problemleri çözmek için özel diller aracılığıyla çeviriye ve günlerce süren hesaplamaya ihtiyaç duyuyordu. Deep Think ise resmi problem açıklamalarından doğrudan ve doğal dil kullanarak kesin matematiksel kanıtlar üretti, hepsi 4,5 saatlik bir zaman sınırı içinde.
Bu performans, Deep Think’in karmaşık problemleri çözmek için gelişmiş akıl yürütme yeteneği ve paralel düşünme gibi yeni araştırma tekniklerini içeren yapısı sayesinde gerçekleşti. Model, tek bir çözüm yoluna bağlı kalmadan mümkün olan farklı çözüm yollarını aynı anda keşfetmeye ve birleştirmeye olanak sağlayan bu mimari sayesinde üstün bir performans sergiledi. Model, daha fazla çok aşamalı akıl yürütme, problem çözme ve teorem kanıtlama verisiyle ve ayrıca IMO problemlerine yaklaşmak için verilen genel ipuçları ve önerilerle eğitilmiş.
Google DeepMind, yapay zekanın matematik alanındaki potansiyelinin henüz erken aşamalarda olduğunu belirtiyor. Sistemlerin daha esnek ve sezgisel bir şekilde akıl yürütmesini hedefliyor ve insan bilgi birikimini ilerletmek için daha karmaşık matematik problemlerini çözebilen yapay zeka sistemleri geliştiriyorlar. Gemini’nin doğal dil kullanımıyla formal sistemlere dayalı yaklaşımın birleşimi, matematikçiler, bilim insanları, mühendisler ve araştırmacılar için yeni bir potansiyel araç sunuyor.