Anthropic’s FlashProve can prove which AI model really answered you

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…