참고AI타임스
앤트로픽, Claude(클로드) 활용한 오픈소스 라이브러리 형식 검증 성공
LLM의 코드 분석 능력이 단순 디버깅을 넘어 수학적 형식 검증 단계로 진화, 향후 코드 자동화 도구의 신뢰성 향상 기대.
요약
앤트로픽이 정리증명 전문 기업 시어럼(Theorem)과 협력하여 구글의 오픈소스 테스트 프로젝트 'OSS-Fuzz'에 등록된 123개 라이브러리의 보안 속성을 수학적으로 검증했다. 이번 프로젝트는 클로드를 활용한 대규모 형식 검증(Formal Verification)을 통해 몇 주 만에 239개 테스트 진입점에서 프로그램이 충돌하지 않는다는 안전성을 증명했다. 특히 기존의 테스트 방식으로는 찾아내지 못했던 잠재적 버그들을 다수 발견하며 소프트웨어 안정성 검증에 AI를 활용할 수 있는 가능성을 입증했다. 앤트로픽은 이번 성과가 복잡한 소프트웨어 라이브러리의 취약점을 효율적으로 찾아내는 데 중요한 이정표가 될 것이라고 밝혔다.
AI가 원문을 요약한 내용으로, 부정확할 수 있습니다.
원문 제목 앤트로픽, 클로드로 오픈소스 123개 라이브러리 검증...수십 년 버그도 발견
원문 보기 ↗