우리 Frontier Red Team 블로그에 새로 소개된 내용: Claude를 사용하여 대규모 환경에서 소프트웨어를 공식적으로 검증하는 방법.

공식적인 검증은 코드에 특정 버그가 없음을 증명할 수 있지만, 역사적으로는 작은 코드베이스에만 실현 가능했으며(또는 많은 전문가의 시간이 필요했습니다).

하지만 AI 모델의 경우 이러한 상황이 변화하기 시작하고 있습니다. @theoremlabs와 협력하여, 몇 주 만에 100개가 넘는 실제 오픈소스 라이브러리에서 Claude를 사용해 보안 특성을 입증했습니다.

전체 연구 내용은 여기에서 읽으세요: https://www.anthropic.com/research/formal-verification