Anthropic은 Theorem과 협력해 Claude로 100개 이상의 오픈소스 라이브러리에서 특정 보안 속성을 증명했다고 밝혔습니다.
10월 22일 연구는 컴파일된 RISC-V 코드와 기계적으로 검증한 증명을 다룹니다. 보장은 명시된 명세와 가정에 한정되며 모든 버그가 사라졌다는 의미는 아닙니다. 개발팀은 개별 테스트와 속성 증명을 구분하고, 명세 자체와 실제 배포 환경도 검토해야 합니다.
주목할 소식
Anthropic, Claude로 100개 이상 라이브러리의 형식 증명 보고
Anthropic은 Theorem과 협력해 Claude로 100개 이상의 오픈소스 라이브러리에서 특정 보안 속성을 증명했다고 밝혔습니다.
출처 게시일 2026-10-22
번역된 기사입니다. 원문 읽기
원본 출처공식 출처
도구 목록Claude기능, 접속 및 요금제