OpenAI выложила 722 математические работы, написанные её внутренней моделью

OpenAI опубликовала 722 математические работы, написанные её внутренней, ещё не выпущенной моделью. Статьи лежат в репозитории openai/math и сгруппированы в 372 семейства — от теории чисел и теоретической информатики до геометрии и математической физики. Среди заявленных результатов — доказательство рациональной гипотезы Ходжа для абелевых многообразий с комплексным умножением, гипотеза Капланского о прямой конечности в характеристике два и новая оценка показателя иррациональности.

По описанию компании, модель пробовала решить около четырёх тысяч открытых задач, примерно по три часа вычислений на каждую. Часть доказательств проверена в Lean — языке, на котором доказательство формализуют так, что его верность подтверждает компьютер; остальные OpenAI обещает формализовать позже. Компания говорит, что консультировалась с независимой группой по математике и ИИ при Институте перспективных исследований.

Сообщество спорит о том, сколько из результатов переживёт проверку. Исследователь OpenAI Уилл Депью написал, что грубых ошибок пока не нашли, хотя у людей такой процент сбоев ожидался бы. У статей нет авторов, а модель, которая их написала, не имеет имени.