OpenAI представила три научных результата с внешней проверкой

Что произошло

OpenAI сообщила о трех новых результатах в математике, информатике и физике. Компания изменила подход к публикации таких материалов и заявила, что теперь получает рекомендации ученых.

Внешние специалисты будут сопровождать результаты в информатике и физике. Для математической работы OpenAI опубликовала вывод модели напрямую, чтобы исследователи могли самостоятельно проработать объяснения.

Что именно заявила компания

Математический результат посвящен локальному сглаживанию для евклидова волнового уравнения. По заявлению OpenAI, доказательство устанавливает результат Согге для волн во всех пространственных измерениях не менее двух, а также дает результаты для гипотез Какаеи и сферических оценок ограничения Штейна внутри предполагаемого диапазона.

В информатике работа утверждает, что экспоненциальная гипотеза времени неверна. В ней описан детерминированный алгоритм, который точно подсчитывает удовлетворяющие назначения для формул КНФ фиксированной ширины за субэкспоненциальное время и при использовании полиномиального объема памяти. Случай 3-SAT, по заявлению OpenAI, опровергает эту гипотезу.

Физическая часть пока не опубликована полностью. OpenAI описывает ее как строгое математическое доказательство существования некоторых взаимодействующих квантовых теорий поля с калибровочными полями и фермионами в четырех измерениях, включая квантовую хромодинамику и объединенное завершение Стандартной модели физики частиц.

Как будут проверять результаты

Независимая группа специалистов по информатике под руководством Russell Impagliazzo, Ramamohan Paturi и Ryan Williams должна изучить и объяснить доказательство. В группу также входят ученые, участвовавшие в первоначальной формулировке гипотезы в 1999 году.

По решению группы OpenAI сразу открыла материалы для проверки. Работу по физике будет сопровождать группа под руководством David Gross, в которую войдут Michael Douglas, Arthur Jaffe, Igor Klebanov и Nikita Nekrasov.

Почему это важно

Публикация поднимает вопросы о порядке раннего доступа к результатам, созданным ИИ, раскрытии конфликтов интересов и использовании неопубликованных материалов в последующих исследованиях.

Отдельно обсуждается распределение авторства и признания между теми, кто предложил новый результат, и теми, кто его проверяет, исправляет, упрощает, объясняет или развивает.