구글 딥마인드, AI로 메신저 암호 코드 수학적 검증 성공

한눈에 보기

구글 딥마인드가 AI 에이전트(스스로 작업을 나눠 수행하는 AI 프로그램)를 써서 시그널 메신저의 암호 프로토콜 실제 코드가 안전하다는 것을 수학적으로 증명했어요. 시그널과 구글 메시지 같은 앱에서 수십억 건의 대화를 보호하는 기술이에요.

핵심만 콕콕

1. 1

   연구진이 AlphaProof Code라는 새 틀을 만들어 AI 에이전트가 증명 작업을 맡았어요.

2. 2

   AI가 Lean(코드가 맞는지 수학적으로 증명하는 프로그래밍 언어)으로 600만 줄이 넘는 증명을 만들었어요.

3. 3

   AI가 검토한 뒤 사람이 확인해야 할 부분은 전체 코드의 1%뿐이었어요.

4. 4

   검증은 4주 만에 끝났고, 보통 전문가 팀이 수년 걸리는 일이에요.

왜 중요할까요?

메신저 암호는 설계만 검증하는 경우가 많았는데, 이번에는 실제 실행되는 코드까지 확인했어요. 작은 틈 하나로 수백만 명의 대화가 노출될 수 있어 중요한 진전이에요.

같은 소식을 전한 다른 곳

• WIREDA New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure