Năm 1956 công ty đã chứng minh ví dụ đầu tiên về cái gì?
Năm 1952, Thomas Watson, Sr., từ chức sau gần 40 năm lãnh đạo công ty; con trai ông, Thomas Watson, Jr., được bổ nhiệm làm chủ tịch. Năm 1956, công ty đã chứng minh ví dụ thực tế đầu tiên về trí tuệ nhân tạo khi Arthur L. Samuel của Poughkeepsie, New York, phòng thí nghiệm của IBM lập trình một máy tính IBM 704 không chỉ để chơi cờ mà còn "học" từ kinh nghiệm của chính mình. Năm 1957, ngôn ngữ lập trình khoa học FORTRAN (FORmula TRANslation) đã được phát triển. Năm 1961, Thomas J. Watson, Jr., được bầu làm chủ tịch hội đồng quản trị và Albert L. Williams trở thành chủ tịch công ty. Cùng năm đó, IBM đã phát triển hệ thống đặt phòng SABRE (Môi trường liên quan đến kinh doanh bán tự động) cho American Airlines và giới thiệu máy đánh chữ Selectric rất thành công.
Trí tuệ nhân tạo