AI news
Anthropic releases FlashProve research code for model-output proofs
Anthropic released FlashProve research code and Lean proofs on November 2 under Apache 2.0. The prototype aims to prove that a response came from a committed model without exposing its weights. Its benchmark uses a quantized Llama 4 Maverick setup and still incurs far more GPU time than ordinary inference. Anthropic calls this intermediate research, not a production assurance service.
Primary source · Anthropic · November 2, 2026
Opens Anthropic in a new tab. Read it there before you rely on the summary above.
Read the original
Free, email only
Unlock the full brief free.
- What to check before you trust this story, written down
- Each verified source, with why it matters and who published it
- A note whenever a source has been withdrawn
- Thirty days of stories to browse, not seven
Continuing subscribes the email on that account to Work Worth Doing, my newsletter, the same as the form below, and unlocks every free tool in this browser. We only receive your email address. Unsubscribe in one click.