Sau đó 5 năm, Allen Newell và Herbert Simon tạo ra thứ mà nhiều người sau này xem là chương trình AI đầu tiên trên thế giới, mang tên "Logic Theorist" (Nhà lý thuyết logic). Chương trình này đã chứng minh 38 trong số 52 định lý toán học, đồng thời tìm ra những cách chứng minh mới và hay hơn cho một số định lý. Đến năm 1956, công trình này được trình bày tại Dự án Nghiên cứu Mùa hè về Trí tuệ nhân tạo ở Dartmouth (bang New Hampshire, Mỹ), sự kiện sau này được gọi là "Hội thảo Dartmouth". Tại hội thảo lịch sử này, thuật ngữ "trí tuệ nhân tạo" lần đầu tiên được nhà khoa học máy tính người Mỹ John McCarthy sử dụng, và AI lần đầu tiên được xem là một lĩnh vực học thuật.bep chien tap 1