OpenAI выложила в открытый доступ масштабный массив из почти 400 математических результатов, оформленных в виде более чем 700 препринтов на GitHub. Публикация затронула комбинаторику, теорию чисел, алгебру, топологию, квантовую физику и теоретическую информатику. Учёные по всему миру пытаются осмыслить объём вычислений, на разбор которого могут уйти годы.
Для генерации одного решения модели требовалось около трёх часов вычислений в режиме рассуждений ChatGPT Pro, а всего система протестировала свыше 4000 задач. Среди опубликованных материалов есть продвижения по гипотезе Римана, частному случаю гипотезы Ходжа и четырёхмерной гипотезе Какэя — вопросам уровня задач тысячелетия и Филдсовской премии.
При этом научное сообщество столкнулось с серьёзными трудностями при проверке материалов:
- Слабая формализация — машинный код на языке доказательств Lean предоставлен только для 300 результатов из 719 (около 42%), из-за чего проверять остальные тексты экспертам приходится вручную.
- Сложность восприятия — исследователи отмечают сжатый формат изложения и проблемы со списком источников, из-за чего часть логических цепочек трудно разобрать.
- Ошибки и правки — к 8 октября OpenAI уже внесла исправления в более чем десяток статей и отозвала три препринта из-за ошибки в знаке.
- Влияние на академическую среду — внезапный релиз обесценил годы работы отдельных групп и поставил под угрозу одобрение научных грантов.
Консультативная группа по математике и ИИ (AGMAI) рекомендовала компании открывать используемые промпты и архитектуру моделей, но OpenAI эти данные пока не раскрыла. Разработчики пообещали профинансировать серию воркшопов для совместного анализа данных и продолжат тестировать новые версии нейросетей на научных дисциплинах.
