Компания OpenAI объявила о серии новых результатов в математике, информатике и физике, полученных, по её словам, с помощью собственных моделей. Ключевое заявление касается гипотезы экспоненциального времени (Exponential Time Hypothesis, ETH) — утверждается, что модели сгенерировали доказательство её опровержения.
Гипотеза экспоненциального времени — одно из фундаментальных допущений теоретической информатики. Она связана с классической проблемой перебора: ETH утверждает, что некоторые вычислительно трудные задачи принципиально нельзя решать быстрее, чем за время, растущее экспоненциально с ростом размера входных данных. Гипотеза тесно связана с проблемой P versus NP, одной из самых известных открытых задач науки. Опровержение ETH означало бы переворот в представлениях о границах эффективности алгоритмов.
Именно поэтому заявление OpenAI носит столь значимый характер: если доказательство выдержит проверку научным сообществом, речь пойдёт об одном из крупнейших событий в теоретической информатике за десятилетия. Пока компания ограничилась анонсом — подробности применённого метода и полный текст рассуждений в сообщении не приводились.
Помимо результата по ETH, OpenAI сообщила о новых решениях задач в математике и физике. Конкретные формулировки задач и характер полученных ответов в анонсе не раскрываются — компания представила их как серию «открытий», полученных моделями, а не как результат классических исследований с участием людей.
Подобные заявления требуют осторожности. В математике и физике ценность результата определяется не фактом его генерации, а строгой проверкой: доказательство должно быть воспроизводимым и пройти рецензирование специалистов. История науки знает немало примеров, когда громкие претензии на решение великих проблем не выдерживали проверки. Отдельный вопрос — корректность самой постановки: система может выдавать формально правильные рассуждения лишь при условии, что верно понята исходная гипотеза и все её следствия.
При этом сам подход отражает общую тенденцию: разработчики больших моделей всё чаще пробуют применять их не только к прикладным задачам, но и к фундаментальной науке. В математике модели уже использовались для поиска доказательств отдельных утверждений, проверки выкладок и генерации гипотез. Заявление OpenAI о результатах в области ETH — по масштабу проблемы — выходит далеко за рамки таких экспериментов, поэтому ему неизбежно предстоит внимательная проверка со стороны математиков.
Что известно на данный момент: OpenAI подтвердила публикацию новых результатов по трём направлениям — математике, информатике и физике; центральным из них названо доказательство, опровергающее гипотезу экспоненциального времени. Компания не сообщила ни сроков выхода подробностей, ни того, в каком виде материалы будут представлены для независимой проверки. Реакция научного сообщества на анонс пока не сформирована, и именно она определит, войдёт ли это заявление в историю науки или останется неподтверждённым техническим отчётом корпорации.
