26 октября 2026 года OpenAI объявила о трёх новых научных результатах, полученных её внутренними моделями искусственного интеллекта. Результаты касаются математики, информатики и физики, и вместе с ними компания представила новый способ работы с академическими сообществами. В этом способе внешние эксперты привлекаются в качестве shepherd — специалистов, которые сопровождают результаты в процессе проверки и оценивают их. Сама OpenAI открыто заявляет, что эти результаты ещё не прошли независимое рецензирование (peer review). Поэтому в данной статье научные результаты излагаются не как подтверждённые факты, а как заявления OpenAI. Компания также сообщила, что не запрашивает академический credit — признание научного авторства. Эта позиция — один из важнейших аспектов объявления, поскольку она полностью возлагает задачу оценки результатов на академическое сообщество. Все три результата были объявлены в один день, одним пакетом, однако каждый из них пройдёт отдельный путь проверки. Результат по математике открыт для оценки исследователями, а результаты по информатике и физике ожидают независимой проверки. Таким образом, само объявление — одно событие, но научная судьба его делится на три разных процесса. Заявление OpenAI опубликовано в официальном блоге компании, событие также осветил The Verge. Оба источника подтверждают одни и те же основные факты: дату объявления, три области, модель shepherd и то, что независимая проверка ещё не завершена.
Математика: гипотеза о локальном сглаживании
Согласно заявлению OpenAI по математике, одна из её моделей доказала гипотезу о локальном сглаживании (local smoothing conjecture) во всех размерностях. Как утверждает компания, это доказательство также решает гипотезу Какеи (Kakeya conjecture) и гипотезу об ограничении Штейна (Stein restriction conjecture). Эти три проблемы упоминаются как связанные, и утверждается, что результат по локальному сглаживанию даёт решение и для двух остальных. Доказательство было подготовлено 18 октября 2026 года, а на следующий день, 19 октября, — формализовано в системе Lean. Формализация в Lean означает, что доказательство приведено к форме, проверяемой машиной, и этот шаг особо отмечен в объявлении. Результат по математике отличается от двух других именно этим: он открыт для оценки исследователями. То есть математическое сообщество уже сейчас может изучать, проверять и оценивать доказательство. Эта открытость — иной путь, чем модель shepherd, повторяющаяся в остальной части объявления, и она означает, что процесс оценки по математике уже начался. В то же время открытость по-прежнему не означает, что результат прошёл независимое рецензирование. Пока речь идёт только о заявлении OpenAI и о его формализации в Lean. Окончательную научную оценку даст проверка математического сообщества. Если проверка подтвердит заявление, это будет означать одновременное решение трёх связанных проблем, если не подтвердит — заявление будет считаться отклонённым. В обоих случаях на нынешнем этапе ясно одно: утверждается, что доказательство существует, оно формализовано в Lean и открыто для оценки.
Информатика: гипотеза экспоненциального времени
По информатике OpenAI заявляет, что гипотеза экспоненциального времени (Exponential Time Hypothesis, сокращённо ETH) неверна. Как утверждает компания, её система доказала неверность ETH, и этот результат впоследствии был проверен в Lean. ETH упоминается как одно из основных предположений теории информатики, и поэтому заявление о её опровержении привлекло большое внимание. Однако, в отличие от результата по математике, заявление по информатике ещё ожидает независимой проверки. Независимую проверку проведёт группа под руководством Рассела Импальяццо и Рамохана Патури из Калифорнийского университета в Сан-Диего, а также Райана Уильямса из Массачусетского технологического института. Эта группа изучит и оценит заявление независимо от OpenAI. То, что состав группы назван в объявлении поимённо, показывает прозрачность процесса проверки: заранее известно, кто будет проверять. Пока проверка не завершена, заявление по ETH также не считается подтверждённым научным результатом. Сама OpenAI также не запрашивает академический credit по этому результату, то есть не требует признания авторства заявления. Такой подход, по-видимому, направлен на то, чтобы не оказывать давление на работу проверочной группы. Дальнейшее развитие событий по информатике теперь зависит именно от вывода этой группы. Если группа подтвердит заявление, неверность ETH станет результатом, принятым научным сообществом. Если группа найдёт в заявлении недостатки, результат будет пересмотрен или отклонён. На нынешнем этапе для читателя достоверны следующие факты: заявление объявлено, оно проверено в Lean, проверочная группа определена, и её вывод ожидается.
Физика: четырёхмерные квантовые теории поля
По физике OpenAI заявляет, что получено строгое доказательство существования взаимодействующих четырёхмерных квантовых теорий поля. К таким теориям относится и квантовая хромодинамика. Как утверждает компания, одна из её моделей создала строгое доказательство существования этих теорий. Внутри этого заявления есть ещё одна важная часть: проблема существования чистой теории Янга — Миллса является частью одной из проблем премии Clay Millennium Prize. То есть заявление по физике — не только один результат, но и часть, затрагивающая давний список премиальных проблем. Результат по физике также ожидает независимой проверки, и в этом процессе в качестве shepherd участвует группа под руководством нобелевского лауреата Дэвида Гросса. Группа Гросса будет сопровождать заявление по физике и оценивать его. Этот выбор особо отмечен в объявлении, поскольку научная репутация shepherd определяет доверие к процессу проверки. В отличие от результата по математике, в объявлении не говорится, что доказательство по физике открыто для оценки исследователями, а подчёркивается, что ожидается независимая проверка. Поэтому окончательная оценка по физике зависит от работы группы Гросса. Пока достоверны следующие факты: заявление объявлено, оно касается существования теорий, включающих квантовую хромодинамику, часть о чистой теории Янга — Миллса является частью проблемы премии Clay Millennium Prize, а проверку проводит группа под руководством Дэвида Гросса. Помимо этих фактов, пока нет никакого подтверждённого научного вывода.
Модель shepherd: новый способ работы с академическим сообществом
Помимо трёх результатов, ещё одна важная часть объявления — новый способ работы с академическими сообществами. OpenAI представила модель привлечения внешних экспертов в качестве shepherd. В этой модели внешние эксперты сопровождают результаты в процессе проверки, оценивают их и выносят свои выводы. Группы Импальяццо, Патури и Уильямса по информатике и группа Гросса по физике выполняют именно эту роль. По математике же процесс идёт иначе: результат напрямую открыт для оценки исследователями. Модель shepherd и путь открытой оценки дополняют друг друга: один предполагает проверку через названные экспертные группы, другой — через широкое сообщество. То, что OpenAI не запрашивает академический credit, также является частью этой модели. Компания не требует признания себя автором заявлений, оставляя право оценки и вывода академическому сообществу. Такой подход означает проверку на практике нового порядка в вопросе авторства научных результатов, полученных с помощью искусственного интеллекта. Сама модель также ещё находится на стадии испытания: её эффективность будет оценена после того, как станут известны выводы проверочных групп. Если группы подтвердят заявления, модель shepherd будет рассматриваться как работающий пример сотрудничества искусственного интеллекта и академии. Если заявления будут отклонены, сама модель также подвергнется критической оценке. В обоих случаях нынешнее объявление означает запуск модели, а не её окончательный результат, а лишь начало.
Что ещё не подтверждено
Чтобы правильно прочитать это объявление, важно различать подтверждённое и заявленное. Подтверждённые факты: OpenAI объявила 26 октября 2026 года о трёх результатах, доказательство по математике было подготовлено 18 октября и формализовано в Lean 19 октября, определены группы независимой проверки по информатике и физике, компания не запрашивает академический credit. Заявленное, но ещё не подтверждённое: то, что гипотеза о локальном сглаживании доказана во всех размерностях и решает гипотезы Какеи и об ограничении Штейна, что гипотеза экспоненциального времени неверна, что существует строгое доказательство существования взаимодействующих четырёхмерных квантовых теорий поля, включая квантовую хромодинамику. Это различие определяет суть объявления и должно сохраняться при любом пересказе. Следующее заявление выражает собственную позицию OpenAI:
Результаты ещё не прошли независимое рецензирование: OpenAI не запрашивает академический credit, результат по математике открыт для оценки исследователями, а заявления по информатике и физике ожидают проверки независимых экспертных групп. — Заявление OpenAI, через The Verge и официальный блог компании
Следующий этап этого объявления теперь зависит не от OpenAI, а от проверяющих. Оценка по математике ожидается от широкого сообщества исследователей, по информатике — от группы Импальяццо, Патури и Уильямса, по физике — от группы под руководством Дэвида Гросса. Пока не станут известны их выводы, все три результата остаются в статусе заявлений. Поэтому при чтении этой новости самое важное слово — «заявление»: OpenAI заявляет, а научное сообщество проверяет. Когда станут известны итоги проверки, событие перейдёт на новый этап, и тогда станет ясно, станут ли заявления подтверждёнными результатами или будут отклонены. Когда будут опубликованы выводы проверки, по каждому заявлению будет дана отдельная оценка, поскольку судьбы трёх результатов решаются независимо друг от друга.
