# AlphaProof Code

AI가 쓴 증명, Lean이 확인한 Signal 암호 코드

딥마인드가 AlphaProof Code로 Signal의 암호 구현을 기계어 수준에서 검증했다고 발표했다. 사람이 승인한 명세와 AI의 증명, Lean의 확인이 각각 무엇을 보장하는지 살펴본다.