구글 딥마인드, 시그널 코드 수학적으로 검증하는 '알파프루프 코드' 공개
구글 딥마인드가 시그널의 핵심 암호화 프로토콜 코드를 정밀 수학적으로 검증하는 프레임워크 '알파프루프 코드'를 발표했습니다. 제미나이 기반 에이전트가 600만 줄 이상의 린(Lean) 증명 코드를 작성해 기존에 수년이 걸리던 작업을 4주 만에 끝냈으며, 인간 전문가의 검토 분량을 1%로 대폭 줄였습니다.
구글 딥마인드가 시그널의 핵심 암호화 프로토콜 코드를 정밀 수학적으로 검증하는 프레임워크 '알파프루프 코드'를 발표했습니다. 제미나이 기반 에이전트가 600만 줄 이상의 린(Lean) 증명 코드를 작성해 기존에 수년이 걸리던 작업을 4주 만에 끝냈으며, 인간 전문가의 검토 분량을 1%로 대폭 줄였습니다.