앤트로픽(Anthropic)이 Claude Opus 4.7 모델을 활용해 자동 소프트웨어 검증 시스템 'Aria'를 개발했어요.
Aria는 기존 LLM 검증 방식의 한계를 극복하고, 검증 대상 레마를 전체적으로 전달하여 모델이 스스로 검증 전략을 선택하도록 설계됐어요.
Aria는 Iris, reglang, iris-lean 등 다양한 환경에서 4,257개 레마를 완벽하게 검증하며, 기존 LLM 검증 방식보다 훨씬 높은 성공률을 기록했어요.
Claude Opus 4.7 모델은 검증된 소프트웨어 개발 과정을 자동화할 수 있음을 입증하며, 소프트웨어 개발 효율성 향상에 기여할 것으로 기대돼요.