Simgesel görselOpenAI yüzlerce iddia edilen sonucu yayımladı, matematikçiler doğrulama sürecini sorguluyor
OpenAI salı günü yapay zekâ ürünü geniş bir matematik sonuçları koleksiyonu yayımladı. Matematikçiler etkilendi, ancak sonuçların nasıl denetlendiğinden kuşku duyuyor.
OpenAI sonuçları 6 Ekim Salı günü bir blog yazısıyla GitHub'da yayımladı. FAZ, çözüm, ispat veya ispat parçaları içeren 700'den fazla katkı sayarken, The Guardian sayı kuramı ve cebirsel geometriden matematiksel mantığa uzanan alanlarda 370'ten fazla sonuç bildiriyor. FAZ'ın aktardığına göre Wall Street Journal, sonuçlar arasında kalan beş Milenyum Problemi'nden üçünde ilerleme bulunduğunu yazdı; Rutgers Üniversitesi'nden Alex Kontorovich, bunu bir insan başarsaydı Fields Madalyası'nın kesin olacağını söyledi. OpenAI, modele yaklaşık 4000 problem sunduğunu, yöntemini ve gereken hesaplama gücünü ana hatlarıyla anlattığını belirtiyor.
Doğrulama ve erişim konusunda kuşkular
OpenAI, Institute for Advanced Study bünyesindeki Advisory Group on Mathematics and Artificial Intelligence uzmanlarına danıştığını söylüyor. Enstitünün kendisi ise en zor problemlerin kapalı modellerde sınanmasını onaylamadığını belirtti; iki katmanlı bir sistem ve hiçbir insanın doğrulayamayacağı yapay zekâ argümanları konusunda uyardı. OpenAI matematikçilere söz hakkı vereceğini açıkladı, ancak uygulamayı durduracağını söylemedi. NYU'dan matematikçi Tristan Buckmaster, New York Times'a istemlerin modele sonuca ulaşmasına yardımcı olan bilgiler sağlamış olabileceğini söyledi.