GitHub-радар
Доказательство, что ответ дала именно заявленная модель ИИ
FlashProve — проект Anthropic, который даёt провайдерам ИИ способ доказать: ответ сгенерировала именно обещанная модель, а не более слабая подделка, причём без раскрытия секретной начинки модели.
Это инструмент, который позволяет провайдеру ИИ доказать: конкретный ответ дал именно тот ИИ, который был обещан, без раскрытия его секретных весов (настроек модели).
Когда пригодится
Пригодится, если хочешь разобраться, как в принципе можно проверить честность провайдера ИИ. Готового инструмента для своего проекта здесь нет — это неподдерживаемый исследовательский прототип.
Плюсы
- Доказательство строгое — математически проверено через Lean 4 (формальный проверщик доказательств)
- Проверить доказательство может обычный компьютер — нужны Linux, bash и g++
- Протестировано на настоящей крупной модели — Llama 4 Maverick от Meta
- Исходный код открыт под лицензией Apache 2.0
Минусы
- Это исследовательский прототип: доработки и поддержку автор не принимает
- Чтобы самому строить доказательства, нужна видеокарта уровня дата-центра NVIDIA H100
- Готового сервиса или модели, которую можно сразу использовать, тут нет
Как поставить — по шагам
- 1Открой своего кодового агента (например, Claude Code) в папке с проектом
- 2Отправь агенту текст из блока ниже
- 3Дождись, пока агент соберёт верификатор (скрипт verifier/build.sh) — видеокарта для этого не нужна
- 4Проверь, что агент прогнал готовый пример доказательства из examples/accepted-proof и получил «YES»
- 5Попроси агента объяснить простыми словами, что именно доказывает этот пример
- 6Не проси агента строить новые доказательства — для этого нужна дорогая видеокарта H100
Текст для агента
Текст для шага с агентом — скопируй и отправь (Claude Code, Codex, любой):
Открой репозиторий anthropics/FlashProve, прочитай README и docs/what-is-proved.md, собери только верификатор (скрипт verifier/build.sh — это лёгкая часть, видеокарта не нужна) и проверь готовый пример доказательства из examples/accepted-proof. Расскажи мне простыми словами, что именно это доказывает. Генерацию новых доказательств не запускай — для неё нужна дорогая видеокарта H100.
Проверить готовое доказательство может обычный компьютер на Linux — нужны только bash и компилятор g++, памяти хватит меньше 2 ГБ. А самому строить доказательства (быть провайдером) нужна NVIDIA H100 на 80 ГБ, сотни гигабайт памяти и диска и часы времени — это уровень дата-центра, домашнего компьютера не хватит.
Открыть на GitHub▌ Ещё находки