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

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

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

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

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

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