Компания OpenAI опубликовала 67-страничную работу, в которой утверждает, что ее ИИ-модель опровергла «Гипотезу экспоненциального времени» (ETH). Эта гипотеза, предложенная в 1999 году, гласит, что логическую задачу 3-SAT невозможно решить быстрее, чем полным перебором комбинаций. Модель OpenAI разработала детерминированный алгоритм, решающий задачу за субекспоненциальное время.
ИИ нашел решение 16 октября, а 17 октября оно было формализовано в среде Lean. Статья была опубликована 17 октября и дополнена 25 октября. OpenAI пообещала опубликовать все исходные данные и профинансировать конференцию по результатам исследования. Сейчас ученые Рассел Импальяццо, Рамамохан Патури и Райан Уильямс проводят независимую проверку работы.
Компания Anthropic 26 октября также представила статью, подготовленную моделью Claude, которая затрагивает ту же проблему 3-SAT. В компании подчеркнули, что результат носит сугубо асимптотический характер и не дает практических преимуществ. OpenAI отметила, что их открытие не решает проблему равенства классов P и NP, а для практического применения требуются дополнительные исследования.
OpenAI выделила $5 миллионов фонду Simons Foundation. Эти средства пойдут на организацию семинаров, конференций и специальных программ, которые помогут научному сообществу изучать и развивать результаты, полученные с помощью искусственного интеллекта.
