Mùa hè ở Dartmouth — AI có một cái tên
Đề nghị 13.500 đô la của John McCarthy đặt tên 'trí tuệ nhân tạo' lần đầu tiên trong lịch sử, và workshop Dartmouth 1956 sinh ra Logic Theorist — chương trình AI đầu tiên.
Một đề nghị 13.500 đô la đặt tên cho một lĩnh vực
Mùa xuân 1955, phó giáo sư toán 28 tuổi John McCarthy tại Dartmouth chán ngấy việc các nhà nghiên cứu máy tính phân tán dưới nhiều cái tên khác nhau (điều khiển học, lý thuyết tự động, xử lý thông tin phức tạp). Ông viết đơn xin Quỹ Rockefeller 13.500 đô la (chỉ nhận được 7.500) cho 'một nghiên cứu 2 tháng, 10 người về trí tuệ nhân tạo' — lần đầu tiên cụm từ 'artificial intelligence' xuất hiện trong văn bản in.
Việc chọn tên có động cơ chính trị nhiều như khoa học: McCarthy muốn thoát khỏi cái bóng của Norbert Wiener và 'điều khiển học' đang thống trị lúc đó. Trong vòng một thập kỷ, 'AI' thu hút mọi tài trợ và uy tín, còn điều khiển học trôi dạt vào khoa học xã hội và mạng nơ-ron ngủ đông gần hai thập kỷ.
Trao đổi (0)
Bảy khía cạnh nghiên cứu định hình bảy mươi năm AI
Đề nghị Dartmouth 17 trang liệt kê bảy khía cạnh — viết tay tám tháng trước khi workshop bắt đầu, vẫn là các chủ đề nóng của AI năm 2026:
- 1
Máy tính tự động (Automatic Computers).
- 2
Cách lập trình máy tính sử dụng ngôn ngữ (tự nhiên).
- 3
Mạng nơ-ron (Neuron Nets).
- 4
Lý thuyết về kích thước của một phép tính.
- 5
Tự cải thiện (Self-Improvement).
- 6
Trừu tượng hóa (Abstractions).
- 7
Tính ngẫu nhiên và sáng tạo.
Trao đổi (0)
Logic Theorist — chương trình AI đầu tiên đánh bại Russell và Whitehead
Tháng 12/1955, không có máy tính trong tay, Herbert Simon chiêu mộ vợ con diễn các bước thuật toán bằng tay — mỗi người là một subroutine, chuyền thẻ chỉ mục cho nhau. Đến mùa hè 1956, Allen Newell, Simon và Cliff Shaw mang tới Dartmouth một chương trình chạy thật trên máy JOHNNIAC: Logic Theorist, đã chứng minh được 38 trong 52 định lý đầu của Principia Mathematica.
Với Định lý 2.85, chương trình tìm ra một chứng minh trang nhã hơn cả bản gốc của Russell và Whitehead — Simon viết thư báo tin, Russell được cho là 'phản hồi với sự vui sướng'. Trớ trêu thay, khi nhóm nộp bằng chứng mới cho Journal of Symbolic Logic, tạp chí từ chối đăng vì cho rằng một chứng minh mới của định lý sơ cấp là không đáng kể — bỏ qua sự thật rằng một trong các 'đồng tác giả' là một chương trình máy tính.
Nguồn: Chương 3 — Mùa hè ở Dartmouth (phần Logic Theorist)
Trao đổi (0)
Tìm nguyên lý cổ điển trong sản phẩm AI hiện đại
Chương này giới thiệu hai nguyên lý từ 1956-1959: (1) học bằng thử-sai và tự chơi với chính mình (Arthur Samuel, chương trình cờ đam), và (2) phân tích phương tiện-mục đích — ở mỗi bước so trạng thái hiện tại với mục tiêu rồi chọn hành động giảm khoảng cách (General Problem Solver của Newell & Simon). Chọn một sản phẩm AI bạn dùng hằng ngày và chỉ ra nó đang áp dụng nguyên lý nào trong hai nguyên lý trên.
Trao đổi (0)
Một quy tắc kinh nghiệm giúp tìm giải pháp mà không đảm bảo nó đúng — khác với thuật toán vét cạn luôn đảm bảo tìm ra đáp án. Từ này trở nên nổi tiếng nhờ một giai thoại: tại Dartmouth 1956, Selfridge, Minsky, McCarthy, Solomonoff và More từng tụ quanh một cuốn từ điển giấy để tra nghĩa từ 'heuristic' — rồi cùng năm đó định nghĩa cả một lĩnh vực sẽ dẫn tới ChatGPT.
Trao đổi (0)
Đăng nhập ở góc trên để lưu tiến độ đọc.