뉴스해외
Google Deepmind AlphaProof Code, Signal 암호화 코어를 4주 만에 검증
원제 · Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years
The Decoder
AlphaProof Code가 수년이 걸리는 Signal 암호화 코드 검증을 4주 만에 수학적으로 완료했으며, Gemini Carbon 기반 에이전트가 600만 줄 이상의 증명 코드를 작성했다.
한국어 요약 · 원문 제목과 발췌를 AI 가 옮긴 것으로, 정확한 내용은 원문에서 확인해 주세요.
Google Deepmind's AlphaProof Code mathematically verified Signal's cryptographic core code in four weeks, a process that typically takes years.
원문의 저작권은 The Decoder에 있습니다. 위 발췌는 원문 확인을 돕기 위한 짧은 인용입니다.