История
27 окт. 2026 г.
Заявление OpenAI об ETH воодушевило компьютерных учёных — и поставило открытие ИИ под проверку
OpenAI представляет свои последние результаты, сгенерированные ИИ, как сырые исследовательские данные для открытого осмысления академическим сообществом, тогда как компьютерные учёные приветствуют возможный прорыв, но утверждают, что столь значимое заявление нельзя принять без коллективной проверки.
16 октября 2026 года OpenAI заявила, что одна из её систем создала изложенное на естественном языке опровержение гипотезы экспоненциального времени, или ETH, — давнего предположения о сложности решения некоторых вычислительных задач. Компания утверждает, что на следующий день формализовала результат в Lean, а затем решила организовать внешнюю проверку, а не объявлять о завершённой научной победе.1
ETH лежит в основе сотен условных результатов о сложности в информатике. Если это утверждение подтвердится, исследователям, возможно, придётся пересмотреть предположения в областях от теории графов до вычислительной биологии — и вновь обратиться к более широким вопросам о P против NP. OpenAI заявляет, что открытие может помочь в поиске более быстрых алгоритмов, при этом подчёркивая, что практические последствия остаются неопределёнными и требуют «значительных дальнейших исследований».1
Публикация сразу выявила напряжение, присущее науке с помощью ИИ: захватывающий результат, но без возможности обойти проверку. OpenAI опубликовала материалы доказательства и согласилась профинансировать конференцию после того, как группа под руководством Райана Уильямса из MIT, а также Рассела Импальяццо и Рамамохана Патури из UC San Diego попросила провести открытое рассмотрение. Компания называет рукописи «сырыми исследовательскими данными», а не завершённым научным пониманием.1
Уильямс, который помогает организовать ответную работу, сказал, что некоторые части доказательства выглядели обычными — но «две или три инопланетно выглядящие части» убедили его, что «всему сообществу нужно работать над [этим] вместе».2 Он также предупреждал, что убедительное опровержение может поколебать работы, основанные на ETH, и вызвать вопросы о том, затронуты ли некоторые криптографические системы, хотя OpenAI сообщила ему, что не обнаружила немедленных нарушений безопасности.
Этот эпизод происходит в момент, когда передовыми лабораториями давят вопросы, выходящие за рамки науки. Ожидаемое IPO Anthropic рассматривают как референдум о прочности бума ИИ — после более широкой распродажи и опасений из-за огромных расходов на инфраструктуру.3 Для OpenAI заявление об ETH служит ярким контрапунктом: обещанием, что ИИ способен создавать фундаментальные знания. Для академического сообщества это проверка того, можно ли сделать это обещание понятным, воспроизводимым и заслуживающим доверия.