AI models can provably hide arbitrary capabilities | Hacker News Reader