논리적 사고

조건을 못 맞추는 퍼즐은 인공지능(AI)에게 왜 더 어려울까?

SATBench의 2,100개 문제는 해 찾기와 불가능성 판정 사이의 비대칭을 드러냅니다.

그림에서 무엇을 볼까요?

후보 생성, 조건 검사, 불가능성 증명를 차례로 연결하고 조건·범위·반례를 확인하는 교육용 도식.

A가 첫째이면서 둘째여야 한다는 모순 퍼즐에서 후보를 조건별로 지우고, 후보 실패와 모든 후보 배제 증명을 구분합니다.

그림은 후보 생성 → 조건 검사 → 불가능성 증명의 순서로 읽습니다. 각 화살표 끝은 다음 단계의 경계에 닿고, 마지막 아래쪽 합류점에서 조건·범위·반례를 함께 확인합니다. 원 논문의 표나 그림을 복사하지 않고 LTCT가 개념 관계만 새로 그렸습니다.

2025년 특정 모델·설정과 합성 문제이며 solver가 자연어 번역의 의미 적합성을 자동 보장하지 않습니다.

이 자료 하나만으로 LTCT 교육·시험의 효과를 확인할 수 없습니다. 대상, 비교 조건, 무작위 배정 여부와 측정 시점을 유지한 별도 평가가 필요합니다.

가능한 배치를 못 찾으면 불가능한가요?