앤트로픽, 클로드로 오픈소스 123개 라이브러리 검증...수십 년 버그도 발견↗ (원문, 새 창)

앤트로픽이 클로드를 활용해 오픈소스 라이브러리 123개의 보안 속성을 수학적으로 검증하는 대규모 형식 검증에 성공했다고 밝혔다. 정리증명 전문 기업 시어럼과 협력해 구글의 OSS-퍼즈 프로젝트 라이브러리를 대상으로 진행했으며, 239개 테스트 진입점에서 64MB 미만의 모든 입력에 대해 충돌 없이 종료됨을 증명했다. 이 과정에서 기존 퍼즈 테스트로 찾지 못한 수백 건의 버그를 발견했고, 10년 넘게 잠복해 있던 논리 오류도 확인됐다. 최신 모델 오퍼스 5.5는 이전 모델보다 약 40% 적은 토큰으로 검증을 완료해 비용 효율성도 높아지고 있음을 보여줬다.

• 클로드가 오픈소스 라이브러리 123개, 239개 테스트 진입점의 보안 속성을 수학적으로 증명했다.
• 기존 퍼즈 테스트로 발견하지 못한 수백 건의 버그와 10년 넘은 논리 오류도 찾아냈다.
• XML 파서 libexpat에서는 CVE-2026-56132 취약점을 재발견했다.
• 오퍼스 5.5는 이전 모델 오퍼스 5보다 약 40% 적은 토큰으로 검증 작업을 완료했다.
• 리눅스 커널 zlib 구현과 러스트 파이썬 인터프리터 검증 등 다른 성과도 거뒀다.