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

Какво съдържа архивът

Според публикувания на GitHub каталог на OpenAI, към момента на проверката колекцията включва 719 ръкописа, организирани в 372 „семейства“ от свързани резултати. Изданието Axios съобщава за малко по-висока бройка, 722 ръкописа в същия брой групи. Разликата вероятно се дължи на текущо обновяване на хранилището, тъй като самата компания пише, че ще продължава да го допълва.

Всеки резултат е на различен етап на проверка. Около 42% от основните ръкописи вече имат формализация в системата Lean, инструмент за машинна проверка на доказателства, който потвърждава логическата коректност на аргументите стъпка по стъпка. Останалите все още не са формализирани, а OpenAI изрично предупреждава, че част от тях може да съдържат грешки, които компанията ще се опитва да коригира бързо.

Материалите са създадени от все още непубликуван вътрешен модел на компанията. Според описанието в хранилището всеки резултат е отнел средно по три часа изчислителна мощност от типа ChatGPT Pro, а за цялата работа моделът е бил изправен пред около 4000 задачи. Изключение правят доказателство за нулева област на дзета функцията на Риман и доказателство на хипотезата на Ходж за CM абелеви многообразия, получени по различна процедура.

Разпечатан списък за проверка до купчина математически ръкописиГенерирано с AI
Разпечатан списък за проверка до купчина математически ръкописи

Математиците настояват за предпазливост

Независимата консултативна група за математика и изкуствен интелект (AGMAI), в която участват учени от Станфорд, Кеймбридж и Института за перспективни изследвания, заяви, че ролята ѝ не бива да се тълкува като одобрение на резултатите или на начина, по който OpenAI ги е постигнала. Според групата публикуването е само първа стъпка, а не завършек на процеса по разбиране и включване на резултатите в математическото знание. В изявлението си AGMAI посочва, че оценката на значимостта им трябва да направи самата математическа общност.

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