OpenAI, Yüzlerce Matematik Probleminin Çözümünü İçeren 722 Manuskripti Yayınladı

OpenAI, henüz piyasaya sürülmemiş yeni nesil "frontier" (sınır) yapay zeka modeli tarafından üretilen ve uzun süredir çözülemeyen yüzlerce matematik problemine yönelik çözümleri içeren devasa bir veri setini kamuoyuyla paylaştı. Robert Hart’ın The Verge’deki haberine göre, toplam 722 manuskript ve bu çalışmaları gruplayan 372 sonuç ailesinden oluşan bu hamle, yapay zekanın akademik disiplinlerdeki ilerleyişini hızlandırırken, matematik camiasındaki etik, telif ve şeffaflık tartışmalarını da bir kez daha alevlendirdi.

GitHub Üzerinden Paylaşılan Çözümler ve Teknik Detaylar

Şirket tarafından yapılan açıklamada, söz konusu matematiksel çözümlerin versiyon revizyonları ve atıf protokolleri içeren halka açık bir GitHub deposunda yayımlandığı belirtildi. Paylaşılan materyaller yalnızca nihai sonuçları değil, aynı zamanda modelin akıl yürütme (reasoning) özetlerini, harcanan işlem gücü (compute) tahminlerini ve denenen problem istatistiklerini de kapsamıyor. OpenAI, modelin ortalama bir sonucu elde etmek için ChatGPT Pro'nun yaklaşık üç saatlik düşünme süresine eşdeğer bir işlem kapasitesi kullandığını bildirdi.

Bu yayın süreci, bağımsız matematikçilerden oluşan yeni kurulmuş bir danışma kurulunun yönlendirmeleri doğrultusunda şekillendi. Matematik ve Yapay Zeka Danışma Grubu (AGMAI - Advisory Group on Mathematics and Artificial Intelligence), yapay zeka laboratuvarlarının matematiksel sonuçları akademik kanallar aracılığıyla ve hızlı bir şekilde paylaşmasını, ayrıca kullanılan modelin adı, istemler (prompts) ve maliyet gibi detayların şeffaf bir şekilde açıklanmasını talep etmişti. AGMAI, eylül ayı sonlarında yayımladığı ilk tavsiye kararlarında, şirketlere bu tür bilimsel duyuruları birer pazarlama aracı olarak kullanmaktan kaçınmaları çağrısında bulunmuştu.

Akademik Toplulukla Yaşanan Gerilimler ve Telif Tartışmaları

OpenAI'ın matematik alanındaki iddialı çıkışları son aylarda hız kazansa da, bu durum akademik dünyada mesafeli ve zaman zaman gergin bir yaklaşımla karşılanıyor. Eylül ayında Navier-Stokes denklemleri gibi önemli Milenyum Problemleri'ne yönelik elde edilen başarılar duyurulmuş, ancak şirket ile matematikçiler arasında veri gizliliği ve telif hakları konusunda anlaşmazlıklar çıkmıştı.

Matematikçi Andreas Thom, Mastodon üzerinden yaptığı paylaşımlarda, non-sofic gruplar (sonlu yapılarla yaklaşılamayan sonsuz matematiksel yapılar) üzerine Gábor Kun ile birlikte yürüttükleri çalışmaların OpenAI'ın modelleri tarafından yeterince doğrulanıp doğrulanmadığını sorgulamıştı. Thom, OpenAI araştırmacıları Sébastien Bubeck ve Harvard'dan istatistikçi Mark Sellke’ye e-postalar göndererek etkileşimlerinin eğitim verilerine dahil olup olmadığını sormuş, aldığı yanıtları yetersiz bularak bu durumu "en hafif tabirle dürüstlüksüzlük" olarak nitelendirmişti. Benzer şekilde, New York Üniversitesi'nden Tristan Buckmaster ve Anthropic araştırmacısı Levent Alpöge gibi isimler de yapay zeka modellerinin insan emeğinden ve yayımlanmamış araştırmalardan ne ölçüde faydalandığına dair şeffaflık talep etmişti. OpenAI ise Navier-Stokes çözümüyle ilgili olarak, halka açık olarak paylaşılana kadar hiçbir özel kullanıcı verisinin veya çalışmanın incelenmediğini savunmuştu.

Avrupa Birliği'nde Dijital Filigran Adımı

Öte yandan OpenAI, matematik duyurularının yanı sıra yapay zeka güvenliği ve şeffaflığına yönelik diğer operasyonel adımlarını da sürdürüyor. Webrazzi ve Ars Technica’nın aktardığı bilgilere göre şirket, Avrupa Birliği'nde (AB) ChatGPT ile oluşturulan içeriklerin kaynağının belirlenebilmesi amacıyla metin ve kodlara varsayılan olarak dijital filigran (watermark) eklemeye hazırlanıyor. Her ne kadar bu çözümün kolayca etrafından dolaşılabilse de, düzenlemeler kapsamında bölgesel şeffaflık adımları arasında yer alıyor.

Geleceğe Yönelik Belirsizlikler ve Beklentiler

Paylaşılan yüzlerce belgenin ve çözümün tam etkisinin, matematik camiasının bu materyalleri inceleyip değerlendirmesiyle zaman içinde ortaya çıkması bekleniyor. OpenAI, gelecekteki benzer duyurular için atıflar, matematiksel sunum biçimleri ve sonuçların anlaşılabilirliği konusunda kalitenin artırılacağını taahhüt ederken; Anthropic gibi rakip laboratuvarların da katıldığı bu süreçte sektör genelindeki etik, atıf ve veri kökeni tartışmalarının nasıl sonuçlanacağı belirsizliğini koruyor.