메타, LLM '코드 검토' 능력 향상하는 '세미 포멀 추론' 공개

대규모 코드 저장소에서 버그 탐지, 코드 리뷰, 패치 검증 등을 수행하는 AI 에이전트가 늘어나는 가운데, 실제 코드 실행 없이도 높은 정확도로 분석할 수 있는 새로운 방법이 개발됐다.메타 연구진은 1일현지시간 AI가 코드를 직접 실행하지 않고도 논리적으로 분석할 수 있는 새로운 방법인 ‘에이전틱 코드 추론Agentic Code Reasoning’ 기법을 온라인 아카이브를 통해 공개했다.기존 AI 코딩 시스템은 코드가 실제로 어떻게 동작하는지 확인하려면 저장소마다 실행용 샌드박스를 만들어야 했다. 하지만 이 방법은 비용과 연