Исследования профессора Университета Линчёпинга Петера Йонссона должны представить через две недели на симпозиуме IEEE по основам компьютерных наук. Однако после заявлений искусственного интеллекта о несостоятельности 27-летней гипотезы значительная часть этой работы, по словам учёного, потеряла актуальность. Йонссон считает, что с похожей проблемой на конференции столкнутся многие исследователи.
Речь идёт об экспоненциальной временной гипотезе (ETH), на которой строились многочисленные работы по теории сложности и разработке алгоритмов. Она предполагает, что затраты на решение некоторых задач растут экспоненциально вместе с увеличением их размера. На этой неделе OpenAI и Anthropic заявили, что искусственный интеллект смог опровергнуть ETH.
«Люди будут начинать доклады словами: “ETH неверна, половина моей статьи не работает”», — сказал Йонссон. Его работу на симпозиуме представит соавтор. Учёный назвал ситуацию сложной, но добавил: «В то же время мы многому учимся. И в этом заключается суть науки».
Полученные с помощью ИИ доказательства пока не прошли независимую проверку, а специалисты ещё не успели полностью разобраться в их содержании. Обе компании разместили доказательства на GitHub в обычной языковой форме и в формате Lean, который позволяет проверять математические рассуждения машинными средствами. OpenAI призвала к обсуждению авторов исходной гипотезы из Калифорнийского университета в Санта-Барбаре и учёного из Массачусетского технологического института, опровергавшего одну из её версий; пока для сбора участников создана Google-форма, а также объявлено о финансировании конференции.
Профессор Калифорнийского университета в Санта-Барбаре Дэниел Локсхтанов намерен присоединиться к этой работе. Если результат подтвердится, около 50 его опубликованных статей окажутся либо «бессмысленными», либо потребуют повторного анализа, а сам исследователь, по его оценке, будет «галактически неправ». «Это огромная бомба, сброшенная в центр области. Одновременно это действительно здорово и ужасно», — сказал он.
Руководитель группы алгоритмических исследований Университета информационных технологий Копенгагена Торе Хусфельдт почти весь год занимался одной задачей, но теперь считает эти усилия неактуальными. Он сформулировал одну из версий гипотезы, которую опроверг OpenAI, и уже проверяет на доске, какие ещё результаты могли устареть из-за этого «события, происходящего раз в поколение». Хусфельдт назвал открытие «фантастическим» и сравнил его с внезапным освещением целой области знаний: «Это очень захватывающее время», — приводит его слова Wired.