대화형 증명
계산 복잡도 이론에서 유래한 개념으로, 검증자(Verifier)와 증명자(Prover)가 메시지를 주고받으며 명제의 타당성을 확인하는 과정이다. 이 아티클에서는 모델이 판사에게 질문을 던져 숨겨진 정답에 도달하는 능동적 추론 과정을 평가하는 핵심 메커니즘으로 사용된다.