OpenAI объявила о публикации научных материалов, созданных её моделями, и привлечении внешних исследователей к их разбору. Работа охватывает математический анализ, теорию вычислительной сложности и квантовую теорию поля. Компания предлагает рассматривать рукописи как исследовательские данные, которые ещё нужно превратить в научное понимание.
Для трёх направлений выбраны разные способы раскрытия. Математические материалы о локальном сглаживании и гипотезе Какея опубликованы для открытого изучения. В информатике внешняя группа будет проверять и объяснять заявленное опровержение гипотезы экспоненциального времени — ETH. Текст рассуждений и формализация на языке Lean уже размещены на GitHub. В физическом направлении группа сначала подготовит собственное изложение; публикация исходных ИИ-материалов отложена.
По словам OpenAI, математический результат и опровержение ETH формализованы в Lean. Это заявление компании о проверке формальных доказательств, а не сообщение о завершённом независимом научном рецензировании. Специалистам предстоит разобраться в работах, объяснить выводы и оценить их значение.
Участие в группах добровольное и неоплачиваемое. Исследователи независимы, могут обсуждать промежуточные результаты и публиковать собственные заключения; соглашений о неразглашении от них не требуют.
Поводом для объявления 26 октября стали раскрытие материалов и организация академической работы. Сами ИИ-выводы и этапы формализации, по хронологии OpenAI, относятся к более ранним датам сентября и октября.
