틱택토에서 유일한 승리 수는 두지 않는 것이다

도널드 크누스의 『The Art of Computer Programming』은 틱택토의 최선 수를 다룹니다. 그 방법은 참·거짓 값을 내는 아홉 함수로 설명됩니다. 크누스는 1950년대 초 시카고 과학산업박물관의 기계와 둔 대국을 각주에서 회고합니다. 제가 더 오래 붙잡힌 것은 정답을 계산하는 기계가 사람이 판을 비틀자 규칙까지 놓친 순간입니다.

AI 코딩을 싫어하는 이유는 무엇인가라는 최근의 질문과 이 일화는 자동화의 결과를 어떻게 확인할지라는 주제로 닿습니다. 그럴듯한 답을 냈는지만 보지 않고, 도구가 규칙 안에서 동작했는지도 따져야 한다는 점을 함께 떠올리게 합니다.

흥미로운 건 오류가 어디서 생겼는지 선명하다는 점입니다. 크누스의 회고대로라면, 이길 길이 없음을 알아차린 그는 일부러 엉뚱한 수를 둬 기계에 이길 수 두 개를 만들었습니다. 벨 전화 연구소가 만든 기계는 두 수를 모두 뒀습니다. 승리 수를 찾는 계산과 규칙에 맞게 한 수만 놓는 일은 다른 문제입니다.

『Passages from the Life of a Philosopher』는 찰스 배비지가 1864년에 낸 책입니다. 배비지는 자동기계가 승리에 이르는 두 수를 만나면 별도 장치 없이 서로 모순된 동작을 할 수 있다고 썼습니다. 크누스의 회고 하나가 당시 기계 전체를 대표하지는 않습니다. 그래도 가능한 수를 찾는 일과 그중 하나만 실행하게 만드는 일은 별개입니다.

틱택토 판을 그려 자동 플레이어 차례에 이길 수 있는 칸이 두 곳인 상황을 만들어 보십시오. 한 칸만 고르고 판을 끝내는지, 두 칸을 모두 차지하는지 확인하면 계산 결과와 실제 실행 규칙이 분리돼 있는지 시험할 수 있습니다.

평소 자동화 도구의 결과를 확인할 때, 정답 여부와 실행 규칙 준수 중 무엇을 먼저 살피십니까?