Что именно представлено
OpenAI сообщила о трёх результатах, полученных внутренними моделями: доказательстве гипотезы о локальном сглаживании во всех размерностях, опровержении гипотезы об экспоненциальном времени и конструкции в квантовой теории поля. Для первых двух компания выложила текстовые доказательства и формализации на Lean; материалы по физике пока переданы внешней группе для подготовки понятного научного изложения. По утверждению OpenAI, математический вывод был получен 18 октября и формализован на следующий день, а результат по теории сложности — 16 и 17 октября соответственно.
Публикация ещё не равна научному консенсусу
Масштаб заявлений необычайно велик, поэтому важен выбранный режим проверки. Сама OpenAI называет рукописи «сырыми исследовательскими данными» и привлекает независимые группы к объяснению и оценке. Формальная проверка Lean подтверждает прохождение доказательства в заданной системе аксиом, но не заменяет анализ постановки, допущений, новизны и связи с существующей литературой. Поэтому корректная стадия сейчас — опубликованные артефакты и открытая проверка, а не окончательно принятые открытия.