Quy tắc 30 của Wolfram: Khi một ô đen thách thức toàn bộ nền khoa học máy tính

Hãy hình dung một hàng ô vuông, mỗi ô đen hoặc trắng. Để tạo ra hàng tiếp theo, mỗi ô chỉ cần "nhìn" vào ba ô phía trên nó: ô ngay trên đầu và hai ô kề bên. Ba màu đó có tám tổ hợp, và quy tắc chỉ đơn giản nói rằng với mỗi tổ hợp, ô mới sẽ có màu gì. Viết tám câu trả lời thành số nhị phân, bạn được 00011110 — tức là 30 trong hệ thập phân. Đó là toàn bộ Quy tắc 30 (Rule 30).

Nghe có vẻ tầm thường, nhưng chính quy tắc này đã khiến Stephen Wolfram treo giải thưởng 30.000 USD từ nhiều năm nay. Tính đến nay, cả ba câu hỏi về cột trung tâm của nó vẫn chưa có lời giải.

Từ một quy tắc đơn giản đến hỗn loạn

Vào đầu thập niên 1980, Wolfram bắt đầu khảo sát một cách có hệ thống những chương trình đơn giản nhất thuộc loại này. Chỉ có 256 quy tắc như vậy. Phần lớn hành xử nhàm chán: chúng tắt dần, lặp lại, hoặc tạo ra các mẫu lồng nhau gọn gàng. Riêng Quy tắc 30 thì không.

Phía bên trái của nó ổn định thành những sọc đều đặn, nhưng phía bên phải không bao giờ ổn định. Và cột trung tâm — cột quan trọng nhất — vượt qua mọi bài kiểm tra ngẫu nhiên tiêu chuẩn.

Quan sát rằng một quy tắc cực kỳ đơn giản có thể sinh ra hành vi trông như ngẫu nhiên đã trở thành nền tảng của cuốn sách A New Kind of Science (2002) của Wolfram.

Trong nhiều năm, Quy tắc 30 chính là nguồn sinh số nguyên ngẫu nhiên cho phần mềm Mathematica. Họa tiết của nó phủ lên tường ga tàu điện Cambridge North (Anh). Và nó cũng là chủ đề của một thách thức toán học chưa có hồi kết.

Ba câu hỏi và 30.000 USD chưa ai nhận

Wolfram treo thưởng 30.000 USD, mỗi câu hỏi về cột trung tâm trị giá 10.000 USD. Bảy năm trôi qua, cả ba vẫn còn mở.

Hãy đọc cột trung tâm như một đồng xu: đen là ngửa, trắng là sắp. Đồng xu này không ngẫu nhiên — mỗi lần "tung" đều bị quyết định bởi quy tắc. Vì vậy mỗi câu trả lời chỉ có thể là có hoặc không, và chỉ một chứng minh mới giải quyết được. Đội ngũ của Wolfram đã tính toán một tỷ ô của cột này. Chúng trông hoàn toàn ngẫu nhiên, nhưng điều đó chẳng chứng minh được gì.

Trật tự ẩn giấu bên trong hỗn loạn

Điều thú vị nằm ở chỗ: cả hai bên của "kim tự tháp" đều mang trật tự với hình dạng chính xác, dù bề ngoài một bên có vẻ hoang dã.

Đọc kim tự tháp theo các đường chéo song song với cạnh trái, vài đường chéo đầu tiên ổn định thành mẫu lặp ngắn. Một khi một chuỗi đường chéo đã lặp, nó lặp mãi mãi — vì các đường chéo đó chỉ phụ thuộc vào nhau. Ranh giới trật tự không chạy dọc theo cạnh mà bắt đầu gần tâm ở đỉnh rồi nghiêng ra ngoài với tốc độ khoảng 0,244 ô mỗi hàng.

Ở cạnh phải hoang dã, các tam giác trắng chạm vào rìa xuất hiện với khoảng cách hoàn toàn đều nhau, chỉ khác nhau về kích thước. Ở mỗi hàng chẵn, một tam giác trắng bắt đầu lùi vào một ô tính từ cạnh, và độ rộng của nó chỉ phụ thuộc vào số lần số 2 chia hết số hiệu hàng — giống như các vạch trên thước kẻ. Điều này đã được chứng minh vĩnh viễn.

Tuy nhiên, không loại trật tự nào chạm tới được cột trung tâm. Ở hàng thứ t, cột trung tâm nằm trên đường chéo thứ t từ cả hai cạnh, ngày càng sâu hơn, nơi chu kỳ đã dài đến mức không thể quan sát: đường chéo thứ 54 từ cạnh phải chỉ lặp lại sau 4.194.304 hàng. Trật tự ở rìa chưa nói gì về phần giữa — và đó là lý do các bài toán trở nên khó.

Bánh xe 56 bước và bức tường

Giả sử cột trung tâm lặp lại theo cách đơn giản nhất: trắng, đen, trắng, đen, mãi mãi. Hãy giữ cột trung tâm theo nhịp đó như một bức tường, rồi chạy Quy tắc 30 cho các ô bên phải nó từ một điểm khởi đầu ngẫu nhiên.

Cột ngay sát bức tường làm một điều đáng kinh ngạc: nó rơi vào một vòng lặp cố định 56 bước — một bánh xe — và ở đó cho đến khi có gì đó từ phía xa bên phải đẩy nó ra, sau đó nó ổn định lại ở vị trí mới trên bánh xe.

Quy tắc 30 có một tính chất hữu ích: nếu biết cột trung tâm và cột kề bên nó, mọi ô về phía trái đều bị buộc phải xác định, lần lượt từng ô một. Do đó, một cột trung tâm lặp lại sẽ áp đặt toàn bộ phía trái.

Giải thưởng hỏi về một ô đen duy nhất; chúng tôi đặt cùng câu hỏi cho mọi điểm khởi đầu hữu hạn — tức mọi mẫu chỉ có hữu hạn ô đen, bao gồm cả trường hợp đó.

Mọi dãy số đều có thể tạo ra được

Tính chất trên cũng hoạt động theo chiều ngược lại. Chọn bất cứ thứ gì cho cột trung tâm muốn "nói" — số nguyên tố, dãy Fibonacci, các chữ số nhị phân của π, hay chính tên bạn — rồi xây điểm khởi đầu từng ô một, theo hướng sang trái. Ô thứ t bên trái cột trung tâm quyết định thẳng cột trung tâm ở bước t mà không làm xáo trộn các bước trước.

Vậy mọi dãy số đều có thể tạo ra được. Vấn đề là điểm khởi đầu không bao giờ kết thúc; mỗi bước cần thêm một ô. Cắt nó thành điểm khởi đầu hữu hạn thì dãy bị phá vỡ ngay khi ô đầu tiên còn thiếu chạm tới cột trung tâm. Ngay cả khởi đầu tốt nhất trong mọi khởi đầu 18 ô cũng chỉ theo được dãy số nguyên tố trong 18 bước, và π trong 19 bước. Một điểm khởi đầu hữu hạn mua được khoảng một bước cho mỗi ô.

Tinh thể bất biến và định lý của Jen

Giữ cột trung tâm theo nhịp và cho cột kề bên một mẫu lặp bất kỳ. Quy tắc 30 sau đó cố định các cột về phía trái từng cột một. Dù mẫu là gì, sau một đoạn ngắn, phía trái đông cứng thành tinh thể: một bức tường xây từ một viên gạch duy nhất, lặp lại cả theo chiều ngang lẫn chiều dọc. Viên gạch không bao giờ trống, nên phía trái không bao giờ có thể chuyển trắng.

Đó chính là định lý của Jen năm 1990. Xét mọi mẫu có độ dài chẵn tới 20 — tổng cộng 1.398.100 mẫu — chỉ có 20 viên gạch khác nhau xuất hiện.

Hệ quả: cột thứ hai của một phản ví dụ không bao giờ có thể lặp lại, và phía trái của nó không có tinh thể để ổn định vào.

Quy tắc 30 và giả thuyết Collatz: hai mặt của một đồng xu

Lấy bất kỳ số tự nhiên nào. Nếu chẵn, chia đôi; nếu lẻ, nhân ba, cộng một rồi chia đôi. Lặp lại. Lothar Collatz đặt câu hỏi năm 1937 liệu mọi số khởi đầu có cuối cùng rơi về 1 không. Máy tính đã kiểm tra mọi số dưới 2,4 × 10²¹; không ai chứng minh được; và giải thưởng 120 triệu yên (Bakuage, 2021) vẫn chờ một chứng minh hoặc phản ví dụ.

Trông như hai thế giới khác nhau, nhưng trong hệ nhị phân, Collatz chính là cùng một cỗ máy với Quy tắc 30. Một số viết dạng nhị phân là một hàng ô đen trắng, và phép nhân với 3/2 — trái tim của bước lẻ trong Collatz — tác động lên hàng đó gần giống Quy tắc 30.

Cả hai đều bắt đầu từ một bước đơn giản là mã Gray rồi thêm một phần hiệu chỉnh. Mã Gray là cách đếm nhị phân mà mỗi số chỉ khác số trước đúng một chữ số — được dùng ở mọi nơi cần đọc mà không được nhảy, như trong encoder quay. Công thức của nó chỉ là một phép so sánh: viết số dạng nhị phân và so từng chữ số với chữ số bên trái, tô đen nơi chúng khác nhau.

Cả hai bài toán, xét cho cùng, là hai cách làm sai lệch cùng một quy tắc đơn giản — và cả hai đều trải ra thành những tam giác Sierpinski chồng lấn, mỗi cái treo từ một phần hiệu chỉnh.

Điểm chung	Collatz	Quy tắc 30
Công cụ đặc thù	Số học: đồng dư modulo lũy thừa của 3, dạng tuyến tính trong logarit	Tính địa phương: hiệu chỉnh là các ô đơn lẻ
Trạng thái	Chưa chứng minh	Chưa chứng minh

Mỗi bên nắm một công cụ mà bên kia thiếu. Collatz có số học; Quy tắc 30 có tính địa phương — chính điều đã giúp tìm ra các quy tắc chính xác về sự kiện biên. Một chứng minh ở bên này sẽ cho thấy bên kia cần thay thế điều gì. Hiện tại, chưa bên nào có.

Vì sao điều này quan trọng với giới công nghệ

Quy tắc 30 không chỉ là một trò chơi toán học. Nó là ví dụ nổi bật nhất cho thấy tính bất khả quy về mặt tính toán (computational irreducibility): có những hệ thống mà cách duy nhất để biết kết quả là chạy mô phỏng từng bước, không có công thức tắt nào.

Điều này có hệ quả thực tế với những ai làm việc trong lĩnh vực sinh số ngẫu nhiên, mật mã học và mô phỏng. Việc dùng Quy tắc 30 để sinh số ngẫu nhiên trong Mathematica đặt ra câu hỏi nền tảng: liệu một quy tắc tất định đơn giản có thể tạo ra ngẫu nhiên thực sự theo nghĩa toán học hay không? Câu trả lời vẫn đang mở.

Công trình mới nhất được thực hiện trong khoảng thời gian 4–9/10/2026 bởi Gareth, phối hợp với các cộng sự AI: Claude của Anthropic và GPT của OpenAI. Mỗi chứng minh do một bên đề xuất và bên kia kiểm tra trước khi được ghi nhận là đã chứng minh. Các dự đoán được viết ra trước khi thí nghiệm, và mọi dự đoán thất bại đều được giữ lại trong hồ sơ công khai.

Chưa có bài toán nào trong ba bài toán được giải. Nhưng những gì đã được xác lập khiến một phản ví dụ trở nên khó tin — dù đó vẫn chưa phải là một chứng minh.