OpenAI: Прорыв в математике с новой моделью Astra

OpenAI представила внутреннюю версию новой ИИ-модели Astra, которая совершила 10 значительных открытий в математике и теоретической информатике. Эти результаты были достигнуты за счет использования токенов на сумму около $2000 по тарифам GPT-5.6 Sol API. Публичный доступ к модели пока не открыт, что оставляет процесс воспроизведения результатов под вопросом.

Компания сообщила, что Astra внесла вклад в решение сложных задач в таких областях, как геометрия высоких размерностей, теория кодирования, арифметическая схемная сложность, теория групп и квантовая сложность. Разработчики выпустили 249-страничный отчет, а также репозиторий с формализованными доказательствами на Lean4. Эти доказательства были сгенерированы моделью, после чего совместная работа с людьми позволила оформить рукописи.

OpenAI подчеркивает важность честной атрибуции: нельзя приписывать человеку авторство полностью сгенерированных ИИ доказательств. Также компания отметила, что на решение задач потребовалось около $2000, но не раскрыла количество неудачных запусков. Один из результатов касается квантовой параллельной повторяемости, что может иметь значительное влияние на квантовую верификацию и криптографию.

Еще одно достижение касается задачи ближайшего вектора, важной для решеточной криптографии. Astra показала улучшение в сложности приближенных решений, что может повлиять на декодирование и связанные с решетками нормы. Компания также объявила о других открытиях, включая построение не-софической группы и новые оценки в экстремальной комбинаторике.

Эти результаты усиливают дискуссию о потенциале ИИ в получении научных открытий. Формализация в Lean помогает снизить риск логических ошибок, однако она не заменяет традиционную научную экспертизу. Оценка соответствия формальных утверждений открытым задачам еще предстоит, а также определение их места в научной литературе.

OpenAI сослалась на Лейденскую декларацию об ИИ и математике, подчеркивая важность рецензирования и атрибуции. Компания берет на себя ответственность за корректность материалов, но приписывает математические аргументы ИИ. Публичный запуск Astra пока не состоялся, оставляя открытым вопрос о воспроизводимости процесса.