뉴스국내
AI가 기계어까지 검증…딥마인드, 알파프루프 코드 공개
디지털투데이
[디지털투데이 최재원 기자] 구글 딥마인드가 AI 에이전트를 활용해 암호화 메신저 시그널의 핵심 소프트웨어를 기계어 수준까지 수학적으로 검증하는 데 성공했다. 실제 프로그램을 컴파일한 결과물까지 보안성을 확인했다는 점에서 주목된다.12일(현지시간) 대만 매체 IT홈에 따르면 딥마인드는 AI 기반 형식 검증 프레임워크 알파프루프 코드(AlphaProof…
원문의 저작권은 디지털투데이에 있습니다. 위 발췌는 원문 확인을 돕기 위한 짧은 인용입니다.