AI giải bài toán cờ vua 58 năm tuổi: 63 nước chiếu là tối đa, 364 vẫn bỏ ngỏ

Mùa thu năm 2026, trong một căn phòng nhỏ, vài người đàn ông ngồi quanh bàn cờ giấy và tranh cãi về một thế cờ kỳ lạ. Họ đặt ra một câu hỏi tưởng chừng vô hại: liệu có thể dựng một vị trí trên bàn cờ 8x8, nơi bên đi trước buộc phải chiếu tướng trong mọi nước hợp lệ của mình, và nếu có thì số nước chiếu tối đa là bao nhiêu? Không có khán giả, không có giải thưởng, chỉ có những con người kiên nhẫn đếm từng nước đi và ghi chép bằng tay. Hơn nửa thế kỷ sau, câu hỏi ấy vẫn bỏ ngỏ một nửa. Ngày 13/10, một hệ thống trí tuệ nhân tạo mang tên Double Agent công bố kết quả khiến cộng đồng sáng tác thế cờ phải dừng lại. Nó tìm ra một thế cờ có 63 nước chiếu hợp lệ, đồng thời chứng minh rằng không vị trí nào có thể vượt qua con số đó. Kỷ lục cũ là 60, do Norbert Ringeltaube thiết lập. Ba nước đi tưởng như nhỏ bé, nhưng để chứng minh chúng, người ta cần một cách tiếp cận hoàn toàn mới. Câu chuyện bắt đầu từ năm 2026, khi giới sáng tác thế cờ bắt đầu đặt ra những câu hỏi cực trị. Trong hơn nửa thế kỷ, các nhà sáng tác con người đã nâng kỷ lục từng nước một, bằng trực giác và sự kiên nhẫn. Mỗi kỷ lục mới đều là một công trình được kiểm tra bằng mắt, bằng tay, và bằng tranh luận. Điều đó khiến những con số như 60 hay 54 mang một sức nặng đặc biệt: chúng không chỉ là con số, mà là kết tinh của nhiều năm lao động. Một nhánh cờ vua không có khán đài Bài toán này thuộc về sáng tác thế cờ và phân tích hồi tố, một nhánh rất riêng của cờ vua. Ở đó không có kỳ thủ ngồi đối diện, không có đồng hồ, không có xếp hạng Elo, cũng không có tiền thưởng. Người ta không thi đấu; người ta dựng thế cờ. Mỗi thế cờ là một câu đố được thiết kế tỉ mỉ, và người giải phải tìm ra lời giải, đôi khi bằng cách suy luận ngược từ vị trí cuối về vị trí đầu. Hai bài toán được đặt ra. Bài toán thứ nhất hỏi về số nước chiếu tối đa trong một thế cờ duy nhất. Bài toán thứ hai hỏi về chuỗi nước chiếu liên tiếp dài nhất. Với bài toán thứ nhất, kỷ lục cũ là 60 nước. Với bài toán thứ hai, thế cờ dài nhất từng được biết là 54 nước liên tiếp, do Alexey Khanyan dựng năm 2026. Double Agent không chơi cờ. Nó không phân tích khai cuộc, không đánh giá thế trận, không đưa ra nước đi hay dở. Nó giải một bài toán tổ hợp, nơi câu trả lời phải đúng tuyệt đối, không có chỗ cho gần đúng. Đây là điểm khác biệt căn bản so với những cỗ máy cờ vua như Stockfish hay AlphaZero, vốn được đo bằng tỷ lệ thắng và độ sâu tìm kiếm. Đây không phải cuộc đối đầu giữa người và máy trên bàn cờ, mà là cuộc đối đầu giữa một bài toán tổ hợp và một cỗ máy chứng minh. 63 là kết quả khép kín, 364 chỉ là giới hạn trên Điều quan trọng nhất trong công bố này nằm ở chỗ hai con số không cùng đẳng cấp về mặt logic. Con số 63 là một kết quả khép kín: tồn tại một thế cờ đạt 63 nước chiếu, và người ta chứng minh được rằng không thế cờ nào có thể đạt hơn. Muốn khép kín một kết quả như vậy, cần hai nửa. Nửa thứ nhất là cận dưới, xây dựng một thế cờ cụ thể đạt 63. Nửa thứ hai là cận trên, chứng minh mọi thế cờ khác đều không thể vượt qua 63. Con số 364 thì khác. Nó chỉ là một giới hạn trên cho bài toán thứ hai. Nghĩa là người ta chứng minh được chuỗi nước chiếu liên tiếp không thể dài hơn 364, nhưng chưa tìm ra thế cờ nào đạt tới con số đó. Giá trị tối đa thật sự vẫn là một câu hỏi mở. So với kỷ lục 54 nước của Khanyan, khoảng cách từ 54 lên 364 là rất lớn, nhưng đó là khoảng cách giữa một thế cờ đã dựng và một trần lý thuyết, chứ không phải giữa hai thế cờ đã tồn tại. Tôi từng nghĩ, khi đọc những tiêu đề kiểu AI giải bài toán cờ vua, rằng cỗ máy đã tìm ra đáp án trọn vẹn. Kinh nghiệm làm phim tài liệu dạy tôi đọc kỹ phần chú thích. Trong bài toán thứ hai, chính nhóm nghiên cứu thừa nhận 364 chỉ là cận trên. Đây là chi tiết mà người đọc lướt qua sẽ bỏ sót. Điểm mới thật sự không nằm ở con số, mà ở phương pháp. Thay vì liệt kê toàn bộ, nhóm nghiên cứu cho rằng cách đó bất khả thi. Số lượng thế cờ khả dĩ trên bàn cờ 8x8 là một con số khổng lồ, vượt xa khả năng duyệt tuần tự của bất kỳ cỗ máy nào. Họ chọn con đường khác: trước tiên chứng minh các tính chất hình học của cấu hình chiếu tướng, sau đó hình thức hóa toàn bộ lập luận trong Lean 4, một trợ lý chứng minh toán học, rồi quy phần còn lại về một bài toán SAT và để máy kiểm tra. Chuỗi bước này biến một câu hỏi tổ hợp thành một lời chứng minh có thể kiểm tra bằng máy. Một yêu cầu kỹ thuật mang tính then chốt: thế cờ kỷ lục phải xuất phát từ một ván cờ hợp lệ, chứ không phải một cấu trúc giả tưởng. Trong phân tích hồi tố, một thế cờ chỉ được coi là hợp lệ nếu nó có thể đạt tới từ một ván cờ bình thường. Thêm nữa, bài toá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 là nước chiếu. Để thỏa mãn điều kiện này, thế cờ 63 nước gần như phải đạt mật độ quân tối đa, dùng ghim quân và chặn đường để vô hiệu hóa mọi nước không chiếu. Đây là một thế cờ của những sợi dây căng, nơi mỗi quân cờ đều bị trói buộc bởi quân khác. Có một chi tiết nữa đáng chú ý. Nhóm nghiên cứu cho rằng việc thêm quân hay tăng hỏa lực tấn công có thể không cải thiện kết quả. Đây là một ý kiến, không phải một chứng minh, và bài viết trình bày nó đúng như vậy. Với một bài toán đòi hỏi sự chặt chẽ tuyệt đối, những nhận định chưa được chứng minh vẫn cần được tách riêng khỏi phần đã được máy kiểm tra. Tiêu đề đã đi trước nội dung Khi tiêu đề viết AI giải bài toán cờ vua 58 năm, rất dễ để người đọc tưởng rằng cờ vua đã bị giải. Sự thật hẹp hơn nhiều. Cờ vua là một trò chơi với hàng tỷ tỷ thế cờ hợp lệ, và không có cỗ máy nào chạm tới đáp án cuối cùng. Double Agent chỉ giải một định lý tổ hợp biên, rất hẹp, trong một góc nhỏ của sáng tác thế cờ. Đó là một thành tựu thật, nhưng nó không nói gì về việc chơi cờ. Có một cảnh báo nữa về nguồn tin. Kết quả được cho là kiểm tra bằng máy, nhưng việc kiểm tra do chính nhóm nghiên cứu thực hiện, không có kiểm toán độc lập. Trong toán học hình thức, kiểm tra bằng máy chỉ giảm rủi ro sai sót nếu bản thân phần hình thức hóa đúng. Một lỗi nhỏ trong mã hóa bài toán SAT cũng đủ làm sụp cận trên. Đây là điểm yếu quen thuộc của mọi tuyên bố cực trị dựa trên chứng minh hình thức. Tôi nhớ những ngày còn tổ chức giải cờ vua ở quê, khi mọi tranh cãi đều kết thúc bằng việc hai người ngồi lại dựng thế cờ trên bàn gỗ. Bàn cờ quê nhà không có khán đài, nhưng mỗi lần một quân cờ được đặt xuống là cả một trời ký ức ùa về. Ngày nay, người ta dựng thế cờ trong Lean 4. Nhưng câu hỏi vẫn vậy: lời giải có đúng không, và ai kiểm chứng nó? Cũng cần nhớ rằng những cái tên như Norbert Ringeltaube hay Alexey Khanyan không phải là kỳ thủ thi đấu. Họ là những nhà sáng tác thế cờ, làm việc trong một cộng đồng nhỏ và kín đáo. Kỷ lục của họ không phải là thành tích thi đấu, mà là những công trình tỉ mỉ, đôi khi mất nhiều năm để hoàn thiện. So sánh họ với các đại kiện tướng là một sự nhầm lẫn về bản chất. Điều còn lại Kết quả của Double Agent không đóng lại câu chuyện cờ vua, mà mở ra một cách đặt câu hỏi mới. Nếu những tuyên bố cực trị trong sáng tác thế cờ có thể được chứng minh bằng máy, thì tiêu chuẩn kiểm chứng của cả cộng đồng có thể thay đổi. Người ta sẽ không còn tranh cãi bằng trực giác, mà bằng những tệp chứng minh ai cũng có thể kiểm tra. Điều đáng tiếc là với bài toán 364 nước, câu trả lời vẫn treo lơ lửng. Một trần lý thuyết không phải là một kỷ lục. Và giữa một trần lý thuyết và một thế cờ thật, có thể còn một khoảng trống mà phải mất thêm nhiều thập kỷ nữa mới lấp đầy. Có lẽ điều thú vị nhất không phải là cỗ máy đã làm được gì, mà là nó buộc con người phải định nghĩa lại thế nào là giải một bài toán. Sân cỏ quê nhà không có khán đài, nhưng mỗi lần bóng lăn là cả một trời ký ức ùa về. Với bàn cờ, cũng vậy: những nước đi lặng lẽ nhất đôi khi để lại dấu vết lâu bền nhất.