OpenAI, henüz kullanıma sunmadığı bir yapay zeka modelinin ürettiği matematik çalışmalarını yayımladı. GitHub üzerinden paylaşılan koleksiyonda, birbiriyle ilişkili sonuçlar 372 başlık altında toplanıyor. Toplam 722 makale taslağı, çözüm iddialarının yanı sıra açık problemlere yönelik kısmi ilerlemeleri de içeriyor.
Şirketin öne çıkardığı çalışmalar arasında dört boyutlu Kakeya varsayımına ilişkin bir çözüm iddiası ve Riemann hipoteziyle bağlantılı sonuçlar var. Ancak 372 başlığın tamamı çözülmüş problem anlamına gelmiyor. OpenAI da çalışmaların farklı doğrulama aşamalarında olduğunu ve biçimsel olarak doğrulanmamış bazı sonuçlarda hata bulunabileceğini belirtiyor.
Paylaşım yalnızca makale taslaklarından oluşmuyor. OpenAI, bazı ispatların bilgisayarla kontrol edilmesini sağlayan Lean dosyalarını ve modelin akıl yürütmesine ilişkin 10 özet de yayımladı. Şirkete göre değerlendirme sürecinde modele yaklaşık 4 bin problem yöneltildi. Her bir sonuç için kullanılan ortalama hesaplama gücü ise yaklaşık üç saatlik ChatGPT Pro kullanımına denk geliyor.
Yayımlama biçimi de tartışmaya açık. Bağımsız Matematik ve Yapay Zeka Danışma Grubu, yapay zekayla üretilen sonuçlarda kullanılan modelin, istemlerin ve her sonuç için harcanan sürenin açıklanmasını öneriyor. OpenAI bazı süreç bilgilerini paylaşsa da bu ayrıntıların tamamını yayımlamadı. Danışma grubunun önerilerde bulunması, makalelerdeki ispatları onayladığı anlamına gelmiyor. Çalışmaların doğruluğu ve matematik açısından önemi, araştırmacıların incelemesiyle netleşecek.
Kaynak: www.engadget.com
