OpenAI объявила 26 октября о научных открытиях, достигнутых с помощью своих моделей искусственного интеллекта, в математике, информатике и физике. Однако подход компании к проверке и коммуникации этих результатов вызвал критику со стороны ряда исследователей.
Три результата в трех дисциплинах
Первый касается гипотезы локального сглаживания, предложенной математиком Кристофером Соггом в 1991 году. Она утверждает, что наиболее экстремальная концентрация волн может быть лишь кратковременной. OpenAI заявляет, что ее модели смогли доказать это с помощью «нового вспомогательного уравнения в частных производных», не вдаваясь в подробности своего подхода. Компания подчеркивает, что из этой гипотезы следуют другие, включая гипотезу Калеи, которая сводится к вращению иглы на столе так, чтобы она указывала во всех направлениях, покрывая при этом минимально возможную площадь. Хонг Ван и Джошуа Захл нашли решение в 2025 году, но только для ее трехмерной версии. Таким образом, OpenAI утверждает, что также решила гипотезу Калеи.
В информатике компания заявляет, что ее модели доказали ложность широко распространенного предположения — гипотезы экспоненциального времени (ETH), согласно которой некоторые проблемы становятся чрезвычайно долгими для решения по мере увеличения числа переменных. Она связана с проблемой P=NP, которая исследует, может ли проблема, решение которой легко проверить, также быть легко решенной. Райан Уильямс, специалист по информатике и профессор MIT, объяснил Techcrunch: «Это звучит слишком хорошо, чтобы быть правдой». По словам OpenAI, он сам опроверг несколько версий ETH и войдет в число экспертов, которые будут проверять ее работу. 27 октября Anthropic объявила, что ее модели также опровергли эту гипотезу, разработав алгоритмы, способные решать сложные задачи за «субэкспоненциальное» время.
В физике OpenAI утверждает, что ее модели создали «математически строгое доказательство существования» квантовой хромодинамики — теории, описывающей сильное взаимодействие между частицами, такими как кварки и глюоны. Результат также касается унифицированного расширения Стандартной модели физики элементарных частиц, которая охватывает три из четырех фундаментальных сил, за исключением гравитации. Компания также указывает, что доказала существование теории Янга — Миллса.
Спорная публикация
OpenAI выбрала три способа публикации. В математике она поделилась результатом и предоставила исследователям возможность объяснить свою работу. Для математики и информатики она опубликовала доказательство на Lean — языке программирования, позволяющем проверять математические доказательства с помощью компьютера. Для физики публикация была отложена. «Учитывая объем и сложность работ, мы отложили их публикацию до завершения формализации на Lean. Мы завершили формализацию доказательства существования теории Янга — Миллса 16 октября 2026 года», — пояснила компания.
Коллектив AGMAI, состоящий из математиков, которые консультируют компании в сфере ИИ по вопросам распространения результатов, не был убежден. Он призывает OpenAI без промедления обнародовать результаты на естественном языке и на Lean. Он напоминает, что теория Янга — Миллса входит в число задач Премии тысячелетия, сформулированных Математическим институтом Клэя в 2000 году. «Таким образом, больше нет никаких научных причин откладывать публикацию», — подчеркивает группа.
Неравный доступ
Несколько исследователей также критикуют OpenAI за ограничение доступа к своим результатам лишь нескольким выбранным экспертам, ответственным за проверку и надзор за ее работой по каждому открытию. «Абсурдно, что сначала с ними могут ознакомиться лишь несколько выдающихся ученых», — заявил Константин Коглер, исследователь из Института перспективных исследований, в беседе с The Verge. Андреас Карч, профессор физики из Техасского университета, со своей стороны считает, что «крупные лаборатории уже обладают достаточной властью». AGMAI уже накануне объявления не рекомендовала такой подход, полагая, что другие математики «могут быть отстранены от работы над этим».
