신호

구글 딥마인드의 연구원들이 AI 에이전트 AlphaProof Code를 사용하여 시그널의 주요 메시지 보호 메커니즘을 수학적으로 검증했습니다. 4주 동안 이 시스템은 Lean에서 약 650만 줄의 증명을 생성했습니다. 이 작업은 암호화 코드의 특정 보안 속성을 확인했지만 전체 애플리케이션을 다루지는 않았습니다.