4 ноября 2026 г.
FlashProve: Anthropic проверяет происхождение токена Llama на процессоре за 17 секунд
Исследовательский прототип проверяет, какая модель вычислила токен, без доступа к её весам.
В замере Anthropic от 2 ноября FlashProve проверяет доказательство для одного токена Llama 4 Maverick за 17 секунд на процессоре.
Проверка вместо доверия. По одному ответу пользователь не мог установить, действительно ли сервис запустил выбранную нейросеть. С FlashProve провайдер заранее фиксирует цифровой отпечаток модели, затем прикладывает криптографическое доказательство вычисления. Пользователь проверяет его без повторного запуска модели и без раскрытия весов.
Не хотите разбираться сами? Внедряем ИИ в ваш бизнес: задачи без лимита, одна цена в месяц, отмена в любой момент.
Цена доказательства. На одной H100 подготовка доказательств требует в 70–95 раз больше времени GPU, чем обычный запуск модели в сравнении Anthropic. Прототип проверяет отдельные токены целочисленной версии модели при выборе наиболее вероятного продолжения. Это проверка происхождения ответа, а не его правильности.
Первоисточник: [исследование Anthropic и ссылки на код](https://www.anthropic.com/research/provable-inference).
Anthropic опубликовала код прототипа, описание протокола и математические доказательства его свойств в Lean.
Первоисточник