OpenAI объявила о трёх научных открытиях и новом формате работы с учёными
Американская компания OpenAI опубликовала результаты в математике, информатике и физике, на этот раз привлекая внешних экспертов к их проверке. Работа по информатике, как утверждается, опровергает широко признанную гипотезу экспоненциального времени.
Американская компания в области искусственного интеллекта OpenAI объявила о трёх, как она их называет, крупных открытиях в математике, информатике и физике и выложила часть материалов на GitHub. Менее месяца назад компания массово опубликовала сотни рукописей, которые, по её словам, содержали решения давних математических задач. Теперь к проверке привлечены внешние эксперты, которых OpenAI называет «наставниками». Это важно, поскольку чётких норм проверки и признания результатов, созданных ИИ, пока нет.
Три результата
В математике OpenAI утверждает, что её модель доказала гипотезу о локальном сглаживании для волнового уравнения в любой размерности, а значит, и гипотезу Какея и гипотезу Штейна об ограничении во всех размерностях. Результат модели опубликован напрямую по совету математиков, чтобы исследователи сами подготовили объяснения. Несколько месяцев назад профессор Нью-Йоркского университета Хун Ван получила медаль Филдса за решение гипотезы Какея в трёх измерениях.
В информатике в статье описан детерминированный алгоритм, который точно подсчитывает выполняющие наборы значений для CNF-формул фиксированной ширины за субэкспоненциальное время. Случай 3-SAT, как утверждается, опровергает гипотезу экспоненциального времени (ETH), которую широко считали верной. Проверкой руководят Рассел Импальяццо и Рамамохан Патури из Калифорнийского университета в Сан-Диего, участвовавшие в формулировке гипотезы в 1999 году, и профессор MIT Райан Уильямс. По просьбе группы текст и доказательство в формате Lean сразу опубликованы на GitHub.
В физике OpenAI говорит о математически строгом доказательстве существования некоторых взаимодействующих квантовых теорий поля с калибровочными полями и фермионами в четырёх измерениях, включая квантовую хромодинамику. Материалы опубликованы не полностью; работу будет сопровождать группа под руководством Дэвида Гросса.
Критика подхода
OpenAI признаёт, что у такого подхода могут быть недостатки. Созданная компанией группа математических консультантов AGMAI накануне рекомендовала ИИ-компаниям не назначать избранных людей, получающих результаты первыми, указав на неравный доступ, заимствованную репутацию и предвзятый отбор. Группа посоветовала публиковать результаты в научных репозиториях с доказательствами в Lean. OpenAI также опубликовала открытое письмо с вопросами о раннем доступе, признании заслуг и поддержке исследователей.
