모델·기술

구글 딥마인드, 알파프루프 코드로 시그널 암호 핵심 4주 검증

Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years

GAI Press 편집부 · 2026년 11월 12일 목요일 · AI 요약

구글 딥마인드가 개발한 알파프루프 코드는 시그널의 암호 핵심 코드를 4주 만에 수학적으로 검증했다. Gemini Carbon 기반 AI 에이전트가 600만 줄 이상의 증명 코드를 작성했으며, 인간이 검토해야 할 부분은 약 1%에 불과했다.

AI 기반 자동 검증으로 보안 소프트웨어 개발 기간을 획기적으로 단축한다.

연구자의 시선AI 자동 증명 시스템이 암호 프로토콜 검증 효율성에 미치는 영향은? — 과업-기술 적합이론(TTF)

에이치제이기술경영원(HJITM)은 생성형 AI·기술경영 분야의 연구 설계부터 설문·분석·국제학술지 투고까지 함께합니다. 연구 질문을 가지고 문의해 주세요.