OpenAI, 6 Ekim Salı günü 722 matematik makalesini herkese açık bir GitHub deposunda paylaştı. Şirkete göre metinler, henüz yayımlanmamış dahili bir öncü yapay zekâ modelinin ürünü. Makaleler 372 “sonuç ailesi” altında toplandı ve matematik dünyasında hem heyecan hem şüphe yarattı.

Depoda neler var?

Sonuçlar 17 farklı disipline yayılıyor. En çok girdi kuramsal bilgisayar bilimi, kombinatorik, cebirsel geometri ve sayı kuramında. Katalogda pi’nin irrasyonellik üssü, Mahler varsayımları, NP-zorluğu ve göreli Vlasov-Maxwell denklemleri gibi başlıklar yer alıyor. OpenAI, modelin değerlendirme sürecinde yaklaşık 4.000 problemi denediğini söylüyor. Ortalama bir sonuç için harcanan işlem gücü, yaklaşık üç saatlik ChatGPT Pro düşünme süresine denk geliyor. Pakete modelin akıl yürütmesine ilişkin on kısaltılmış özet de eklendi.

Lean ile doğrulama var, ama eksik

OpenAI, ispatların birçoğunun Lean formalizasyonlarını da paylaştı. Lean, bir ispattaki her mantıksal adımı bilgisayara denetleten bir programlama dili. Ancak her makale formalize edilmedi. Deponun README dosyası, formalize edilmemiş bazı sonuçların “sorunlu olabileceği” uyarısını yapıyor; inceleme durumu ise “denetlenmedi” olarak işaretli. Şirket modelin adını, toplam dolar maliyetini ve token sayılarını açıklamadı. Matematikçilerin ispatların gerçekten yeni fikir içerip içermediğini değerlendirmesi aylar alabilir.

Şeffaflık tartışması ve bölünen tepkiler

Paylaşım, OpenAI’ın 8 Eylül’de aynı dahili sistemin üç boyutlu Navier-Stokes akışlarında sonlu sürede tekillik oluşturabileceğini kanıtladığını duyurmasından bir ay sonra geldi. Şirket, Princeton’daki Institute for Advanced Study bünyesindeki Matematik ve Yapay Zekâ Danışma Grubu’nun tavsiyelerinden yararlandığını söylüyor. Grup; model adı, istemler ve işlem maliyetinin paylaşılmasını önermişti. OpenAI istemleri ve sonuç başına işlem gücünü yayımlamadı. MIT’den Andrew Sutherland “Kanıt istemeliyiz” derken, Toronto Üniversitesi’nden Daniel Litt bunun matematik için iyi olacağını düşünüyor. OpenAI, matematikçilere yönelik çalıştaylar düzenlemeyi planlıyor.