OpenAI объявила о трех крупных научных открытиях, сделанных ее искусственными интеллектуальными моделями в областях математики, информатики и физики: доказательство гипотезы Какея в гармоническом анализе, опровержение гипотезы экспоненциального времени (ETH) в теории вычислительной сложности, а также строгое доказательство существования четырехмерной квантовой теории поля (включая QCD и стандартную модель).Автор статьи, источник: AIBase
В последние дни официальный представитель OpenAI объявил о трех значительных научных открытиях, сделанных с помощью их искусственного интеллекта в областях математики, компьютерных наук и физики, охватывающих гармонический анализ, теорию вычислительной сложности и квантовую теорию поля. Для преобразования этих передовых исходных исследовательских данных в реальное научное понимание OpenAI экспериментально применила новую модель глубокого сотрудничества с внешним академическим сообществом и разработала диверсифицированные стратегии публикации для результатов в различных областях.
В области гармонического анализа модель успешно доказала гипотезу локальной сглаженности (local smoothing) для всех измерений, тем самым напрямую решив в математическом сообществе гипотезу Какея и гипотезу ограничения Штейна. Новое доказательство основано на новом вспомогательном дифференциальном уравнении в частных производных. OpenAI опубликовала на открытом репозитории GitHub отчет с естественно-языковым выводом, сгенерированным моделью, а также доказательство на языке Lean.
В области информатики система опровергла гипотезу экспоненциального времени (ETH), долгое время считавшуюся истинной, — предположение, тесно связанное с известной проблемой P против NP, которое ранее широко использовалось в сотнях статей для вывода условной вычислительной сложности. Этот результат также был подтвержден в Lean. Работа была передана на проверку и руководство ведущей командой экспертов под руководством Рассела Импаглиаццо, Рамамохана Патури и Райана Уильямса, а соответствующие результаты и формализованное доказательство в Lean были опубликованы на GitHub.
В области физики модель предоставила математически строгое доказательство существования некоторых взаимодействующих квантовых полевых теорий в четырех измерениях, содержащих калибровочные поля и фермионы (включая квантовую хромодинамику (QCD) и унифицированную завершенную версию Стандартной модели физики частиц), причем в качестве подзадачи включает доказательство существования чистой теории Янга–Миллса, что также является частью задачи тысячелетия Института математики Клэя. Эта сложная работа была продвинута группой физиков под руководством Дэвида Гросса (включая Майкла Дугласа, Артура Жаффе, Игоря Клебанова и Никиты Некрасова)
Для всесторонней поддержки независимого рецензирования и углубленного обсуждения этих прорывных достижений академическим сообществом OpenAI ранее предоставила грант в размере 5 миллионов долларов США Фонду Симонса для финансирования соответствующих семинаров, конференций и специальных проектов. Эти меры не только демонстрируют огромный потенциал ИИ в фундаментальных научных исследованиях на переднем крае, но и свидетельствуют о том, что современная теоретическая физика и математика ускоряют переход к более строгим стандартам.