Axi · Сквозной — фон контента (skin) · 16 кат.Axi · Сквозной — фон контента (skin) · 16 кат.

딥마인드

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