OpenAI, henüz halka açık olmayan dahili bir frontier yapay zeka modelinin geliştirdiği 722 matematik makalesini 372 sonuç ailesi altında GitHub'da yayınladı. Matematik topluluğunun incelemesine açılan çalışmalar, Lean doğrulama süreci ve AGMAI iş birliğiyle dikkat çekiyor.
Yapay zeka teknolojilerinin bilimsel ve akademik alanlardaki sınırları zorlanmaya devam ederken, OpenAI bu alandaki en yeni ve kapsamlı adımlarından birini attı. Şirket, henüz ticari veya halka açık kullanıma sunulmamış olan dahili bir sınır (frontier) yapay zeka modeli tarafından üretilen 722 matematik araştırmasını kamuoyuyla paylaştı. Webrazzi'den Tuğçe İçözü'nün aktardığı bilgilere göre, söz konusu makaleler toplam 372 farklı sonuç ailesi altında GitHub platformu üzerinden erişime açıldı.
Bağımsız Advisory Group on Mathematics and Artificial Intelligence (AGMAI) tarafından yapılan ilk değerlendirmelere göre, yayınlanan bu çalışmalar uzun süredir çözümü bilinmeyen yüzlerce açık matematik problemine yönelik önemli bulgular barındırıyor. Ancak OpenAI, koleksiyondaki sonuçların farklı doğrulama aşamalarından geçtiğini ve henüz resmileştirilmemiş bazı metinlerin hatalar içerebileceğini açıkça belirterek matematik topluluğunun kapsamlı bir inceleme ve doğrulama yapması gerektiğinin altını çiziyor.
Yaklaşık 4 Bin Problem ve Hesaplama Gücü Detayları
Aktarılan teknik detaylara göre yapay zeka modeli, değerlendirme aşamasında yaklaşık 4 bin matematik problemiyle karşı karşıya bırakıldı. Elde edilen bulgular önem derecelerine ve niteliklerine göre filtrelenerek 372 aile ve 722 makaleden oluşan mevcut koleksiyon meydana getirildi. OpenAI, ortalama bir sonucun üretilmesi için harcanan hesaplama gücünün, yaklaşık üç saatlik bir ChatGPT Pro düşünme kapasitesine eşdeğer olduğunu kaydetti.
Süreçteki şeffaflığı en üst düzeye çıkarmak amacıyla modelin akıl yürütme adımlarını özetleyen 10 farklı örnek de kamuoyuyla paylaşıldı. Bu örnek kümesi; pi sayısının irrasyonellik ölçüsü, Mahler varsayımları, Kaplansky'nin doğrudan sonluluk varsayımı ve üç boyutlu relativistik Vlasov-Maxwell sistemi gibi matematiğin farklı ve son derece karmaşık alt dallarından problemleri kapsıyor. Paylaşılan örneklerde ayrıca kullanılan tahmini hesaplama gücü ve denenen problem sayılarına da yer verildi.
Lean Doğrulama Sistemi ve İstisnai Çalışmalar
OpenAI, üretilen kanıtların önemli bir kısmının mantıksal geçerliliğini bilgisayar tabanlı kontrol eden Lean matematiksel doğrulama sistemiyle denetlediğini belirtti. Lean, oluşturulan bir matematiksel ispatın mantıksal olarak tutarlı olup olmadığının denetlenmesini sağlıyor. Buna karşın koleksiyondaki tüm çalışmaların henüz Lean doğrulamasına sahip olmadığı, biçimsel kontroller tamamlandıkça GitHub deposunun düzenli olarak güncelleneceği ifade edildi.
Öte yandan çalışmaların büyük bölümü standart prosedürlerle üretilmiş olsa da bazı istisnai süreçler de dikkat çekti. Riemann zeta fonksiyonunun sıfırsız bölgesi üzerine hazırlanan istisnai bir çalışmanın farklı bir süreçle elde edildiği ve metnin okunabilirliğini artırmak amacıyla insan müdahalesiyle düzenlendiği aktarıldı.
AGMAI İş Birliği, Akademik Şeffaflık ve Gelecek Planları
Yayın süreci, Princeton'daki Institute for Advanced Study bünyesinde faaliyet gösteren bağımsız AGMAI grubuyla yapılan görüşmeler doğrultusunda şekillendirildi. GitHub deposunda makalelerin nasıl güncelleneceğine ve kaynak gösterileceğine dair kurallar da yer alıyor. AGMAI'ın yaklaşımı yalnızca yapay zekanın matematikteki yeteneklerine odaklanmıyor; grup, yapay zeka geliştiricilerinden matematiksel sonuçların mümkün olduğunca akademik kanallar üzerinden duyurulmasını, kullanılan modeller, hesaplama maliyetleri ve yöntemler konusunda şeffaf olunmasını ve bu tür bilimsel keşiflerin pazarlama aracı olarak kesinlikle kullanılmamasını talep ediyor.
Bu çerçevede OpenAI'ın paylaştığı 722 çalışma, yapay zekanın matematiksel akıl yürütme becerisinin geldiği noktayı gösterirken, yapay zeka tarafından üretilen bilimsel sonuçların nasıl doğrulanacağı, yayınlanacağı ve akademik literatüre nasıl dahil edileceği konusunda da kritik bir örnek teşkil ediyor. OpenAI, yapay zeka destekli matematiksel ilerlemelerin akademik dünyada doğru anlaşılmasını teşvik etmek amacıyla önümüzdeki dönemde atölye çalışmaları, konferanslar ve özel programlar finanse edeceğini açıkladı. Şirket ayrıca bu çalışmaları üreten dahili modeli sorumlu bir çerçevede kullanıma sunmak için çalışmalarını sürdürdüğünü belirtti.
