<$GOOG 딥마인드, AI로 해킹 불가능한 소프트웨어를 만드는 길을 열었다?>

원문 발행 2026. 11. 11. 16:30원문 언어 한국어X 개발자 생산성 원문 보기

요약

구글 딥마인드는 AI 에이전트를 활용하여 암호화 코드의 안전성을 수학적으로 검증하는 데 성공했습니다. Signal 코드를 대상으로 수백만 줄의 증명을 생성하고, 과거 수정된 취약점까지 발견하며 기존 보안 방식의 패러다임을 전환할 것으로 기대됩니다.

구글 딥마인드가 AI를 활용해 전 세계 수십억 건의 비공개 메시지를 보호하는 암호화 코드의 안전성을 수학적으로 검증하는데 성공했다고 발표.

Gemini 4 Carbon 기반 AI 에이전트를 활용해 메신저 Signal의 암호화 코드가 의도대로 작동하는지 검증. 이 과정에서 무려 300만 줄 이상의 수학적 증명을 생성
검증 능력을 시험하려고 Signal에서 과거 수정했던 보안 취약점 2개를 코드에 다시 심어봤는데, AI가 두 경우 모두 수학적 증명을 통해 안전하지 않다는 사실을 발견
인간 연구자들만으로는 수년이 걸렸을 것으로 예상되는 작업을 AI가 단 4주 만에 수행
기존 사이버보안이 취약점을 찾아내고 수정하는 방식이었다면, 이번 연구는 애초에 특정 취약점이 존재하지 않는다는 사실을 수학적으로 증명하는 방식임. 해커들이 자주 악용하는 메모리 안전성 문제에도 적용할 수 있을 것으로 기대.
구글은 이 기술을 AI 코딩 에이전트와 소프트웨어 개발 과정에 통합하는 방안을 연구 중. 기존 취약점 탐지 도구인 Project Zero, AI 기반 패치 도구 CodeMender와의 결합도 검토하고 있음.

지금까지 AI 보안 기술은 해커가 뚫을 구멍을 먼저 발견하거나, 이미 뚫린 구멍을 메우는 데 집중했으나, 이제는 AI가 코드를 작성하고, 또 다른 AI가 그 코드의 안전성을 수학적으로 증명하는 단계까지 발전

아직 상용화되지 않은 연구 단계긴 하나... 다만 AI 코딩의 발전으로 소프트웨어 생산량이 폭증하는 상황에서, 사람이 일일이 검사하는 대신 AI가 안전성을 증명해 주는 기술의 가치가 커질 수도 있을 듯.

AI 자동 생성 콘텐츠