Исследователи ИИ стремятся к созданию верифицируемого вывода и проверяемых процессов рассуждения моделей

2 ноября 2026 года компания Anthropic заявила о прогрессе в области криптографической верификации инференса (вывода) больших языковых моделей, представив систему, способную генерировать доказательства для модели Mixture-of-Experts (MoE) с 400 миллиардами параметров. Цель этой работы — позволить пользователям подтвердить, что ответ был получен именно от согласованной модели и не был изменен в процессе вычислений.
- Anthropic сообщила о скорости около 110 токенов в секунду на одном GPU H100 для модели Llama 4 Maverick в 4-битной конфигурации.
- Компания отметила, что каждый запрос объемом 1024 токена создает доказательство размером примерно 19 мегабайт.
- Система PRIME продемонстрировала отсутствие необоснованных выводов в 480 задачах на основе публичных записей, в то время как у неструктурированного агента этот показатель составил 26,7%.
Что продемонстрировала Anthropic?
Anthropic описала FlashProve — систему, построенную на базе кратких неинтерактивных аргументов с нулевым разглашением, или zkSNARKs. Этот подход позволяет провайдеру подтвердить поведение модели, сохраняя при этом детали самой модели скрытыми от проверяющего. Обновление исследования от 2 ноября последовало за изменением терминологии 19 октября, когда Anthropic начала использовать термин «верификация инференса» вместо «доказуемого инференса» (provable inference).
В Anthropic уточнили, что в тесте использовалась Llama 4 Maverick — модель Mixture-of-Experts с 400 миллиардами параметров, а не малая исследовательская модель. Согласно отчету, конфигурация включала один GPU H100, 4-битные квантованные веса и целочисленную арифметику во время этапа prefill. Компания измерила скорость генерации доказательств на уровне примерно 110 токенов в секунду, при этом размер файлов доказательств составил около 19 МБ на 1024 сгенерированных токена. Эти цифры взяты из технического отчета Anthropic, а не из независимого бенчмарка.
- Модель: Llama 4 Maverick, описанная Anthropic как MoE-модель с 400 миллиардами параметров.
- Оборудование: один GPU Nvidia H100.
- Результат доказательства: около 19 МБ на запрос в 1024 токена.
Практический вопрос заключается в стоимости. Доказательство должно быть сгенерировано, передано и проверено вместе с ответом. Данные Anthropic показывают, что задача больше не ограничивается игрушечными системами, однако они не доказывают, что генерация доказательств достаточно дешева для каждого пользовательского запроса или высоконагруженного сервиса.
Почему криптографические доказательства полезны для языковых моделей?
Обычный вывод модели дает мало свидетельств того, как именно был получен ответ. Пользователь может знать имя провайдера, название модели и версию ПО, но у него все равно может не быть надежного способа проверить, что ответ пришел именно от обещанной модели. Криптографическое доказательство может связать вывод с подтвержденным вычислением.
В Anthropic отметили, что zkSNARKs подходят для этой задачи, так как они позволяют проводить верификацию, не раскрывая закрытые веса модели. Такое разделение критически важно для коммерческих систем. Провайдер может защитить свою модель, позволяя клиенту, аудитору или регулятору проверить, действительно ли выполнялось заявленное вычисление.
Верификация не делает ответ истинным.
Доказательство может подтвердить, что конкретная модель произвела конкретный поток токенов при определенных условиях. Оно само по себе не может установить, является ли фактический ответ модели верным, были ли надежными данные для ее обучения или был ли промпт безопасным. Эти вопросы требуют отдельных проверок, таких как поиск информации (retrieval), формальные решатели или проверка человеком.
Это различие отделяет целостность исполнения от качества ответа. Данное различие является центральным в последних исследованиях. Криптографическая работа направлена на то, произошло ли обещанное вычисление. Другие системы направлены на то, подтверждает ли логика сделанный вывод.
Как исследователи проверяют саму логику рассуждений?
Ряд исследований, опубликованных в октябре 2026 года, подошли к верификации на уровне вывода и рассуждений, а не на уровне криптографического исполнения. Система PRIME, представленная в работе от 15 октября, заставляет агента заранее фиксировать пути поиска доказательств перед оценкой публичных записей. Отдельная программа фиксирует проверки и блокирует выводы, которые не подтверждены этими проверками.
Авторы PRIME протестировали 480 задач на основе публичных записей. Они сообщили, что обычный агент делал необоснованный вывод в 26,7% задач, в то время как PRIME не допустил ни одного. Система также повысила средний балл обоснованных выводов с 30,1 (при использовании только механизма отказа) до 59,2 после добавления инструкций и проверок.
- PRIME: заранее фиксирует правила и пути поиска доказательств перед формулированием выводов.
- Тестовый набор: 480 задач на основе публичных записей.
- Заявленный уровень ошибок: 26,7% для сравнительного агента и 0% для PRIME.
VERGE выбрала другой путь. В статье, опубликованной в октябре в материалах EMNLP Findings, ответы разлагаются на атомарные утверждения, которые переводятся в логику первого порядка и отправляются автоматическим доказателям теорем или на другие проверки. Авторы сообщили о среднем улучшении производительности на 18,7% при сходимости с GPT-OSS-120B по сравнению с однопроходными ответами в их бенчмарках рассуждений.
Эти системы сужают область утверждений. Они не доказывают каждую часть развернутого ответа. Они проверяют выбранные суждения в соответствии с четкими правилами.
Какую роль играет самоверификация?
Метод RISE, опубликованный 8 октября в материалах NeurIPS 2026, обучает модель решать задачи и оценивать собственные решения в рамках одного процесса обучения с подкреплением. Метод использует проверяемые вознаграждения от контроллера результатов, применяя обратную связь как к генерации решения, так и к самоверификации.
Исследователи сообщили о достижениях в бенчмарках математических рассуждений и о более частом и точном поведении при самопроверке. Такой подход решает знакомую проблему: модель может выдать уверенную критику, не заметив центральную ошибку в собственном ответе.
Самоверификация остается менее надежной, чем внешнее доказательство, если контролер разделяет «слепые зоны» модели. Математический ответ можно проверить на соответствие точному результату. Юридический, научный или политический ответ может потребовать отбора доказательств, интерпретации и суждений. Обучение модели проверке своей работы помогает, но не устраняет необходимость в независимой валидации.
Это ограничение объясняет, почему современные системы комбинируют методы. Криптографические доказательства инференса могут аутентифицировать исполнение. Символьные инструменты могут проверять формальные утверждения. Реестры доказательств могут контролировать, какие выводы разрешено делать агенту. Ни один из методов не решает проблему надежности целиком.
Что дальше для доказуемого инференса?
Следующим этапом является внедрение, а не очередная демонстрация. Заявленная Anthropic пропускная способность и размер доказательств являются отправной точкой, но использование в продакшене будет зависеть от скорости верификации, требований к памяти, стоимости оборудования и того, как ведут себя доказательства при добавлении промптов, инструментов и длинных контекстов.
Исследовательским группам также необходимы более четкие сравнения. Криптографическое доказательство должно оцениваться в рамках определенной модели угроз. Верификатор рассуждений должен четко указывать, какие утверждения он может проверить, какие доказательства принимает и что происходит при их отсутствии. Одних лишь результатов бенчмарков недостаточно, чтобы показать, что система безопасна в критически важных условиях.
- Инженерия: снижение накладных расходов на генерацию доказательств и уменьшение их размера для длинных ответов.
- Оценка: тестирование моделей на состязательных промптах, меняющихся инструментах и неполных доказательствах.
- Управление: определение того, что именно сертифицирует доказательство, а что остается вне его сферы охвата.
Формирующееся направление — это многоуровневая гарантия надежности. Провайдеры могут доказывать, какая модель была запущена, агенты могут фиксировать, какие доказательства обосновали действие, а внешние программы могут проверять формальные утверждения. Вместе эти механизмы могут сделать сервисы на базе языковых моделей более проверяемыми, не раскрывая проприетарные веса. Технология движется от абстрактного обещания к измеримым системам, но повседневная сквозная верификация все еще остается незавершенной.


