JOIN FeedMan BOT
Home
Blog
Support
앤트로픽, 클로드로 오픈소스 123개 라이브러리 검증...수십 년 버그도 발견
Wait 5 sec.
Read post on rss.app
앤트로픽이 '클로드'를 활용해 오픈소스 소프트웨어 123개 라이브러리의 보안 속성을 수학적으로 검증하는 데 성공했다. 몇주 만에 239개 테스트 진입점에서 특정