OpenAI, yayınlanmamış yapay zeka modeline ait 722 matematik makalesi paylaştı

6 Ekim Salı günü OpenAI, 372 "sonuç ailesine" ayrılmış 722 matematiksel makaleyi halka açık bir GitHub deposunda yayınladı. Şirket, bunların henüz piyasaya sürülmemiş bir dahili sınır modeli tarafından üretildiğini belirtiyor. Scientific American, deponun Doğu Yaz Saati ile akşam 6'da erişime açıldığını bildirdi. Matematikçilerin sonuçları inceleyip kanıtların yeni fikirler içerip içermediğini veya mevcut teknikleri yeniden birleştirip birleştirmediğini değerlendirmesinin aylar sürmesi bekleniyor.openai+2

Bu yayın, OpenAI'ın 8 Eylül'de aynı dahili sistemin üç boyutlu Navier-Stokes akışlarının sonlu zamanda tekillikler geliştirebileceğini kanıtladığını açıklamasından bir ay sonra geldi. Bu problem, Clay Matematik Enstitüsü'nün Milenyum Ödülü Problemleri'nden biridir. Navier-Stokes duyurusu, kredilendirme, şeffaflık ve şirketin sonuçları ne kadar hızlı yayınladığı konusunda sürekli eleştirilere maruz kaldı.scientificamerican+2

Depoda neler var

Aileler 17 disipline yayılmış durumda; teorik bilgisayar bilimi, kombinatorik, cebirsel geometri ve sayı teorisi en çok girişe sahip alanlar. Katalog, pi sayısının irrasyonellik üssü, Mahler varsayımları, NP-zorluğu, serbest grup faktörlerinin izomorfizmi ve göreceli Vlasov-Maxwell denklemleri üzerine iddia edilen sonuçları içeriyor.interestingengineering+2

OpenAI ayrıca kanıtların birçoğunun Lean biçimselleştirmelerini de yayınladı. Lean, bir bilgisayarın kanıtın her mantıksal adımını kontrol etmesini sağlayan bir programlama dilidir. Ancak her makale biçimselleştirilmiş değil. Deponun README dosyası, biçimselleştirilmemiş bazı sonuçların "sorunları olabileceği" konusunda uyarıyor ve biçimselleştirme manifestosu, inceleme durumunu "kontrol edilmemiş" olarak listeliyor.kingy+2

Şirket, modelin değerlendirme sürecinde yaklaşık 4.000 problemi çözmeye çalıştığını belirtti. Ortalama bir sonucun "kabaca üç saatlik ChatGPT Pro düşünme" süresine eşdeğer bir hesaplama gücü kullandığını ifade etti. Modelin muhakemesine dair on özet de dahil edildi. OpenAI, toplam dolar maliyetini, token sayılarını veya halka açık bir model ismini açıklamadı.unite+2

Danışma grubunun rehberliğine kısmen uyuldu

OpenAI, yayını Princeton, New Jersey'deki Institute for Advanced Study bünyesinde bulunan bağımsız Matematik ve Yapay Zeka Danışma Grubu'nun tavsiyeleri doğrultusunda şekillendirdiğini açıkladı. Grup, 29 Eylül'de tavsiyeler yayınladı. Bu tavsiyeler, laboratuvarların model ismini, kullanılan istemleri ve her sonuç için hesaplama maliyetini yayınlamasını ve sonuçları hiçbir yapay zeka laboratuvarının kontrol etmediği depolara yüklemesini talep ediyor. OpenAI, istemleri veya sonuç başına hesaplama verilerini yayınlamadı. Bir şirket sözcüsü Scientific American'a, OpenAI'ın yönergeleri ciddiye aldığını ancak bunlara bağlı olmadığını söyledi.scientificamerican+2

Aynı sözcü, neredeyse her sonucun tek bir aracıya verilen tek bir istemden geldiğini, ancak bazılarının birden fazla deneme gerektirmiş olabileceğini belirtti.scientificamerican

Bölünmüş tepkiler

MIT'den matematikçi Andrew Sutherland, Scientific American'a "Fişleri istemeliyiz" dedi. Problemleri tek seferde çözme iddialarının, model yayınlanana kadar doğrulanmamış kabul edilmesi gerektiğini söyledi. Toronto Üniversitesi'nden Daniel Litt ise tam tersi bir görüş bildirdi: "Bana göre bu, matematik için iyi bir şey olacak".scientificamerican

OpenAI, matematikçilerin yapay zeka tarafından üretilen sonuçları anlamalarına yardımcı olmayı amaçlayan çalıştayları ve konferansları finanse etmeyi planladığını ve bunların arkasındaki "modeli sorumlu bir şekilde yayınlamak" için çalıştığını belirtti.openai