OpenAI публикува 722 разработки по 372 математически задачи и предизвика „апокалипсис 

OpenAI публикува 722 математически разработки по 372 открити задачи, предизвиквайки едновременно интерес и остра реакция в научната общност. Материалите са създадени от вътрешен експериментален модел и обхващат области като геометрия, алгебра, математическа логика и теоретична информатика. Резултатите са представени като пълни или частични решения, но значителна част от тях все още не е потвърдена независимо.

Компанията публикува разработките на 6 октомври в хранилище в GitHub. Към тях са добавени формализации на много от доказателствата на езика Lean – система, която позволява логическите стъпки да бъдат проверявани от компютър. OpenAI е включила още 10 обобщения на разсъжденията на модела, оценки за използваните изчислителни ресурси и данни за броя на опитаните задачи. По думите на компанията средният резултат е изисквал ресурс, равен приблизително на три часа работа с ChatGPT Pro.

Три ръкописа са оттеглени

По-малко от денонощие след публикуването OpenAI е оттеглила три разработки заради грешка със знак. Според Retraction Watch грешката е обезсилила аргумент в единия материал и конструкцията, използвана в още два ръкописа, зависещи от него. Компанията е преработила и 14 други текста с поправки в доказателства, уточнени твърдения, хипотези и зависимости. OpenAI заявява, че е открила проблемите при вътрешен одит и ще продължи да обновява хранилището с корекции и нови формализации.

Retraction Watch цитира представител на компанията, според когото около 50% от резултатите са публикувани без пълно потвърждение. OpenAI заявява, че приветства проверката от математическата общност и ще оттегля ръкописи, когато не може да бъдат поправени.

Математиците