ТехноСводка

ИИ

OpenAI представила результаты по математике, информатике и физике; учёные спорят о порядке проверки

OpenAI объявила о трёх результатах, включая опровержение гипотезы об экспоненциальном времени (ETH), но исследователи критикуют выбор экспертов для первичной проверки.

По данным The Verge, математический результат, как заявляется, решает гипотезу Какея во всех размерностях; физический касается квантовой хромодинамики и теории Янга — Миллса (без «разрыва масс»); третий опровергает ETH. Для каждого результата выбрана своя стратегия публикации: математический вывод выложен на GitHub, по информатике собирается внешняя группа, а физический материал пока не опубликован — OpenAI передаст решение внешним экспертам. Профессор Брендан Хассетт назвал заявление по Какея хорошо обоснованным, но отметил, что формализацию в Lean не проверял.

Многие учёные недовольны тем, что OpenAI подбирает экспертов сама. Константин Коглер из Института перспективных исследований назвал странным, что сначала результаты видят лишь избранные, а физик Андреас Карч назвал такой подход «катастрофой». Это эхо октябрьской публикации сотен препринтов, которую профессор MIT Райан Уильямс ранее сравнил с DDoS-атакой на математиков.

По данным TechCrunch, Уильямс вместе с Расселом Импальяццо и Рамамоханом Патури, авторами ETH 1999 года, помогает интерпретировать решение и организовывать реакцию сообщества; они опубликовали открытое письмо с призывом присылать отзывы. Он просил OpenAI профинансировать конференцию. Исследователь Anthropic Левент Алпёж предположил, что OpenAI опиралась на существующие работы, и спустя часы Anthropic выпустила собственное опровержение ETH. Если оно подтвердится, придётся пересмотреть множество работ, опирающихся на ETH, а также оценить последствия для криптографии.

  • Три результата: гипотеза Какея, физика Янга — Миллса, опровержение ETH
  • Anthropic выпустила собственное опровержение ETH
  • Проверка результатов пока не завершена

Источники

Текст подготовлен автоматически по материалам источников и может содержать неточности.