Anthropic открыла код FlashProve — криптографической системы для проверки, какая модель ИИ дала ответ

Anthropic сообщила 2 ноября 2026 года, что добилась прогресса в создании криптографических доказательств, позволяющих пользователю проверить, какая именно модель ИИ сформировала тот или иной ответ, опубликовав на своём исследовательском сайте систему с открытым кодом под названием FlashProve; на следующий день об этой работе написал TechCrunch.

Что делает FlashProve

• Система формирует криптографическое доказательство — «короткое доказательство..., которое пользователь может быстро проверить (в идеале — за секунды на процессоре)», — что ответ получен от конкретной модели, заявила Anthropic, защищая от случаев, когда модель «тайно заменена сервисом маршрутизации по соображениям стоимости, или даже злоумышленником, который подделал поток токенов».
• Для модели с архитектурой «смесь экспертов» на 400 миллиардов параметров, Llama 4 Maverick, один GPU Nvidia H100 генерирует доказательства со скоростью около 110 токенов в секунду при 4-битном квантовании весов, при этом каждое доказательство занимает около 19 мегабайт на запрос из 1024 токенов при том же квантовании весов, по данным Anthropic — это примерно «в 70–95 раз больше времени работы GPU», чем требуется для запуска самой модели на открытой библиотеке vLLM.
• Anthropic заявила, что публикует пять материалов по лицензии Apache 2.0: исследовательский пост, технический отчёт, документ со спецификацией протокола, исполняемый код для доказывающей и проверяющей сторон, а также математические доказательства заявлений о безопасности системы на языке Lean.
• TechCrunch сообщил, что лаборатории должны публиковать «отпечаток» каждой модели, который впоследствии можно сопоставить с её выходными данными, и что эти отпечатки не раскрывают веса модели, поэтому коммерческие лаборатории могли бы внедрить систему без раскрытия закрытых данных.
• Anthropic заявила, что это исследование — «промежуточный результат, а не завершённая исследовательская программа». TechCrunch сообщил, что «исследования в рамках этой системы продолжаются, и планов по её внедрению в Anthropic или любой другой лаборатории не существует».

Почему это важно

Anthropic представляет доказуемый вывод (provable inference) не только как инструмент доверия потребителей, но и как способ «проверки соответствия требованиям по темпам развития ИИ» и других регуляторных обязательств, что может иметь значение по мере того, как государства переходят от добровольных кодексов ИИ к обязательным требованиям для передовых лабораторий. Для компаний за пределами Силиконовой долины — включая азербайджанские банки и операторов связи, которые сейчас закупают услуги ИИ через реселлеров и слои маршрутизации, — работающая версия такого доказательства дала бы способ убедиться, что они получают именно тот уровень модели, за который платят, а не более дешёвую замену без уведомления.