OpenAI, iç modelinin ürettiği 372 matematik sonucunu GitHub'da yayımladı

OpenAI, henüz kullanıma açmadığı bir iç modelin ürettiği 372 matematik sonucunu GitHub'da yayımladı. Şirkete göre her sonuç açık bir problemi çözüyor ya da çözüme önemli ölçüde yaklaştırıyor. Aralarında bilgisayar algoritmalarındaki iyileştirmeler ve Riemann hipoteziyle ilgili ilerlemeler var. Sonuçların neredeyse tamamı tek bir ajana verilen tek bir komutla elde edildi. Sonuç başına harcanan hesap gücü ortalama üç saatlik ChatGPT Pro düşünme süresine denk.

Kanıtların önemli bir kısmı, ispatların bilgisayarla denetlenmesini sağlayan Lean diliyle biçimselleştirildi; yenilerinin eklenmesi planlanıyor. OpenAI sonuçları hakemli dergiler yerine GitHub'a koydu ve süreç için Institute for Advanced Study bünyesindeki bir danışma grubunun görüşünü aldı. Matematikçilerin tepkileri heyecandan hayal kırıklığına uzanıyor. 25 Fields Madalyası sahibi matematikçinin yakın tarihli açık mektubuna göre problem çözmek, asıl amaç olan kavramsal anlayışa giden bir araç; doğru önermeleri toplu üretmek yeni fikirler doğurmak yerine verimli zemini yok edebilir.