Google DeepMind ve OpenAI tarafından geliştirilen yapay zeka sistemleri, bu yıl Uluslararası Matematik Olimpiyatları’nda (IMO) insanüstü bir başarıya imza attı. Her iki kurumun da farklı yapay zeka modelleri, yarışmada yer alan altı sorudan beşini doğru yanıtlayarak 42 üzerinden 35 puan elde etti ve böylece altın madalya seviyesini yakaladı.
Yapay zeka, matematikte altın madalya alabilir
IMO, 1959 yılından bu yana düzenlenen ve cebir, geometri, kombinatorik gibi farklı alanlarda öğrencileri dört buçuk saat süren son derece zorlayıcı matematiksel problemlerle karşı karşıya getiren, dünyanın en prestijli akademik yarışmaları arasında yer alıyor. Yarışmanın bu yılki ayağında ilk kez yapay zeka sistemlerinin bu derece yüksek başarı göstermesi, bu teknolojilerin insan seviyesini geçme eşiğine geldiğine işaret ediyor.
Google DeepMind, geçtiğimiz yıl aynı yarışmada geliştirdiği Gemini modeliyle yarışmaya katılmış, ancak gümüş madalya seviyesinde kalmıştı. Bu yıl ise Gemini modelinin özel bir sürümü olan Gemini Deep Think kullanıldı. Yeni sistem, klasik tek hat üzerinden ilerleyen akıl yürütme yerine, paralel düşünme yöntemine dayalı yeni bir mimariyle çalışıyor.
Model, her problem için birden fazla çözüm hattı kurarak bu yolları eş zamanlı olarak test ediyor ve en tutarlı sonuca ulaşana kadar hipotezleri çapraz kontrol ediyor. Spekülatif akıl yürütme modülleri sayesinde model, yalnızca çözüme ulaşmakla kalmıyor; aynı zamanda matematiksel ispatların doğruluğunu artırmak için alternatif kanıt yolları da geliştiriyor.
Bu model ayrıca doğal dilde verilen problem tanımlarını doğrudan sembolik mantık yapılarına çevirebiliyor. Önceki nesil sistemlerde olduğu gibi problemi bir programlama diline dönüştürme adımına gerek kalmadan, metinsel açıklama üzerinden adım adım geçerli bir ispat üretebiliyor.
DeepMind ekibi, bu yapının uçtan uca bir çözüm sunduğunu ve herhangi bir dış müdahale gerektirmediğini vurguluyor. Yarışma jürisi ise Gemini’ın sunduğu çözüm ve ispatların “insan tarafından yazılmış gibi göründüğü” yorumunu yaptı.
OpenAI cephesinde ise yarışmaya henüz kamuya açıklanmamış deneysel bir model ile katılım sağlandı. Bu model de çok adımlı akıl yürütme sürecine benzer bir yaklaşım uyguluyor. Her sorunun çözümünde semantik çözüm yolları haritalanıyor ve ardından bu yollar mantıksal tutarlılıkla taranarak en sağlam sonuç üretiliyor.
Modelin öne çıkan yönlerinden biri, yalnızca doğru çözüme ulaşması değil, aynı zamanda oluşturduğu çözüm yollarını doğal dilde ispatlama yeteneğine sahip olması. Gelişmiş denetim modülleri sayesinde model, her çözüm adımını içsel olarak doğrulayabiliyor.
Her iki sistem de mevcut haliyle doğrudan son kullanıcıya sunulmayacak. OpenAI CEO’su Sam Altman, bu seviyedeki muhakeme kabiliyetinin şimdilik yalnızca araştırma amaçlı kullanılacağını belirtiyor. GPT serisi gibi halka açık sistemlerin bu düzeyde matematiksel performansa ulaşmasının yakın vadede mümkün olmadığını ifade ediyor.
