gecenin bir köründe düşününce insanın tüylerini diken diken eden gelişme. openai, henüz kullanıma sunmadığı dahili bir frontier modeline tam 722 matematik makalesi yazdırmış ve bunları 372 sonuç ailesi altında github'da yayınlamış. yani ortada ne bir demo ne bir oyuncak sohbet botu var; resmi bir arxiv gönderisi gibi toplanmış, sınıflandırılmış, bağımsız bir advisory group on mathematics and. tarafından elden geçirilmiş bir literatür yığını var. olay şu ki bu model halka açık değil, yani şirket kendi içindeki canavarı önce matematikçilere gösteriyor, sonra bize.
matematik bu işin en acımasız turnusol kağıdı. dil modelleri şiirde, kodda, hukuk metninde kendini affettirebilir; ama bir teoremin ispatı ya doğrudur ya yanlıştır, ortası yoktur. 722 makaleyi aynı çatı altında toplayıp github'a koymak, "bakın biz de bir şeyler yapıyoruz" demenin çok ötesinde bir iddia: biz artık üretilen bilginin de üreticisiyiz demek. advisory group'un varlığı da tesadüf değil; şirket muhtemelen hakemli dergi refleksini taklit ederek "bunu insanlar denetledi" mesajını veriyor.
bana kalırsa asıl mesele 722 sayısı değil, bu modellerin kullanıma sunulmadan bu işi yapabilmesi. daha önce belirttiğim gibi (bkz: #qSIRsWxOn-WYuj6tnv9U_) bu modellerin sınırını biz dışarıdan test ederek değil, şirketlerin bize gösterdiği kadar görüyoruz. yarın bu frontier model bir gün piyasaya çıktığında, matematikçinin işi teorem yazmak değil, teoremi denetlemek olacak. o gün geldiğinde akademinin kredi, atıf ve kariyer ekonomisi baştan aşağı sarsılır; çünkü 372 sonuç ailesini bir gecede üreten bir şeyin karşısında "ben yıllardır bu ispatla uğraşıyorum" demenin piyasa değeri kalır mı, orası ciddi bir soru. gece gece bunu düşünmek insanı biraz ürkütüyor açıkçası.