Компания OpenAI передает три вывода, сгенерированные искусственным интеллектом, в областях математики, информатики и физики, на внешнюю академическую экспертизу. Цель инициативы — проверить различные подходы к верификации и объяснению результатов, полученных ИИ. Эти три заявленных прорыва касаются конъюнктуры локального сглаживания, гипотезы об экспоненциальном времени и математических доказательств существования квантовых теорий поля.
Для проверки результатов будут привлечены внешние исследователи. В частности, команда из Калифорнийского университета в Сан-Диего, включая Рассела Импаджальзо и Рамамохана Патури, а также Райана Уильямса из Массачусетского технологического института, возглавит экспертизу выводов в области информатики.
В сфере информатики ИИ-модели, по заявлению OpenAI, опровергли гипотезу об экспоненциальном времени. Эта гипотеза касается сложности решения определенных логических задач, где компьютеру необходимо определить, могут ли заданные условия быть удовлетворены набором истинных или ложных утверждений. Гипотеза предполагает, что даже самый совершенный алгоритм не сможет избежать экспоненциального роста времени, необходимого для решения этих задач в худшем случае. Опровержение этой гипотезы ставит под сомнение принятые ограничения для возможных алгоритмов.
В математике заявлен результат, касающийся конъюнктуры локального сглаживания. OpenAI утверждает, что свои модели доказали эту конъюнктуру во всех измерениях. Проблема локального сглаживания относится к гармоническому анализу и изучает поведение волн во времени. Конкретно, вопрос заключается в том, насколько уменьшается концентрация волны, когда ее поведение рассматривается в течение определенного периода. Этот результат имеет последствия для конъюнктур Кейки и ограничения. Стоит отметить, что ранее работы по локальному сглаживанию в двух пространственных измерениях были опубликованы Ларри Гаттом, Хонгом Вангом и Жуйсяном Чжаном.
В физике усилия сосредоточены на математических доказательствах существования квантовых теорий поля, включая квантовую хромодинамику. Группа под руководством Дэвида Гросса изучит эти работы. Квантовая теория поля описывает частицы и их взаимодействия через поля, управляемые квантовой механикой. Квантовая хромодинамика (КХД) описывает сильное взаимодействие, связанное с кварками и глюонами. Математическое доказательство существования теории требует построения ее на строгом фундаменте с заданными свойствами. Это отличается от того, чтобы предсказания теории совпадали с экспериментальными данными. Дополнительно, это исследование связано с проблемой Янга-Миллса — тысячелетним призом, который требует не только установления существования теории, но и доказательства «массового зазора» — минимальной энергии, разделяющей вакуум и его возбуждения.
Для проверки математических и вычислительных материалов OpenAI использует доказательства, проверенные в программном обеспечении Lean. Lean требует, чтобы доказательства были сформулированы на точном математическом языке, а затем проверяет, соответствуют ли рассуждения логическим правилам системы. Это обеспечивает более веские доказательства, чем просто убедительное письменное объяснение. Эти три направления работы определят, как доказательства, созданные ИИ, станут результатами, которые сможет оценить и использовать широкое научное сообщество.
