OpenAI опубликовала 722 математические рукописи, объединенные в 372 семейства, которые отобраны по итогам оценки около 4000 исследовательских задач. Коллекция включает статьи, материалы с доказательствами и отдельные краткие изложения рассуждений, а сама внутренняя передовая модель осталась невыпущенной. Средние затраты составили около трех часов размышлений ChatGPT Pro на один результат. Для бизнеса это важно, поскольку проверяется способность ИИ создавать математику исследовательского уровня при низких предельных затратах вычислений.
Что именно выпустила OpenAI и как это устроено
OpenAI разместила материалы в публичном репозитории GitHub и сообщила, что консультировалась с независимой Advisory Group on Mathematics and AI при Institute for Advanced Study о способе публикации. Сэм Альтман назвал выпуск «a new era of discovery». Модель, стоящая за работой, не выпущена, поэтому внешним сторонам доступны только статьи, материалы доказательств и краткие изложения рассуждений. Такая структура отделяет научные заявления от доступности продукта и оставляет проверку математическому сообществу.
Главным заявленным результатом называют Result 003, Quasi-Riemann Hypothesis, который обсуждается вместе с результатом о no-Siegel-zeros. Комментаторы также выделяют результат по умножению целых чисел быстрее, чем n log n, и результат о единственности для elastic inverse problem, которая, по данным статьи, оставалась открытой в 3D с 1994 года. Другие заметки указывают на частичный прогресс по проблемам Riemann, Hodge и BSD. Одна оценка говорит, что около 20% результатов — это опровержения или контрпримеры, что подается как аргумент против сведения успеха лишь к полному перебору.
Реакция сочетает высокую оценку с осторожностью в вопросе проверки. Математик Левент Альпоге похвалил работы по quasi-Riemann и no-Siegel-zeros и назвал это «the most significant moment in mathematical history», одновременно отметив сообщения о перехвате тем и конфликте интересов с участием пользователей моделей других лабораторий. Уилл Депью ожидает, что часть результатов не выдержит проверки, и создал citedbyagi. com для отслеживания цитируемых статей живых авторов. Teortaxes заметил, что три часа вычислений — «is not much», а Франсуа Шолле спросил, переносятся ли успехи в проверяемых математике и коде на области без четкой проверки.
Что это меняет для компаний, внедряющих ИИ
Для компаний, использующих математику в инженерии, финансах, логистике или верификации программ, практическое изменение — это возможный доступ к более быстрой проверке гипотез и помощи в доказательствах при умеренных затратах на инференс. Небольшая компания сможет разобрать сложное выведение или контрпример без содержания исследовательской группы, используя статьи и материалы как отправную точку. Крупная организация сможет вести много параллельных проверок в проектировании, моделях риска или алгоритмах. Различие в масштабе: малые фирмы получают доступ, крупные — пропускную способность по всему портфелю.
Ограничения прямые: о результатах сообщили отдельные комментаторы, независимая проверка пока отсутствует, поэтому ни одну рукопись нельзя считать установленной. Модель не выпущена, изложения рассуждений — это отобранные краткие summaries, а ошибки при проверке ожидаются. Вопросы перехвата тем и конфликта добавляют правовой риск и риск приоритета для совместной работы. Перед использованием таких результатов покупателям следует спросить, что проверено, кем, на каких допущениях и как материал доказательства можно перепроверить независимо.
Маркером станет устойчивость самых сильных заявлений при независимой проверке в ближайшие месяцы. Стоит следить, подтвердятся ли результаты по quasi-Riemann, no-Siegel-zeros и elastic inverse problem, а также приведут ли ссылки, отслеживаемые на citedbyagi. com, к исправлениям или подтверждениям. Подтвержденные доказательства будут сигналом удешевления исследовательской помощи, а массовые отзывы сохранят проверку человеком как главное ограничение.
