Claude로 오픈소스 123개 라이브러리 정형검증 증명 — Theorem 협업

Anthropic Frontier Red Team이 정형검증 스타트업 Theorem과 함께한 연구를 10/22(미국 시각) 공개했습니다. Claude로 123개 실사용 오픈소스 라이브러리의 RISC-V 어셈블리 수준 보안 속성을 증명했고, 64MB 미만 입력에서 메모리 안전 오류 없이 동작함을 보였습니다. 증명 과정에서 수조 번의 테스트에도 안 잡힌 버그도 찾았습니다. 증명 일부와 Claude 스킬도 공개됐고, clawfit은 이를 L1→L2 하네스 경계 신호로 분류했습니다.