Компания OpenAI опубликовала 722 математические рукописи, охватывающие 372 нерешенные задачи. Для генерации доказательств использовалась невыпущенная внутренняя модель, при этом на решение большинства задач уходило в среднем 3 часа вычислительной мощности.
Среди представленных результатов — доказательство «квази-гипотезы Римана», согласно которому все L-функции Дирихле не имеют нулей в полуплоскости с вещественной частью больше 7/8. Данная работа прошла этап ручной проверки и редактирования.
В опубликованных материалах содержится доказательство NP-трудности порога Basic-SDP без использования гипотезы об уникальных играх (UGC). Это устанавливает теоретический предел для алгоритмов аппроксимации в рамках предположения P не равно NP.
Модель также доказала гипотезу Ходжа для абелевых многообразий с комплексным умножением и решила симметричную гипотезу Малера для всех размерностей. Результаты сопровождаются формальной верификацией в системе Lean.
В августе OpenAI провела закрытую встречу с 40 математиками, где обсуждались перспективы превосходства ИИ в чистой математике. Публикация этих данных вызвала дискуссии в академическом сообществе о будущем математической профессии.
