OpenAI заявила об опровержении гипотезы ETH с помощью AI
OpenAI 2026-10-26 сообщила о трёх результатах своих внутренних моделей в математике, теоретической информатике и физике. Один из них — опровержение Exponential Time Hypothesis (ETH), широко используемой гипотезы о вычислительной сложности. По данным OpenAI, текст доказательства получен 2026-10-16, а его формальная проверка в Lean завершена 2026-10-17. Компания опубликовала исходный текст и формализацию для открытого анализа.
OpenAI не назвала модель, её параметры, стоимость работы, контекстное окно и условия доступа. Это публикация исследовательского результата, а не выпуск новой модели или обновление существующей карточки. Проверку организует независимая группа под руководством Russell Impagliazzo, Ramamohan Paturi и Ryan Williams; окончательного заключения научного сообщества пока нет. Поэтому заявленный результат следует считать подтверждённым формальной проверкой Lean по данным вендора, но не завершённым научным консенсусом.
Для бизнеса потенциальный эффект связан не с немедленным удешевлением вычислений, а с пересмотром теоретических ограничений для оптимизации, баз данных, биоинформатики и других задач. Практических алгоритмов, коммерческого API и цены в USD за 1M токенов OpenAI не представила, поэтому оценить стоимость применения в рублях пока невозможно. Риск — принять фундаментальный результат за готовое решение; компаниям стоит дождаться независимой экспертизы и прикладных алгоритмов, прежде чем менять технологические планы.
Далее важно отслеживать выводы рабочей группы, результаты воспроизведения доказательства и появление алгоритмов с измеримым преимуществом на реальных задачах. Также пока неизвестно, раскроет ли OpenAI модель и вычислительные ресурсы, использованные для получения результата.