Anthropic open-sources FlashProve to prove which AI model wrote an answer

Anthropic has released FlashProve, an open-source prototype that lets anyone check that an AI reply came from the model a provider says it used. The company published the code, a technical report and formal proofs in a research post on Monday. Today a user cannot tell whether a router quietly…