Human-level AI is harder than it seemed in 1955 (2006) www-formal.stanford.edu2 pointskleiba15 years ago