Anthropic open-sources FlashProve to verify which AI model produced an answer

The prototype lets users check that a reply came from the model a provider claims, with code, technical report, and formal proofs published.