AI가 쓴 650만 줄 증명, Signal 암호는 어디까지 확인됐나
구글 딥마인드가 AI 에이전트로 메신저 Signal의 암호화 코드를 수학으로 증명했다고 11월 10일 발표했습니다. 증명은 AI가 쓰고 검사는 Lean이라는 프로그램이 하며, 대상은 Signal 앱이 아니라 명령줄 도구 하나가 처리하는 두 사람 사이의 대화이고, 서버 쪽 프로토콜과 그룹 대화는 이번 범위 밖입니다.
구글 딥마인드가 AI 에이전트로 메신저 Signal의 암호화 코드를 수학으로 증명했다고 11월 10일 발표했습니다. 증명은 AI가 쓰고 검사는 Lean이라는 프로그램이 하며, 대상은 Signal 앱이 아니라 명령줄 도구 하나가 처리하는 두 사람 사이의 대화이고, 서버 쪽 프로토콜과 그룹 대화는 이번 범위 밖입니다.