OpenAI'nin yapay zekası 2025 Matematik Olimpiyatları'nda altın madalya kazandı

Geçtiğimiz hafta sonu 66. Uluslararası Matematik Olimpiyatı'na (IMO) ev sahipliği yapan Avustralya'da tarih yeniden yazıldı. Ancak bu sefer ilgi odağı genç bir dâhi değil, dünyanın en zorlu üniversite öncesi yarışmasının sunduğu altı zorlu problemden beşini çözerek altın madalya kazanan OpenAI'dan deneysel bir modeldi.

Araştırmacı Alexander Wei, X (eski adıyla Twitter) hesabı üzerinden yaptığı duyuruyla şaşkınlık ve tartışma yarattı. Wei, "Modellerimizi insan rakiplerimizle aynı kurallar altında değerlendiriyoruz: araç yok, internet yok, sadece kalem, kağıt ve akıl yürütme," diye açıkladı.

IMO, matematikte mantıksal ve yaratıcı düşüncenin zirvesi olarak kabul edilir. Bir yapay zekanın gezegendeki en iyi insanlarla eşdeğer bir performansa ulaşmış olması sadece bir anekdot değil, aynı zamanda büyük dil modelleri (LLM) gelişiminde bir dönüm noktasıdır.

Çok miktarda metinle eğitilen bu modeller, yazma, çeviri ve problem çözme becerilerini kanıtladılar. Ancak soyut matematiksel akıl yürütme , şimdiye kadar neredeyse hiç keşfedilmemiş bir alan olarak kaldı.

Alexander Wei, "IMO sorunları, sürekli yaratıcı düşünme gerektirir. Bu, net ödüller paradigmasının ötesine geçip insan zihnine benzeyen karmaşık mantıksal yapılara ulaşabileceğimizi gösteriyor." diye vurguladı.

Modelin yanıtları, modelin gerekçesini fikir birliğiyle doğrulayan üç eski IMO madalyalı sporcu tarafından değerlendirildi. Model, altın madalya için gereken puan olan 42 üzerinden 35 puan aldı.

Bu atılım, Google iştiraki DeepMind'ın AlphaProof ve AlphaGeometry modelleriyle aynı yarışmada yalnızca gümüş madalya kazanmasının hemen ardından geldi. Bilim camiasının çoğu, şimdiye kadar yapay zeka performansının en üst düzeyde olduğunu görmekten hâlâ çok uzak olduğumuza inanıyordu.

Ancak UCLA profesörü Ernest Ryu gibi eleştirel sesler, bilinen problemleri çözmenin bir şey olduğunu, ancak gerçek matematiğin bilinmeyeni icat ettiğini belirtti. "Yapay zekanın yakın gelecekte matematikçilerin yerini alacağını sanmıyorum," dedi, "ama üretkenliklerini artırmak için güçlü bir araç olacak."

Bu yılın en zorlu problemlerinden biri, sabit formüllerin olmadığı ve yaratıcı düşüncenin kilit öneme sahip olduğu bir alan olan kombinatorikti . OpenAI'nin modeli de bu zorluğun üstesinden gelmeyi başardı ve yapay zekayı eğitmeye yardımcı olan eski Olimpiyat sporcularını bile şaşırttı.

Ekip üyelerinden biri, "Kombinatoriği diğer alanlarda olduğu gibi cebire dönüştüremezsiniz. İcat etmeniz gerekir ve yapay zeka bunu başardı," diye açıkladı.

Birçok kişi bu başarının yaklaşan ChatGPT-5'in bir parçası olmasını beklese de, Alexander Wei, Olimpiyat modelinin deneysel olduğunu ve kısa vadede piyasaya sürülmesinin planlanmadığını açıkladı. "Öncelikle bu noktaya nasıl geldiğini anlamak istiyoruz," dedi.

Elde edilen altın, şu anda bir tehdit oluşturmuyor ancak insan bilgisinin yapay zekâyla işbirliği yaptığı yeni bir çağa girdiğinin güçlü bir işaretini temsil ediyor.