대화형 증명
증명자와 검증자가 메시지를 주고받으며 특정 주장의 타당성을 확인하는 암호학 및 계산 이론의 프로토콜이다. 모델이 단순히 결과만 내놓는 것이 아니라 논리적 근거를 단계별로 제공하게 하여 신뢰성을 확보한다. AI가 복잡한 추론 결과의 정당성을 입증하는 핵심 메커니즘이다.
AI의 답변, 믿어도 될까? 스스로 정답임을 증명하는 '자기 증명 모델' 등장