Canonical event

Anthropic publishes FlashProve open-source research prototype for cryptographic model-inference verification

Anthropic's 2 November 2026 research release and public Apache-2.0 FlashProve prototype offer cryptographic proofs linking a model response to committed integer weights and a constrained greedy-decoding computation. The vendor provides protocol and Lean verification materials but identifies high computation overhead and research-only status. This is a prototype-publication milestone, not proof that served commercial models use the system, that generated outputs are safe, or that arbitrary float/sampling inference is covered.