Double Agent chứng minh giới hạn 63 nước chiếu: bài toán cờ vua 58 năm và nửa kết quả còn bỏ ngỏ

Trên bàn cờ 8x8, tồn tại một loại thế cờ khiến bên đi trước bị trói buộc theo cách kỳ lạ: mọi nước hợp lệ của họ đều buộc phải là chiếu tướng. Không hòa, không đổi quân, không chờ đợi, chỉ chiếu liên tục cho đến khi bàn cờ cạn nước. Giới sáng tác bài toán cờ vua gọi đó là bài toán số nước chiếu tối đa, và suốt gần sáu thập kỷ, câu hỏi giới hạn thật sự nằm ở đâu vẫn chưa có lời giải dứt khoát. Ngày 13/10, một hệ thống trí tuệ nhân tạo mang tên Double Agent tuyên bố đã tìm ra và chứng minh được con số 63 nước chiếu hợp lệ, vượt kỷ lục 60 nước của Norbert Ringeltaube. Nhưng điều đáng bàn không nằm ở số 63, mà ở một con số khác đứng ngay cạnh nó: 364.

Khi tôi còn thi đấu cờ vua và tổ chức các giải phong trào ở Nha Trang, bài toán sáng tác thế cờ luôn là một thế giới riêng. Nó không có đồng hồ, không có Elo, không có khán đài. Người ta ngồi hàng giờ trước một thế cờ chưa từng tồn tại trong bất kỳ ván đấu nào, chỉ để trả lời một câu hỏi: liệu có thể đẩy giới hạn xa hơn một chút nữa không. Đó là lý do khi đọc thông tin về Double Agent, tôi không xem đây là một sự kiện thể thao. Tôi xem đây là một cột mốc của phương pháp.

Hai bài toán, hai bản chất

Cần phân biệt rõ hai loại bài toán mà thông tin nhắc tới, vì chúng khác nhau hoàn toàn về bản chất.

Bài toán thứ nhất hỏi: trong một thế cờ hợp lệ, tối đa có bao nhiêu nước chiếu tướng hợp lệ có thể cùng tồn tại? Kỷ lục cũ là 60, do Norbert Ringeltaube thiết lập. Double Agent đưa ra thế cờ đạt 63 nước, và quan trọng hơn, chứng minh rằng 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ó ví dụ tồn tại, tức cận dưới, vừa có chứng minh bất khả, tức cận trên.

Bài toán thứ hai hỏi: chuỗi chiếu tướng liên tiếp dài nhất có thể kéo dài bao nhiêu nước? Năm 2026, Alexey Khanyan đã dựng được một thế cờ với 54 nước chiếu liên tiếp. Double Agent chứng minh rằng con số này không thể vượt quá 364. Nghe như một bước nhảy vọt, nhưng đây chỉ là một nửa kết quả: 364 là giới hạn trên, chưa phải giá trị lớn nhất thực sự. Bài toán vẫn còn mở.

Lịch sử của bài toán này bắt đầu từ năm 2026, khi câu hỏi về số nước chiếu tối đa lần đầu được đặt ra một cách hệ thống. Trong hơn nửa thế kỷ, các nhà sáng tác nâng kỷ lục từng nước một, mỗi lần chỉ thêm một hoặc hai nước. Đó là kiểu tiến bộ chậm, đòi hỏi sự kiên nhẫn và trí tưởng tượng không gian: bạn phải hình dung được một thế cờ mà chưa ai từng dựng, rồi kiểm tra từng ô, từng quân, từng đường chiếu. Việc một hệ thống AI nhảy từ 60 lên 63 trong một lần công bố cho thấy tốc độ khác biệt của phương pháp hình thức hóa.

Điểm mấu chốt nằm ở chỗ đội nghiên cứu khẳng định việc liệt kê toàn bộ là bất khả thi về mặt tính toán. Vì vậy họ không đếm, mà chứng minh.

Khi chứng minh thay thế việc đếm

Cách Double Agent tiếp cận mới là phần đáng học nhất. Quy trình gồm bốn bước: chứng minh các tính chất hình học và cấu trúc của những thế cờ có nước chiếu; hình thức hóa các tính chất đó trong Lean 4, một trợ lý chứng minh toán học; quy phần còn lại về một bài toán SAT; rồi để máy kiểm chứng lại toàn bộ lập luận.

Đây là kiểu tư duy mà tôi quen thuộc từ những ngày phân tích thế trận trên bàn cờ: giới hạn thật sự không nằm ở việc bạn đếm được bao nhiêu, mà ở việc bạn chứng minh được vì sao không thể nhiều hơn. Nếu chỉ đếm, bạn mãi mãi sống trong vùng xám của những thế cờ chưa thử. Nếu chứng minh được cấu trúc, bạn đóng lại cánh cửa đó vĩnh viễn.

Về mặt kỹ thuật, điều đáng chú ý là tính hợp lệ của thế cờ. Đội nghiên cứu khẳng định thế cờ đạt kỷ lục có thể phát sinh từ một ván đấu hợp lệ, chứ không phải một cấu trúc chỉ tồn tại trên giấy. Bài toán còn đòi hỏi 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 đó đều phải chiếu. Đây là những điều kiện được định nghĩa chặt chẽ trong Luật cờ vua của FIDE, và chúng chính là nền tảng khiến bài toán có thể được hình thức hóa thành các mệnh đề mà máy kiểm chứng được.

Nhìn vào thế cờ 63 nước, ta thấy dấu vết của một mật độ quân cực cao, cùng với các thế ghim và chặn đường được bố trí để vô hiệu hóa mọi nước không chiếu. Cái khéo nằm ở chỗ: để tối đa hóa số nước chiếu, bạn phải đồng thời triệt tiêu mọi khả năng đi nước thường. Đây là một bài toán cân bằng, giống như việc một đội bóng muốn pressing cao nhưng vẫn phải giữ được cấu trúc phòng ngự phía sau. Đẩy một tuyến lên cao mà không khóa được khoảng trống phía sau thì áp lực sẽ tự đánh sập mình.

Từ góc nhìn này, tôi thấy một điểm chung giữa sáng tác cờ và phân tích chiến thuật bóng đá: cả hai đều là bài toán tối ưu hóa trong một không gian ràng buộc. Ở cờ, ràng buộc là luật đi quân và yêu cầu chiếu. Ở bóng đá, ràng buộc là luật việt vị, số người và khoảng cách giữa các tuyến. Người giỏi không phải người đi được nhiều nước nhất, mà là người hiểu rõ biên của không gian mình đang chơi.

Tiêu đề đọc quá xa nội dung

Đây là lúc tôi muốn dừng lại một nhịp, bởi tiêu đề AI giải được bài toán cờ vua 58 năm rất dễ bị đọc quá xa.

Cụm từ giải được gợi lên hình ảnh cờ vua đã bị chinh phục. Nhưng sự thật hẹp hơn nhiều: Double Agent chứng minh được một định lý cực trị cụ thể, số nước chiếu tối đa là 63, trong khi bài toán chuỗi chiếu liên tiếp vẫn bỏ ngỏ với giới hạn trên 364. Giới hạn trên không phải đáp án. Nói rằng 364 là kết quả tương đương với việc nói một trận đấu không thể kéo dài quá 90 phút rồi coi đó là thời lượng thực tế của mọi trận đấu.

Rủi ro thứ hai mang tính nhận thức: toàn bộ phần kiểm chứng được thực hiện bởi chính bộ công cụ của đội nghiên cứu. Lean 4 và bài toán SAT chỉ giảm rủi ro sai sót nếu bản thân quá trình hình thức hóa là đúng. Một lỗ hổng trong cách mã hóa ràng buộc, ví dụ trong bước quy về SAT, có thể làm sụp toàn bộ kết luận về cận trên. Máy kiểm chứng không đồng nghĩa với đúng. Trong cộng đồng cờ vua, chúng ta đã quen với việc mọi tuyên bố cực trị đều cần được tái lập độc lập trước khi trở thành chuẩn mực.

Và còn một điểm tôi luôn nhắc khi nói về kỷ lục: con người không biến mất. Kỷ lục 60 của Ringeltaube và thế cờ 54 của Khanyan là thành quả của những người sáng tác bài toán, một cộng đồng nhỏ, kín tiếng, không có Elo, không có giải thưởng lớn. AI không thay thế họ, nó mở rộng công cụ của họ. Mảnh ghép không gian ở đây không phải là nước đi trên bàn, mà là khoảng trống giữa cận dưới và cận trên, nơi bài toán vẫn chưa được đóng lại.

Thêm nữa, thông tin về đội nghiên cứu đứng sau Double Agent gần như không được nêu rõ. Không có tên tổ chức, không có nguồn công bố cụ thể cho phần lớn dữ kiện. Với một người làm nghiên cứu, đây là điểm trừ lớn: một kết quả cực trị chỉ có giá trị khi nó có thể bị người khác chất vấn và tái lập.

Trong cộng đồng cờ vua Việt Nam, sáng tác bài toán chưa bao giờ là mảng được chú ý. Các bạn trẻ thường biết đến cờ vua qua các giải đấu, qua Elo, qua những ván blitz trên mạng. Ít ai biết rằng phía sau mỗi thế cờ đẹp là hàng tháng trời thử và loại. Dựa trên kinh nghiệm theo dõi các trận đấu và các cuộc thi sáng tác mà tôi từng tham gia tổ chức, tôi nhận thấy cộng đồng này đánh giá cao sự chặt chẽ hơn là sự hào nhoáng. Một kết quả như 63 là cơ hội để kể cho người trẻ nghe về một nhánh cờ vua ít tiếng vang nhưng đầy chiều sâu.

Điều đáng chờ ở phía trước

Khi theo dõi kết quả này, tôi tự hỏi điều gì sẽ đến tiếp theo. Nếu Double Agent công bố đầy đủ các tệp Lean 4 và mã hóa SAT để cộng đồng tái kiểm chứng, chúng ta sẽ có một tiền lệ quý: chuẩn mực chứng minh có thể kiểm chứng bằng máy cho các tuyên bố cực trị trong sáng tác cờ vua. Nếu không, con số 63 vẫn chỉ là một lời tuyên bố đẹp cho đến khi có người thứ ba xác nhận.

Chiến thuật chỉ hoàn thiện khi được kể bằng ngôn ngữ mà người trong cuộc dám tin. Với sáng tác cờ, ngôn ngữ đó là chứng minh hình thức. Với bóng đá, ngôn ngữ đó là dữ liệu vị trí mà cầu thủ có thể nhận ra trên sân. Cả hai đều dạy tôi cùng một bài học: đừng kết luận trước khi đo đạc, và đừng nhầm một nửa kết quả với toàn bộ câu trả lời.

Điều tôi muốn bạn mang theo không phải là 63 hay 364, mà là cách đặt câu hỏi: kỷ lục nào đã được chứng minh khép kín, kỷ lục nào mới chỉ là một nửa? Với một người làm nghiên cứu như tôi, đó mới là phần đáng đọc nhất của câu chuyện.