LLM이 취약점 검사할 때 자꾸 헛소리(환각)하는 진짜 이유와 해결책

• LLM으로 소프트웨어 보안 취약점 찾을 때 거짓 양성(False Positive) 때문에 골머리 썩는 경우가 많잖아.
• Frame이라는 새로운 프레임워크는 논리적 오류를 줄이기 위해 수학적으로 증명된 '분리 논리(Separation Logic)' 코어를 결합했대.
• 인공지능의 직관적인 탐지 능력에 정밀한 정적 분석 수학 모델을 얹어서 오탐률을 획기적으로 줄이는 데 성공했다는 소식이야.