OpenAI делится новыми результатами по математике и физике с академическими исследователями

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

Доказательства и контекст

В посте 2026-10-26 года OpenAI сообщила, что публикует результаты, связанные с гипотезой Какея, гипотезой экспоненциального времени и квантовой хромодинамикой. Компания также описала, как исследователи могут проверять и расширять результаты. Согласно данным обогащения, OpenAI утверждает, что заявленное доказательство локального сглаживания было сгенерировано на 2026-10-18 и формализовано на 2026-10-19, тогда как заявленное опровержение гипотезы экспоненциального времени было сгенерировано на 2026-10-16 и формализовано 2026-10-17. Эти даты указываются компанией и относятся к выводу и формализации моделей, а не к независимому принятию.

В исходном материале также говорится, что сотрудничество в области физики касается результатов существования, включая чистое существование Янга–Миллса. Это не следует воспринимать как объявление о решении проблемы Миллениума по существованию и массовому разрыву Янга–Миллса. В обогащении отмечается, что OpenAI изначально не предоставил артефакты, созданные ИИ, для работы по физике, что подчёркивает, что статус выпуска различается в разных областях исследований, обсуждаемых в посте.

Это объявление последовало за более ранними раскрытиями исследований OpenAI, упомянутыми в данных обогащения: 2026-09-21компания заявила, что привлекла независимую консультативную группу по математике для улучшения стандартов обзора, распространения и академических стандартов; 2026-10-06года она опубликовала математические результаты и компьютерно проверяемые формализации Lean вместе с деталями своего исследовательского процесса; а 2026-10-21— опубликована информация об использовании тысяч агентов ИИ для обнаружения новых зацепок в биологических данных. Вместе эти публикации демонстрируют активные усилия по формулированию результатов моделей так, чтобы академические сообщества могли их проверять, формализовать и тестировать.

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