#암호화폐 속보

Anthropic, 100개 이상 오픈소스 라이브러리 대규모 형식 검증 수행

24x7 뉴스 속보

Anthropic의 Frontier Red Team이 Theorem과 협력해 Claude로 100개 이상의 오픈소스 라이브러리를 RISC-V 어셈블리 수준에서 대규모 형식 검증(formal verification)했다고 10월 22일 밝혔다. 이 과정에서 수년간 발견되지 않았던 취약점이 식별됐다. Claude는 123개 OSS-Fuzz 라이브러리의 239개 엔트리 포인트에 대해 약 1억 8,000만 줄의 Rocq 코드를 통해 검증을 수행했다.

관련 속보