OpenAI matematik ve bilgisayar biliminde yüzlerce açık problemi çözdü

OpenAI, danışma kurulundaki matematikçilerin tavsiyesi doğrultusunda teorik bilgisayar bilimi ve matematik alanında uzun süredir çözülemeyen 372 açık problemin çözümünü yayımladı. Yayımlanan sonuçlar arasında bilgisayar biliminin temel varsayımlarından biri olan Subhash Khot'un Benzersiz Oyunlar Varsayımı (UGC) ile L=BPL denklik iddiasının kanıtları yer aldı. Çözümlerin önemli bir kısmı Lean biçimsel doğrulama sertifikaları içeriyor, ancak insan araştırmacılar karmaşık ve alışılmadık yapılar barındıran metinleri bütünüyle anlamlandırmak için çalışmalara yeni başladı.

Araştırmacılar, sunulan kanıtların klasik matematiksel yöntemlerden oldukça farklı, yabancı ve karmaşık özyinelemeli yapılar barındırdığını aktardı. Modellerin metin içi atıfları dağınık kurguladığı, ancak ana teknik iddiaların diğer yapay zeka araçları yardımıyla ayrıştırılabildiği ifade edildi. Bu gelişmenin hemen öncesinde Anthropic modelinin de 3SUM ve En Kısa Yollar problemlerine ilişkin algoritmik sınırları aşan çözümlere temel sağladığı bildirildi. OpenAI sonuçları ham kanıt paketleri olarak sunarken Anthropic tarafı matematikçilerle iş birliği yaparak çözümleri insan diline aktarma yolunu seçti.

Çözümleri üreten yapay zeka sisteminin binlerce bağımsız ajandan oluşan karmaşık bir yapı yerine OpenAI'ın yeni dahili modeli olduğu belirtildi. Test edilen yaklaşık 8 bin açık problemden yüzde 5'lik kısmının ortalama 3 saatlik bilgi işlem gücü harcanarak çözüldüğü aktarıldı. Güvenlik kurulu değerlendirmelerinin ardından bu modelin önümüzdeki aylarda ChatGPT abonelerine sunulabileceği kaydedildi. Üniversitelerdeki teorik araştırma grupları bu kanıtları incelemek ve doğrulamak için çalışma yürütüyor.