OpenAI’dan matematikte yapay zeka atılımı: 377 yeni sonuç

OpenAI, yapay zekanın matematik alanındaki yeteneklerini ortaya koyan kapsamlı yeni bir çalışmayı kamuoyuyla paylaştı. Şirket, farklı matematik ve teorik bilgisayar bilimi alanlarında elde edilen377 yeni sonuç ailesineilişkin yüzlerce çalışmayı yayımladı.

Şirketin 6 Ekim’de yaptığı duyuruya göre sonuçlar; cebir, sayı teorisi, matematiksel mantık, topoloji ve teorik bilgisayar bilimi gibi birbirinden farklı alanları kapsıyor. OpenAI, sonuçların büyük bölümünün henüz kamuya sunulmayan kurum içi bir ileri seviye model tarafından üretildiğini açıkladı.

Her sonuç İçin Saatlerce Hesaplama

OpenAI’ın paylaştığı bilgilere göre, her bir sonucun elde edilmesi ortalama yaklaşık üç saatlik ChatGPT Pro hesaplama gücüne denk bir işlem gerektirdi.

Model değerlendirme sürecinde yaklaşık4 bin matematik problemiylekarşı karşıya getirildi. Ortaya çıkan çalışmalar daha sonra önem düzeylerine göre sınıflandırılarak sonuç aileleri ve akademik makaleler haline getirildi.

Şirket, elde edilen sonuçların önemli bölümünün bilgisayar tarafından doğrulanabilmesi için matematiksel ispatların Lean adlı biçimsel doğrulama diliyle kontrol edildiğini belirtti. Böylece yalnızca yapay zekanın ürettiği sonuca değil, ispatın mantıksal tutarlılığına da bilgisayar üzerinden denetim uygulanmış oldu.

Yapay Zekanın Matematikteki Rolü Büyüyor

OpenAI, yeni sonuçların yalnızca mevcut problemlerin çözümünden ibaret olmadığını, yapay zekanın bilimsel araştırmalarda nasıl kullanılabileceğine ilişkin yeni bir dönemin de işareti olduğunu vurguluyor.

Şirket, yapay zekanın ürettiği matematiksel çalışmaların daha iyi anlaşılması için atölye ve konferanslar düzenlemeyi, ayrıca bu alandaki özel programları desteklemeyi planlıyor.

OpenAI ayrıca modelin nasıl sonuca ulaştığına ilişkin 10 farklı problem için özetler yayımladı. Böylece araştırmacıların yalnızca sonuçları değil, yapay zekanın problem çözme sürecini de inceleyebilmesi amaçlanıyor.

Navier-Stokes Hamlesinin Ardından Geldi

OpenAI’ın son duyurusu, şirketin eylül ayında matematik dünyasında büyük yankı uyandıran Navier-Stokes çalışmasının ardından geldi.

Şirket, 8 Eylül 2026’da yaklaşık 90 yıldır çözülemeyenNavier-Stokes Milenyum Ödülü Problemiiçin yapay zeka tarafından oluşturulan bir çözüm yayımlamıştı. OpenAI’ın açıklamasına göre şirket içi sistem tarafından hazırlanan çalışma, akışkanların hareketini tanımlayan denklemlerin belirli koşullarda sonlu zamanda tekillik geliştirebileceğini ortaya koyuyor. Çözümün matematiksel açıklamasının yanı sıra Lean ile biçimsel hale getirilmiş kanıtı da paylaşıldı.

Sonuçlar Bilim Dünyasının İncelemesine Açıldı

OpenAI, yeni çalışmaların GitHub üzerinden erişime açıldığını ve makalelerde yapılacak düzeltme ve güncellemelerin de kamuya açık biçimde takip edileceğini belirtti.

Şirketin Matematik ve Yapay Zekâ Danışma Grubu ile yaptığı çalışmaların da bu yayın sürecinin şekillendirilmesinde rol oynadığı ifade edildi. OpenAI, gelecekte benzer bilimsel sonuçları daha şeffaf ve anlaşılır biçimde paylaşmak için yayın standartlarını geliştirmeye devam edeceğini açıkladı.

Yapay zekanın matematikteki bu performansı, bilgisayarların yalnızca bilinen yöntemleri uygulayan araçlar olmaktan çıkıp yeni matematiksel sonuçların ortaya konulmasında aktif rol oynayabileceğine ilişkin tartışmaları da yeniden gündeme taşıyor.