앤트로픽 Claude, 오픈소스 123개 라이브러리 버그 검증
앤트로픽, 클로드로 오픈소스 123개 라이브러리 검증...수십 년 버그도 발견
- 매체
- AI타임스
- 게시
- 중요도
- 4/5
- 화제 지수
- —
한국어 요약
앤트로픽이 Claude로 오픈소스 123개 라이브러리의 보안 속성을 형식 검증해 기존 테스트에서 발견 못한 버그를 찾아냈다. 수십 년 묵은 버그도 발견했으며 239개 테스트 진입점 검증을 완료했다.
원문 발췌 · English
앤트로픽이 '클로드'를 활용해 오픈소스 소프트웨어 123개 라이브러리의 보안 속성을 수학적으로 검증하는 데 성공했다. 몇주 만에 239개 테스트 진입점에서 특정 조건 아래 어떤 입력을 넣어도 프로그램이 충돌하지 않는다는 것을 증명했으며, 기존 테스트로 발견하지 못했던 버그도 찾아냈다.앤트로픽은 22일(현지시간) 정리증명 전문 시어럼(Theorem)과 협력해 구글의 오픈소스 소프트웨어 테스트 프로젝트인 'OSS-퍼즈(OSS-Fuzz)'에 등록된 라이브러리를 대상으로 대규모 형식 검증(Formal Verification)을 진행했다고