OpenAI, AI üretimi matematik sonuçlarını incelemeye açtı

Neler değişiyor?

OpenAI, 6 Ekim’de yayımlanmamış bir iç sınır modelinin açık matematik problemleri üzerinde ürettiği sonuçları GitHub’da paylaştı. Güncel depo 372 sonuç ailesinde 719 çalışma içeriyor; aileler ana sonuçları, eşlik eden argümanları, sonuçları ve alternatif kanıtları birlikte grupluyor.

OpenAI, çalışmaların farklı doğrulama aşamalarında olduğunu ve biçimselleştirilmemiş sonuçlarda hata bulunabileceğini açıkça belirtiyor. Depoya göre üst düzey sonuçların yaklaşık yüzde 42’si Lean ile biçimselleştirilmiş durumda; düzeltmeler ve sürüm değişiklikleri açık geçmişte tutuluyor.

Model yaklaşık 4 bin problem üzerinde değerlendirildi. Şirket, ortalama bir sonucun yaklaşık üç saatlik ChatGPT Pro düşünme işlemine eşdeğer hesap kullandığını; ayrıca on kısaltılmış akıl yürütme özeti ve deneme istatistikleri yayımladığını bildiriyor.

Bu sürüm, her iddianın doğrulandığı anlamına gelmiyor ve modeli genel erişime açmıyor. Asıl gelişme, büyük ölçekli AI araştırma çıktılarının sürümleme, atıf ve biçimsel doğrulama mekanizmalarıyla topluluk incelemesine sunulması.