# Доказ відповіді моделі вимагає у 70-95 разів більше GPU-часу

> Anthropic випустила FlashProve: відповідь 400B-моделі перевіряється на CPU за 17 с, а доказ вимагає у 70-95 разів більше GPU-часу, ніж звичайний інференс.

- Опубліковано: 4 листопада 2026 р. (2026-11-03T22:45:12.624047+00:00)
- Розділ: AI-дослідження
- На основі публікації: [Techmeme](https://www.anthropic.com/research/provable-inference)
- Видання: AiiN (https://aiin.news)
- URL: https://aiin.news/article?slug=%D0%B4%D0%BE%D0%BA%D0%B0%D0%B7-%D0%B2%D1%96%D0%B4%D0%BF%D0%BE%D0%B2%D1%96%D0%B4%D1%96-%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D1%96-%D0%B2%D0%B8%D0%BC%D0%B0%D0%B3%D0%B0%D1%94-%D1%83-70-95-%D1%80%D0%B0%D0%B7%D1%96%D0%B2-%D0%B1%D1%96%D0%BB%D1%8C%D1%88%D0%B5-gpu-%D1%87%D0%B0%D1%81%D1%83

---

Anthropic випустила FlashProve, відкритий прототип, який криптографічно доводить, що відповідь згенерувала заявлена модель. На Llama 4 Maverick (400B, MoE) одна H100 видає докази зі швидкістю близько 110 токенів/с.

Ціна висока: [за даними блогу Anthropic](https://www.anthropic.com/research/provable-inference), доказ коштує приблизно 70-95x GPU-часу самого інференсу на vLLM. Ймовірно, це інструмент для аудиту й незалежних перевірок, а не режим для кожного запиту.

## Яку проблему розв'язує FlashProve?

FlashProve дозволяє користувачеві переконатися, що відповідь дала саме та модель, яку заявив провайдер, а не дешевша підміна від роутера чи результат втручання в потік токенів. Anthropic наголошує, що за якістю тексту це визначити ненадійно.

Провайдер публікує комітмент, короткий відбиток конкретних ваг, а до кожної відповіді додає доказ. Ваги доказ не розкриває, але архітектура моделі прихованою не є: Anthropic цього не ставила за мету.

## Скільки це коштує і що потрібно для запуску?

Прувер FlashProve потребує 1 H100 на 80 ГБ, 24 ядра CPU і близько 290 ГБ оперативної памʼяті хоста, повідомляє [MarkTechPost](https://www.marktechpost.com/2026/11/03/anthropic-flashprove-provable-inference-zksnark/). Верифікатор працює на CPU без GPU.

- Пакет із 24: 111,23 токена/с, 221-226 секунд на пакет.
- Один запит: лише 17,41 токена/с.
- Розмір доказу: 18,78 MB на запит із 1 024 токенів. Клієнт завантажує ще ~6,5 MB один раз на комітмент.
- Перевірка: 17 секунд на 24 потоках, 21 секунда на одному.

Розрив із vLLM залежить від бази порівняння. MarkTechPost пише про 72x на пакет проти FP8 Maverick на 8 H100 і про 94x за найвищого тестованого навантаження. У блозі Anthropic загальна оцінка: 70-95x.

## Які обмеження в прототипа?

FlashProve наразі працює з контекстом до 1 024 токенів на запит, жадібним декодуванням і лише з MoE-моделями. Робота прувера масштабується з ~17B активних параметрів, а не з усіх 400B.

Комітмент займає близько 39 хвилин офлайн і покриває приблизно 16 мільйонів запитів. Anthropic міряла швидкість на публічних 4-бітних вагах Maverick.

## Наскільки можна довіряти самій системі?

Anthropic формалізувала в Lean повноту, коректність і zero knowledge. За README, шахрай уникне виявлення лише з імовірністю близько q/2^124 + 2^-101. Є два верифікатори: швидкий на C++ без формальної гарантії та повільніший на Lean, який приймає лише те, що дозволяє теорема коректності.

Anthropic пише, що Claude добре оптимізує, але його рішення в складних системах важко оцінити, тому до заявлених гарантій додано перевірювані твердження в Lean. Протокольну специфікацію теж написав Claude.

Код, докази в Lean і документацію випущено під Apache 2.0. Anthropic прямо називає публікацію проміжним результатом і просить інших його покращувати.

---

Теги: AI, Anthropic, FlashProve, zkSNARK, безпекаAI, інференс

Джерело: AiiN — https://aiin.news/article?slug=%D0%B4%D0%BE%D0%BA%D0%B0%D0%B7-%D0%B2%D1%96%D0%B4%D0%BF%D0%BE%D0%B2%D1%96%D0%B4%D1%96-%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D1%96-%D0%B2%D0%B8%D0%BC%D0%B0%D0%B3%D0%B0%D1%94-%D1%83-70-95-%D1%80%D0%B0%D0%B7%D1%96%D0%B2-%D0%B1%D1%96%D0%BB%D1%8C%D1%88%D0%B5-gpu-%D1%87%D0%B0%D1%81%D1%83. Цитуючи, посилайтесь на канонічний URL.