By the late 1960s, it was already mathematically and conceptually clear from the work of Turing, McCulloch-Pitts, and others that brains could be viewed as computing devices, computers were getting faster and faster, and by the early 1970s we had already beaten the world champion of checkers—so the theoretical foundations for AGI were already established.