63 nước chiếu: cỗ máy Double Agent chứng minh giới hạn bài toán cờ 58 năm

Năm 2026, cha tôi dạy tôi chơi cờ trên một bàn gỗ mun ở Kerala. Ông bảo: “Cờ không dạy con cách thắng. Cờ dạy con rằng mọi thứ đều có giới hạn, và việc của con là tìm ra giới hạn ấy.” Tôi nghe mà chưa hiểu hết. Phải đến đêm 13/10 vừa rồi, khi ngồi trước màn hình ở Đà Nẵng đọc kết quả từ một nhóm nghiên cứu về hệ thống mang tên Double Agent, tôi mới thấy câu nói của cha mình được một cỗ máy chứng minh bằng toán học. Câu chuyện bắt đầu từ một con số. Nhưng trước con số, hãy nói về năm tháng. Năm 2026, một bài toán cờ được đặt ra và suốt 58 năm sau đó, không ai giải trọn vẹn. Bài toán hỏi: trong một thế cờ duy nhất, tối đa có bao nhiêu nước đi hợp lệ mà tất cả đều là nước chiếu tướng? Nghe đơn giản. Nhưng cái đơn giản trong cờ thường là cái khó nhất. Đây không phải cờ thi đấu. Không có kỳ thủ nào ngồi trước bàn, không có đồng hồ bấm giây, không có hệ số Elo. Đây là thế giới của những người sáng tác bài toán cờ — problem composition. Họ là một cộng đồng nhỏ, kín tiếng và kiên nhẫn đến mức khắc nghiệt. Họ không thi đấu với nhau. Họ thi đấu với chính giới hạn của bàn cờ 64 ô. Nhánh này có một truyền thống riêng gọi là phân tích ngược (retrograde analysis): từ một thế cờ trên bàn, người ta truy ngược lại xem nó có thể hình thành từ một ván đấu hợp lệ hay không. Điều này quan trọng hơn vẻ ngoài của nó. Một thế cờ đẹp đến mấy cũng vô nghĩa nếu nó không thể xuất hiện trong một ván cờ thật. Tính hợp lệ (legality) là xương sống của cả nhánh này. Và trong bài toán của Double Agent, tính hợp lệ cũng là điều kiện bắt buộc: thế cờ phải có thể phát sinh từ một ván đấu hợp lệ, bên đi trước phải có ít nhất một nước hợp lệ, và tất cả các nước hợp lệ ấy đều phải là chiếu tướng. Trước Double Agent, kỷ lục về số nước chiếu tướng tối đa trong một thế cờ thuộc về Norbert Ringeltaube với 60 nước. Và kỷ lục về chuỗi nước chiếu liên tiếp dài nhất thuộc về Alexey Khanyan, người năm 2026 đã dựng được một thế cờ có 54 nước chiếu liên tiếp. Những con số ấy được con người tìm ra bằng tay, bằng mắt, bằng hàng nghìn giờ thử sai trong im lặng. Tôi từng ngồi cả đêm với một thế cờ như vậy. Năm 2026, khi còn tổ chức giải cờ ở Đà Nẵng, tôi có một người bạn già người Hungary chuyên sáng tác bài toán cờ. Ông bảo tôi: “William, bài toán cờ giống như làm thơ. Ngươi bị bó buộc trong 64 ô, nhưng chính sự bó buộc ấy sinh ra cái đẹp.” Tôi nhớ mãi câu đó. Nó định hình cách tôi nhìn mọi thứ về sau, kể cả những trận bóng đá tôi từng bình luận. Tôi nhớ năm 2026, khi tờ báo thể thao tôi gắn bó 18 năm gạch bài của tôi vì cho rằng tôi “viết văn trong bản tin thể thao”. Tôi rời tòa soạn, lập blog riêng, và bắt đầu mỗi bài bằng một hình ảnh thay vì một tỷ số. Tôi tưởng bị lưu đày khỏi nghề, hóa ra nghề đưa tôi vào sâu trong chính mình. Bài toán cờ mà Double Agent giải cũng vậy: nó không cần ồn ào. Nó chỉ cần đúng. Điều Double Agent làm được không nằm ở con số. Nó nằm ở cách chứng minh. Nhóm nghiên cứu không dùng phương pháp thử vét cạn (brute force) — tức là dựng mọi thế cờ có thể rồi kiểm tra từng cái. Họ nói thẳng điều đó là bất khả thi về mặt tính toán: số tổ hợp bàn cờ lớn đến mức không cỗ máy nào duyệt hết được trong thời gian hợp lý. Thay vào đó, họ đi theo một con đường khác, chậm hơn nhưng chắc hơn. Trước tiên, họ chứng minh các tính chất hình học của những thế cờ có nhiều nước chiếu — những ràng buộc về ghim quân (pin), chặn đường (blocking), và kiểm soát ô. Rồi họ hình thức hóa toàn bộ lập luận trong một trợ lý chứng minh tên là Lean 4 — một ngôn ngữ mà máy có thể kiểm tra từng bước logic, không cho phép sai một ly. Phần còn lại của bài toán được quy về dạng SAT, và cuối cùng, toàn bộ chứng minh được máy kiểm chứng. Kết quả: họ chứng minh được rằng tồn tại một thế cờ đạt đúng 63 nước chiếu hợp lệ, và không thế cờ nào có thể vượt qua 63. Đây là một kết quả khép kín — vừa có phần tồn tại (construction), vừa có phần không thể vượt (impossibility). Kỷ lục cũ của Ringeltaube là 60, tức con người tiến thêm được 3 nước nhờ cỗ máy. Ba nước. Nghe nhỏ. Nhưng trong thế giới bài toán tổ hợp, ba nước là một khoảng cách gần như đóng sập lại. Nó cho thấy kỷ lục cũ của con người đã tiến sát một trần cứng, và chỉ có chứng minh cấu trúc mới phá được trần ấy. Và đây mới là chỗ tôi muốn dừng lại lâu nhất. Bài toán thứ hai — chuỗi nước chiếu liên tiếp — Double Agent đưa ra con số 364. Nhưng nó không phải là kỷ lục. Nó là một giới hạn trên (upper bound). Nghĩa là: cỗ máy chứng minh rằng không chuỗi nào dài hơn 364 nước chiếu liên tiếp. Nhưng nó không chứng minh rằng tồn tại một thế cờ đạt đúng 364. Kỷ lục được dựng thật vẫn là 54 của Khanyan, từ năm 2026. Đây là chi tiết mà hầu hết tiêu đề sẽ bỏ qua. Và đó là lý do tôi viết bài này. Hãy tưởng tượng thế này: một người nói “không ai có thể chạy nhanh hơn 40 km/h trong thành phố này” — đó là giới hạn trên. Nhưng người ấy chưa chứng minh được có ai thực sự chạy được 40 km/h. Giữa “không thể vượt” và “có thể đạt” là một vực thẳm. Double Agent đã bắc cầu qua vực thẳm ấy cho bài toán 63. Với bài toán 364, nó mới chỉ đứng ở bờ bên này. Tin tức sẽ nói: “AI giải được bài toán cờ 58 năm.” Nghe hùng tráng. Nhưng nếu bạn đọc kỹ, câu chuyện thật khác đi. 63 là kết quả khép kín. 364 chỉ là một nửa kết quả. Cái mà Double Agent giải trọn vẹn chỉ là bài toán thứ nhất; bài toán thứ hai vẫn còn mở. Một tiêu đề gộp cả hai thành “giải bài toán cờ” là một sự phóng đại có chủ đích — không hẳn nói dối, mà là để người đọc tự tưởng tượng nhiều hơn sự thật. Đây là kiểu phóng đại tôi đã thấy hàng trăm lần trong 40 năm làm báo. Tệ hơn nữa: chính bản thân chứng minh cũng chưa được kiểm chứng độc lập. Lean 4 và SAT là công cụ mạnh, nhưng chúng chỉ đảm bảo điều này: nếu phần hình thức hóa đúng, thì kết luận đúng. Nếu có một lỗ hổng trong cách mã hóa bài toán, một giả định ngầm nào đó chưa được kiểm, thì cả tòa nhà có thể đổ. Trong toán học hình thức, đây là kiểu sai lầm kinh điển nhất. Không có bên thứ ba nào được báo cáo là đã kiểm tra lại kết quả. Cái được gọi là “máy kiểm chứng” thực chất là nhóm nghiên cứu tự kiểm chứng bằng công cụ của chính mình. Tôi nói điều này không phải để hạ thấp thành tựu. Tôi nói vì tôi đã đưa tin về cờ 40 năm, và tôi học được một điều: sự thật của một con số quan trọng bằng nguồn gốc của nó. Một kết quả đúng nhưng được thổi phồng sẽ nhanh chóng bị lãng quên. Một kết quả đúng và được trình bày trung thực sẽ sống lâu hơn. Dựa trên kinh nghiệm theo dõi các trận đấu và các bài toán cờ của tôi, tôi thấy điều đáng chú ý nhất ở đây không phải là việc cỗ máy tìm ra 63, mà là việc nó chứng minh được 63 là tận cùng. Tìm ra thì dễ bị nhầm là giỏi. Chứng minh được mới là trí tuệ. Vậy thì chúng ta nên nhớ gì? Nên nhớ rằng đây không phải AI giải cờ. Cờ vua — với hàng tỷ ván đấu, với sự sáng tạo vô tận của con người — không có giới hạn trên nào để giải. Cái được giải chỉ là một định lý hẹp: nhiều nhất 63 nước chiếu trong một thế cờ. Nhỏ thôi. Nhưng chính xác tuyệt đối. Điều đáng giữ lại không phải con số. Đó là phương pháp: con người dạy máy không chỉ cách tìm, mà cách chứng minh rằng không gì có thể tốt hơn điều mình tìm được. Trong một thời đại mà máy móc có thể nói bất cứ điều gì, khả năng chứng minh mới là thứ đáng giá. Cha tôi nói: mọi thứ đều có giới hạn. 58 năm sau, một cỗ máy đã chứng minh điều đó với 63 nước chiếu. Tôi tưởng bị lưu đày khỏi cờ, hóa ra cờ đưa tôi vào sâu trong chính mình. Có lẽ một ngày nào đó, ai đó sẽ chứng minh giới hạn cho 364 — và lúc ấy, bài toán cờ sẽ lại dạy chúng ta điều cha tôi dạy tôi năm 2026.