Anthropic develops FlashProve to verify which AI model produced a response