AI Models Can Provably Hide Arbitrary Capabilities — ThinkLLM