Executable Archaeology: Reanimating the Heuristic Compiler (1961) and KBEmacs (1984)

배경

초기 AI 프로그램은 사람이 생각하는 방식에 대한 이론이기도 했어요. 프로그램을 쓰는 프로그램은 사람이 프로그래밍하는 방식에 대한 이론이었고요. Jeff Shrager, Kent M. Pitman, Mia Golec는 10월 26일 arXiv에 두 프로그램을 되살린 결과를 냈어요.

두 프로그램

• Heuristic Compiler(1961): 허버트 사이먼이 만든 실험 모델이에요. General Problem Solver의 수단-목표 분석을 적용해 프로그래밍을 문제 해결로 봤어요.
• KBEmacs(1984): MIT Programmer's Apprentice 프로젝트의 지능형 프로그래밍 도우미 시제품이에요. 숙련 프로그래머는 익숙한 패턴('클리셰')을 알아보고 조합한다는 관점으로 만들었고, 정형화된 영어 명령으로 클리셰를 이어 붙여 프로그램을 만들었어요.

방법과 결과

연구진은 원래 코드를 실제로 돌려 옛 계산 시스템을 연구하는 Executable Archaeology를 썼고, 이를 '되살리기(reanimation)'라고 불러요.

• Heuristic Compiler 재현은 사이먼의 1963년 논문에 실린 컴파일 결과를 그대로 만들어 냈어요.
• KBEmacs 재현은 1984년 12월 자체 테스트의 SQRT 시퀀스를 재현했어요.
• 둘을 나란히 보면 공통점이 많았어요. Heuristic Compiler도 기존 루틴을 고쳐 쓰는 방식이었고, 사이먼은 나중에 탐색만으로도 많은 프로그래밍 지식이 필요하다고 주장했어요.

연구진은 일부러 현대 AI 코딩 도구인 Claude Code(Opus 5.5)를 써서 세부 재현 작업의 상당 부분을 했다고 밝혔어요.

초록만 읽었어요.