ABD'de gizli bir matematik zirvesi düzenlendi. Dünyanın önde gelen 30 matematikçisi, OpenAI'nin geliştirdiği yeni nesil bir yapay zeka olan o4-mini ile karşı karşıya geldi. Amaç, bu yapay zekanın matematiksel yeteneklerini sonuna kadar zorlamaktı.

O4-mini: Akıl Yürüten Bir Yapay Zeka

Standart dil modelleri (LLM), genellikle veriye dayalı tahminler yapar. Ancak o4-mini, daha küçük ve çevik bir model olarak, özel veri setleri ve insan destekli geri bildirimlerle daha derin akıl yürütme yetenekleri kazanmıştır. Bu sayede geleneksel LLM’lerin sınırlarını aşarak karmaşık matematik problemlerine dalabiliyor. Google'ın Gemini 2.5 Flash modeli de benzer yeteneklere sahip. o4-mini, kelime tahmini üzerine eğitilmesine rağmen, insan gibi adım adım mantık yürütme, çıkarım yapma veya ispat geliştirme konusunda olağanüstü yetenekler sergiliyor. Özellikle matematik, bilim veya çok aşamalı planlama gerektiren sorularda akıl yürütme, o4-mini'nin en belirgin özelliğidir. Bu durum, yapay zeka alanında büyük bir atılım olarak değerlendiriliyor. Araştırmacılar, o4-mini'nin karmaşık hesaplamaları dakikalar içinde tamamlayabildiğini, bu hızın hem şaşırtıcı hem de endişe verici olduğunu belirtiyor.

Gizli Toplantı ve Zorlu Sorular

Epoch AI tarafından organize edilen zirvede, matematikçiler gizlilik sözleşmesi imzaladı ve sadece Signal üzerinden iletişim kurmak zorunda kaldılar. E-posta gibi yöntemler, LLM'ler tarafından taranıp eğitimi etkileyebileceği için yasaktı. Katılımcılar, daha önce hiçbir yerde yayınlanmamış 300 matematik sorusu üzerinde çalıştılar. Bu soruların zorluk seviyesi, lisans, yüksek lisans, doktora ve akademik düzeydeki en zor problemleri içeriyordu. O4-mini'nin çözemediği her soru, hazırlayan matematikçiye 7.500 dolar kazandıracaktı. İki gün süren yoğun çalışma sonucunda, yapay zekanın yeteneklerini sınırlarını zorlayan bir dizi soru oluşturuldu. Bu sorular, yapay zekanın mevcut yeteneklerini anlamanın yanı sıra gelecekteki gelişimi için de önemli bir ölçüt oluşturmaktadır.

Beşinci Seviye ve Gelecek

Yapay zekanın beşinci seviye soruları, şu ana kadar hiçbir insan tarafından çözülememiş problemlerden oluşuyor. Zirve katılımcılarının gözlemleri, OpenAI'nin geliştirdiği o4-mini'nin bir yılda inanılmaz bir ilerleme kaydettiğini gösteriyor. Bu durum, yapay zekanın akademik dünyadaki rolünü ve matematikçilerin gelecekteki işlevlerini yeniden tanımlamayı gerektiriyor. Virginia Üniversitesi’nden matematikçi Ken Ono, o4-mini'nin bir bilim insanı gibi akıl yürütüyor olmasının ürkütücü olduğunu, ancak aynı zamanda bu teknolojinin eğitim ve araştırmada devrim yaratma potansiyeline sahip olduğunu belirtiyor. Yapay zekanın bu gelişimi, hem heyecan verici hem de endişe uyandırıcı bir geleceği beraberinde getiriyor. Araştırmacılar, yapay zeka sonuçlarına körü körüne güvenmenin tehlikelerine de dikkat çekiyor.