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

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

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

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

Публикацията е определена като безпрецедентна по мащаб. Реакциите варират от оценка за важен технологичен пробив до тревога, че стотици непроверени текстове се стоварват наведнъж върху изследователите. В серията няма решения на останалите пет нерешени задачи от наградата „Милениум“. Тя идва месец след като OpenAI обяви предложение за решение на проблема на Навие-Стокс, който е сред седемте задачи в списъка.

Асоциацията за човешка математика призова математиците да прекратят работата си с OpenAI. В позицията си организацията заяви: „Публикуването на над 700 файла наведнъж не е демонстрация на научност, а демонстрация на сила.“ Тя настоя резултатите да бъдат оценявани с особено внимание и постави под въпрос модела на публикуване, при който човешката проверка започва след представянето на огромен брой машинно генерирани текстове.

OpenAI казва, че целта ѝ е резултатите да ускорят развитието на математиката. Компанията планира семинари, конференции и специални програми, посветени на разбирането на резултатите, а бъдещите публикации трябва да съдържат по-добри обяснения, цитиране и описание на зависимостите между доказателствата. Дотогава стойността на отделните решения ще зависи от независимата проверка на математическата общност.