Доказательства, созданные ИИ OpenAI, переданы независимым экспертам

27 октября 2026 года OpenAI объявила, что передала внешним экспертам на оценку три доказательства, которые, по утверждению компании, создали её модели в математике, информатике и физике. Компания рассматривает эти работы не как завершённые научные результаты, а как исследовательские материалы, требующие проверки. Оценка в трёх областях проходит по-разному: некоторые доказательства опубликованы, тогда как материалы по физике пока не обнародованы.

В чём состоит утверждение в области информатики?

Первая работа посвящена гипотезе об экспоненциальном времени (ETH), тесно связанной с задачей выполнимости булевых формул (SAT). Согласно ETH, в худшем случае время, необходимое для решения задачи SAT, растёт экспоненциально с числом переменных. OpenAI утверждает, что её модели создали доказательство, опровергающее эту гипотезу. Если утверждение подтвердится, придётся пересмотреть основания некоторых исследований, в которых границы выводятся из предположения о справедливости ETH; однако это само по себе не сделает такие исследования недействительными.

Рассел Импальяццо и Рамамохан Патури из Калифорнийского университета в Сан-Диего, а также Райан Уильямс из MIT займутся независимой проверкой и разъяснением результата. По просьбе этой группы OpenAI опубликовала текстовое доказательство и его версию в Lean. Lean позволяет проверить, следует ли закодированное утверждение из шагов доказательства, но сама по себе система не определяет, верно ли это утверждение отражает задачу, которую исследователи намеревались решить. Поэтому экспертная оценка не ограничивается формальной проверкой: необходимо также рассмотреть научный смысл заявления.

Какие результаты выделяются в математике и физике?

Математическая работа посвящена предположению о локальном сглаживании, которое описывает распространение волн во времени. OpenAI заявляет, что её модели создали доказательство этого предположения для всех размерностей, а не только для двух. Согласно заявлению компании, этот результат может также означать доказанность гипотезы Какеи и гипотезы об ограничениях Штейна во всех размерностях. Для этой работы не сформировали отдельную экспертную группу; текстовое доказательство и доказательство в Lean открыты для изучения исследователями.

Работа по физике посвящена математическим основам квантовых теорий поля. OpenAI утверждает, что её модели доказали математическое существование некоторых теорий в четырёх измерениях. Заявленный результат для теории Янга — Миллса охватывает лишь часть задачи тысячелетия, связанную с существованием. Утверждений о доказательстве наличия у теории массового зазора нет; следовательно, это не означает полного решения соответствующей задачи тысячелетия. Работу оценит группа экспертов под руководством Дэвида Гросса; компания пока не публикует материалы физического доказательства. Планируется, что группа представит результат своей работы.

Что это значит для рабочих процессов в архитектуре, дизайне интерьеров и визуализации?

Эта новость не связана с анонсом новой функции в программах для архитектурного моделирования или визуализации. Действительность доказательств и их практические последствия ещё предстоит оценить экспертам. OpenAI отмечает, что результат по информатике может помочь исследованиям в области более совершенных алгоритмов, но признаёт, что для получения практических преимуществ потребуется дополнительная работа. Поэтому на данный момент для архитектурных бюро и команд визуализации не объявлено об изменениях в конкретных рабочих процессах, требованиях к оборудованию или совместимости программ.

OpenAI также сообщила, что выделит Simons Foundation 5 миллионов долларов на обсуждение значения результатов, созданных с помощью ИИ. Компания считает, что научное признание следует отдавать исследовательским группам, которые раскрывают и оценивают доказательства. При этом продолжается обсуждение того, как именно будет проходить проверка, кто и когда получит доступ к результатам и как определять научный вклад.