Önde gelen matematikçiler Timothy Gowers ve Edward Witten'ın da aralarında bulunduğu bir danışma kurulunun rehberliğinde gerçekleştirilen şirket paylaşımı, henüz piyasaya sürülmemiş modelin kendisine verilen yaklaşık 4.000 açık problemin yaklaşık yüzde 10'unu çözdüğünü ve başarı başına ortalama üç saatlik GPT-Pro düzeyinde bilgi işlem gücü harcadığını ortaya koydu.
Kriptografik güvenliğe yönelik bu değerlendirme, otomatik akıl yürütme alanında akademik topluluğu sarsan hızlı ve dengeleri değiştiren gelişmelerin ortasında gerçekleşiyor.
OpenAI'ın yakın zamanda yayımlanan başarıları arasında, uzun süredir çözülemeyen Benzersiz Oyunlar Varsayımı (Unique Games Conjecture) için önerilen bir ispatın yanı sıra tamsayı çarpımı ve Fourier Dönüşümü gibi temel işlemler için onlarca yıllık zaman rekorlarını kıran yeni algoritmalar yer aldı.
Ancak makine tarafından üretilen araştırmaların ani artışı tartışmalara yol açtı; Association for Human Mathematics bu yayını kınarken, akademisyenler henüz okunmamış yüzlerce makaleyi anlama konusunda zorlu bir yarışla karşı karşıya kaldı.
Bu sırada rakip Anthropic, model keşiflerini inceleyip duyurmak üzere Virginia Williams ve Josh Alman gibi insan araştırmacılarla iş birliği yapıp onlara ödeme sağlayarak zıt bir yayım stratejisi izledi.
Açıklanmayan bu modellerin dijital güvenlik altyapısı için aktif bir tehdit oluşturup oluşturmadığı konusu laboratuvar değerlendirmelerinin ardında gizliliğini koruyor.
OpenAI'ın yüksek yetenekli sistemi henüz ticari abonelerin kullanımına sunulmadı ve erişim şirketin dahili güvenlik kurulunun onayına bağlı bulunuyor.
Araştırmacılar açısından çözüm akınıyla başa çıkma gereksinimi şimdiden bir yöntem değişikliğini zorunlu kıldı; öyle ki matematikçiler, makine tarafından üretilen karmaşık ispatları yalnızca çözümleyebilmek için bile Astra gibi yapay zeka modellerine başvuruyor.
Kurumsal yapay zeka laboratuvarlarının tarihi hesaplama engellerini saatler içinde aşabilen yayımlanmamış sistemleri elinde bulundurması nedeniyle, teorik bilgisayar bilimi alanı akran değerlendirmesi ve akademik itibar çerçevelerini uyarlamak konusunda yoğun bir baskıyla karşı karşıya kalıyor.