Математики-консультанты заявили: поток доказательств OpenAI нарушил правила поля

TechCrunch сообщает: волна математических доказательств, выпущенная OpenAI, не уложилась в правила, которые выработала группа исследователей-математиков. Эту группу консультировала сама лаборатория. Чисел в сообщении нет: ни количества доказательств, ни числа работ с замечаниями. Зато картина ясна. Компания, которая продаёт модели как инструмент для науки, получила публичное замечание от сообщества, чьё признание ей нужно.

Что известно на сегодня

Источник даёт одну констатацию: «поток» доказательств OpenAI отклонился от руководящих принципов, заданных консультантами из математической среды. Всё остальное приходится восстанавливать по контексту. Я не буду достраивать детали, которых в материале нет.

• Дата и источник: TechCrunch, 8 октября 2026 года.
• Объект претензии: массовый выпуск доказательств, подготовленных OpenAI.
• Суть претензии: несоответствие правилам, которые согласовали математики-консультанты.
• Не раскрыто: число работ, конкретные пункты правил, список спорных доказательств.
• Не раскрыто: официальная реакция OpenAI.

Почему математики так щепетильны

В математике результат стоит ровно столько, сколько стоит его проверка. Доказательство должно быть полным, воспроизводимым, с понятным указанием авторства и опорой на известную литературу. Если оно выходит пачкой и без согласованной процедуры, рецензентам приходится разбирать завал вручную. А эксперты, которые способны оценить сложное доказательство, исчисляются десятками на узкую тему. Их время ограничено, и принципы публикации нужны ровно для того, чтобы его экономить.

Поэтому формулировка «отклонилось от руководящих принципов» звучит жёстче, чем кажется. Спор идёт не обязательно о том, верна ли отдельная теорема. Он идёт о том, можно ли доверять самому каналу, по которому результаты попадают к людям.

Не первый эпизод

У OpenAI уже были публичные споры с математиками. В октябре 2025 года сотрудники компании сообщили, что GPT-5 «нашла решения» для ряда задач Пала Эрдёша. Поддерживающий каталог этих задач математик Томас Блум возразил: модель отыскала существующие публикации, новых решений она не получила. Пост удалили, а в индустрии обсуждали, как формулировки анонсов опережают проверку. Летом 2025 года вокруг золота на Международной олимпиаде по математике тоже спорили, в том числе о времени объявления результата.

На этом фоне новая история выглядит продолжением линии. Языковые модели действительно становятся полезнее в формальных рассуждениях, и сами математики это признают. Но у лаборатории скорость выпуска продукта регулярно расходится с темпом проверки, который задаёт наука.

Как читать такие заявления

Для читателя, инвестора или разработчика, который строит продукт на математических возможностях моделей, здесь несколько практических выводов.

• Смотрите, кто проверял. Независимая экспертиза или формальная верификация, например в Lean, весит больше, чем пресс-релиз.
• Ищите процедуру. Есть ли публичный протокол: какие задачи, какие ограничения, как фиксируется вклад модели и людей.
• Разделяйте типы результатов: новое доказательство, переформулировка известного, поиск по литературе. Это разные достижения.
• Ждите ответа OpenAI и списка спорных работ. Пока неизвестно, идёт ли речь о единичных огрехах оформления или о системной проблеме.

Если лаборатория хочет, чтобы её модели считали научным инструментом, ей придётся жить по правилам науки, включая те, которые написали её же консультанты. Иначе каждый следующий анонс будут встречать не вопросом «что нового?», а вопросом «что здесь опять не так?».