OpenAI объявила о трех значимых научных результатах, полученных с помощью своих моделей ИИ. Они касаются математики, информатики и физики.
В области математики модель доказала гипотезу локального сглаживания (local smoothing conjecture) в каждой пространственной размерности не менее двух. Результат также охватывает гипотезы Какея и оценки ограничения Штейна в полном диапазоне.
Компания опубликовала выход модели напрямую на GitHub, следуя рекомендациям экспертов. Ранее гипотеза была доказана только в трех измерениях.
В информатике ИИ опроверг экспоненциальную гипотезу времени (Exponential Time Hypothesis). Представлен детерминированный алгоритм, который точно подсчитывает удовлетворяющие присваивания для формул CNF фиксированной ширины за субэкспоненциальное время.
Проверку результата возглавит независимая группа под руководством Рассела Импальяццо, Рамамохана Патури и Райана Уильямса. Материалы сразу сделали публичными.
В физике получено математически строгое доказательство существования определенных взаимодействующих квантовых теорий поля с калибровочными полями и фермионами в четырех измерениях. В число примеров входят квантовая хромодинамика и единое завершение Стандартной модели.
Группу физиков возглавит Дэвид Гросс, в нее также входят Майкл Дуглас, Артур Джаффе, Игорь Клебанов и Никита Некрасов. Они решили отложить полный релиз, чтобы подготовить собственную интерпретацию.
OpenAI привлекла внешних ученых в качестве «пастухов» (shepherds) для работы с результатами. Компания отмечает, что разные подходы к публикации имеют свои компромиссы, включая вопросы доступа и асимметрии информации.
Профессор математики Алекс Иосевич из Университета Рочестера назвал доказательство гипотезы локального сглаживания историческим развитием. Он выразил радость и оптимизм по поводу потенциала ИИ в науке, хотя и отметил смешанные чувства среди теоретиков.
Как изменится процесс научного открытия, когда ИИ начнет предлагать все больше таких результатов?
