Компания Anthropic 2 ноября представила открытую систему FlashProve, предназначенную для проверки результатов работы моделей искусственного интеллекта. Система основана на технологии zero-knowledge proofs (zkSNARK) и была разработана при участии Алессандро Киезы, сооснователя StarkWare. Система использует криптографические методы, схожие с теми, что применяются в блокчейн-технологиях, и позволяет пользователям проверять, были ли результаты, полученные от модели искусственного интеллекта, сгенерированы определенной моделью, не требуя доступа к весам модели или повторного ее запуска. Тестирование показало, что FlashProve может генерировать доказательства для модели Llama 4 Maverick с 400 миллиардами параметров, принадлежащей компании Meta, со скоростью около 110 токенов в секунду на одной видеокарте H100. Размер одного доказательства составляет около 19 МБ. Anthropic сообщила, что в оптимизации системы принимала участие модель Claude, и что сейчас открыт исходный код и формальные доказательства, написанные на языке Lean. Система находится на стадии исследовательского прототипа, и время, необходимое для генерации доказательств на видеокарте, составляет примерно от 70 до 95 раз больше, чем время, необходимое для обычного процесса вывода.