AI Models Can Provably Hide Arbitrary Capabilities | Dark Hacker News