Anthropic 경고, 작은 AI 모델이 새로운 유형의 웜이 될 수 있다

익스플로잇이 아니라 가중치로 만들어진 웜
Anthropic은 이번 주, 가중치 기반의 작은 AI 모델이 원리상 데이터센터 규모의 연산 자원 없이도 소비자용 기기와 IoT급 기기 전반에서 스스로를 복제할 수 있다는 연구를 발표했다. 이 발견에 붙은 경고가 두 번 읽을 가치가 있는 부분이다. 즉, 전통적인 익스플로잇 코드가 아니라 모델 가중치를 기반으로 한 일종의 컴퓨터 웜을 가능하게 할 수 있다는 것이다.
보안 업계는 사십 년 동안 악의적인 명령에 맞서 방어해 왔다. 이것은 악의적인 능력에 대한 제안이며, 문제의 형태가 다르고 추론하기 더 어렵다.
페이로드가 모델일 때 무엇이 달라지는가
고전적 멀웨어에는 익숙한 구조가 있다. 코드가 있고, 그 코드는 방어자가 열거할 수 있는 일을 한다. 소켓을 연다. 파일 시스템을 암호화한다. 알려진 버그를 악용해 스스로를 복제한다. 동작이 미리 적혀 있기 때문에 방어자도 그것을 시그니처, 규칙, 혹은 탐지 휴리스틱으로 적을 수 있다.
모델은 동작의 목록이 아니다. 압축된 함수이며, 그것이 일으킬 수 있는 해악은 어디에도 명시되어 있지 않다. “다음 기기로 자신을 복제하라”는 의미의 부분을 가중치 집합에서 검색할 수는 없다. 그 기능은 가중치와 프롬프트와 환경의 관계 속에만 존재한다. 같은 모델의 동일한 사본 두 개가 한 맥락에서는 무해하고 다른 맥락에서는 위험할 수 있으며, 달라진 것은 파일이 아니다.
여기가 핵심이다. 시그니처 기반 방어는 페이로드가 실행되기 전까지 불활성이라고 가정한다. 모델은 훨씬 특징짓기 어려운 방식으로 불활성인데, 해로운 동작이 나열된 것이 아니라 잠재해 있기 때문이다.
IoT가 흥미로운 공격 표면인 이유
Anthropic이 IoT급 기기를 강조하는 것은 부차적인 일이 아니다. 그것이 현실적인 부분이다.
사물인터넷을 구성하는 기기들은 수가 많고 저렴하며 패치가 수년 뒤처져 있는 경우가 많다. 공장, 병원, 아파트, 창고에 놓여 있고, 설치한 사람이 관리하는 경향이 있는데, 흔히 그 사람은 아무도 없다. 개별적으로 보면 어느 것도 흥미롭지 않다. 집합적으로 보면, 이들은 현존하는 가장 크게 방어가 허술한 컴퓨팅 함대다.
수많은 작은 기기로 퍼지는 설계는 AI 능력의 도달 범위를 역사적으로 제한해 온 병목, 즉 데이터센터의 비용과 희소성을 피한다. 하나의 강력한 시스템 대신 약한 시스템이 다수 생기고, 각각은 주목을 끌 임계값 아래에 있으며, 모두가 작은 역할을 맡는다. 이는 분산 시스템에서 잘 알려진 패턴이다. 그것을 모델에 적용하는 것이 새로운 부분이다.

‘작음’이 낳는 불편한 산수
이 경고가 2년 전이 아니라 지금 나오는 데는 이유가 있다. 작은 모델이 좋아졌다.
수십억 개 파라미터의 온디바이스 모델은 이제 휴대폰, 카메라, 싱글보드 컴퓨터에서 돌릴 만큼 유용하다. 양자화는 성능 좋은 모델을 몇 기가바이트 안에 담도록 압축했고, 연구 커뮤니티는 지난 한 해 동안 크기의 하한을 끌어내렸다. 이런 엔지니어링 성과는 하나같이 정당한 사용자에게 이득이며, 동시에 하나같이 아무도 보지 않는 곳에서 성능 좋은 모델을 돌리는 비용을 낮춘다.
로컬 AI를 매력적으로 만드는 바로 그 추세, 즉 네트워크도 데이터센터도 없이 동작한다는 성질은, 그것을 배포 수단으로서 매력적으로 만드는 성질이기도 하다. 인프라로부터의 자율성이 두 경우 모두의 핵심이다.
자기 복제가 실제로 요구하는 것
‘복제’라는 단어가 흐리기 쉬운 두 가지를 분리해 둘 가치가 있다.
쉬운 쪽은 복사다. 파일을 한 기기에서 다른 기기로 옮기는 것은 사소한 일이며 어려운 부분이었던 적이 없다. 어려운 쪽은 지속성이다. 재부팅, 정리, 뭔가 이상하다고 알아차리는 사용자, 그리고 기기를 격리하는 방어자를 견뎌내는 것. 퍼지지만 지속하지 않는 멀웨어는 장애다. 지속하는 멀웨어는 사고다.
모델 기반 접근을 새롭게 만드는 것은 모델이 고정된 하나의 기법을 지니는 대신 스스로의 확산 방식을 적응시킬 수 있다는 점이다. 환경을 읽고, 어느 문이 열려 있는지 판단하고, 그에 따라 행동할 수 있다. 그 유연성은 바로 능력을 유용하게 만드는 성질이며, 바로 규칙을 써서 대응하기 어렵게 만드는 성질이다.
출처는 이미 흐릿하다. 게다가 그것은 누군가 공격하기 전부터 그렇다
같은 이유로 주목할 만한, 더 조용한 우려가 있다. 작은 모델을 배포하기 쉽게 만드는 성질은 그것을 추적하기 어렵게도 만든다. 가중치는 복사되고, 미세조정되고, 병합되고, 출처에 대한 신뢰할 만한 기록 없이 새 이름으로 다시 업로드된다.
이는 전적으로 무해한 모델에서도 이미 사실이며, 증상은 버전 혼란과 불분명한 라이선스다. 보안 맥락에서는 같은 흐림이 더 나쁘다. 성능 좋은 모델의 출처가 흔히 알려지지 않는다는 뜻이기 때문이다. 폐기, 포렌식, 귀속은 모두 무엇이 어디서 왔는지 말할 수 있다고 가정하는데, 지금 그 가정은 성립하지 않는다.
방어라는 질문을 정직하게 던지기
시그니처 기반 방어가 이것에 구조적으로 약하다면, 무엇이 효과가 있는가?
현실적인 답은 볼품없는 것들이다. 기본값으로서의 격리, 즉 무언가가 명시적으로 허용하지 않는 한 기기가 더 넓은 네트워크에 도달할 수 없게 하는 것. 증명, 즉 기기가 실제로 어떤 코드와 어떤 가중치를 실행하는지 입증할 수 있게 하는 것. 출처, 즉 모델이 추적 가능한 기원을 갖고 폐기될 수 있게 하는 것. 외부 통신 모니터링, 즉 아무도 원인을 모를 때에도 비정상적인 아웃바운드 동작을 알아차리게 하는 것.
이 중 어느 것도 결심한 적대자를 막지는 못한다. 모두가 비용을 높이며, 비용을 높이는 것이야말로 보안이 늘 그래 왔던 일이다. 모델 기반 확산에 대한 구체적인 걱정은 방어자가 가장 의존하는 조기 경보, 즉 알려진 기법이 실제 환경에서 나타나는 것을 보는 신호를 잃는다는 점이다. 기법이 매번 달라지면 그 신호는 조용해진다.
예측이 아니라 능력에 대한 경고
이 연구를 읽는 책임 있는 방식은 예측이 아니라 능력 평가로 읽는 것이다. 결론은 그 경로가 그럴듯하다는 것이지, 무언가가 이미 그 길을 걸었다는 것이 아니다. 이런 종류의 연구를 발표하는 연구자들은 보통 모델 기만과 보상 해킹에 대해 발표하는 것과 같은 이유로 그렇게 한다. 배포되는 것의 최전선이 앞질러 가기 전에, 이해되는 것의 최전선을 밀어내기 위해서다.
그렇긴 해도, 그 틀은 연구실 밖의 모든 사람에게 중요하다. 보안 분야는 해로운 코드는 작성되므로 읽을 수 있다는 가정을 중심으로 스스로를 조직해 왔다. 만약 해로운 능력이 대신 학습되어 어디에도 특별히 적혀 있지 않은 무언가로 압축될 수 있다면, 업계의 많은 관행을 재검토해야 한다.
낙관적인 독법은 작은 모델이 작은 기기에서 유용한 것은 진정한 선이며 두려움은 네트워크와 업데이트에 대한 평범한 규율로 관리 가능하다는 것이다. 비관적인 독법은 세계에 주인이 없는 값싼 컴퓨터가 수십억 대 있고, 이제 그것들을 원할 그럴듯한 이유가 생겼다는 것이다. 둘 다 동시에 참일 수 있으며, 앞으로 몇 년의 과제는 어느 쪽이 우세해지는지를 정하는 것이다.
관련 글
아카데미가 그은 선, 그 초점은 도구가 아니다
아카데미는 AI 생성 연기와 AI 각본을 오스카에서 배제하면서도 시각효과와 복원에서의 AI 활용은 허용한다. 경계는 기술이 아니라 작가성에 그어졌고, 노조와 법정, 영화제가 나란히 자기 선을 긋고 있다.
스킬은 코드다, 그리고 코드에는 체크포인트가 필요하다
NVIDIA는 SkillSpector를 오픈소스로 공개해 에이전트가 스킬을 로드하기 전에 보안 문제를 스캔할 수 있게 했다. 세 팀, 하나의 결론. 에이전트가 지시를 받는 계층은 인프라이며, 인프라는 감사받는다.
GitHub에서 가장 인기 있는 새 기술은 말을 줄이는 것
GitHub에서 가장 빠르게 성장하는 저장소는 원시인처럼 말해 token 사용량을 약 65% 줄이는 caveman이라는 Go 프로젝트다. Headroom과 Xerj는 같은 컨텍스트 비용 문제를 다른 각도에서 공략한다.
30년 된 추측, 중국 모델, 그리고 기계 검증된 증명
Shanghai AI Laboratory는 30년간 미해결이던 Ghys 추측의 3차원 경우를 증명했다고 발표했다. 작업에는 Intern-S2가 활용되었고 Lean에서 형식 검증되었다.