AI Models Can Provably Hide Arbitrary Capabilities · Bharat Hunt