# Anthropic announces FlashProve to prove AI answers

Digest AI · Research · published 2026-11-05T17:00:00Z

Canonical: https://digestai.news/story/anthropic-announces-flashprove-to-prove-ai-answers

## Summary

Anthropic's research team has announced a mechanism called FlashProve that uses zkSNARKs to prove that an AI's answer was generated by a specific model. The system can produce proofs for about 110 tokens per second per GPU, but it requires 70 to 95 times more GPU time than running the model normally. Anthropic writes that the proof can detect if a relay service swaps a cheaper model or if an attacker rewrites the output, making it a potential tool for businesses to verify the authenticity of AI responses.

Moonshot AI released the weights of Kimi K3.1 Pro on Hugging Face, giving users the option to run the model locally. The 2.8 trillion‑parameter model can handle a 1‑million‑token context window and scored 65.7 on the Terminal‑Bench 4.0 programming test, close to Claude Opus 5.5's 66.4. Reddit posts question whether the score is inflated, so the company advises users to test the model themselves before relying on the official report card.

OpenAI announced it discovered 948 privilege‑escalation vulnerabilities in Linux, verified them, and proposed fixes in an automated system titled “A Thousand Fewer Paths to Root.” The report shows AI can accelerate security patching. Other stories include a Hacker News post that Gemini may use paid‑account conversation history for training, and Apple opening a developer waitlist for Siri AI that can read the screen and add custom skills. These developments highlight growing concerns about AI trust, data usage, and new opportunities for voice‑based applications.

## Key points

- Anthropic's FlashProve can generate proofs for about 110 tokens per second per GPU, but needs 70 to 95 times more GPU time.
- Moonshot AI released Kimi K3.1 Pro with 2.8 trillion parameters and a 1‑million‑token context window, scoring 65.7 on Terminal‑Bench 4.0.
- OpenAI found 948 privilege‑escalation vulnerabilities in Linux, verified them, and proposed fixes in an automated system titled “A Thousand Fewer Paths to Root.”

## Why it matters

These stories show how cryptographic proofs could let users verify AI outputs, how open‑source models give businesses more control, and how AI is accelerating security fixes and data‑usage debates. The developments could reshape trust, cost, and privacy in AI deployments.

## Sources

1. [Is that AI real? Anthropic proves answers with cryptography](https://note.com/sugawaratomokazu/n/n653108378f7b?hl=en) (note.com, 2026-11-05)

Part of the developing story: [Anthropic releases FlashProve, a zkSNARK system proving Llama 4 Maverick responses at 110 tokens/second on one H100](https://digestai.news/thread/anthropic-releases-flashprove-for-cryptographic-ai-inference-proofs) (2 stories)

## Cite

Digest AI, "Anthropic announces FlashProve to prove AI answers", 5 November 2026, https://digestai.news/story/anthropic-announces-flashprove-to-prove-ai-answers

---

Written by Digest AI's editorial model from the linked sources; the sources are the record. Headlines, digests and key points are written by Digest AI and may be quoted with a link to the story page. Linked articles belong to their publishers. Terms: https://digestai.news/terms#reuse
JSON: https://digestai.news/story/anthropic-announces-flashprove-to-prove-ai-answers.json