AI giải bài toán cờ vua 58 năm: con số 63 là tối đa, nhưng 364 mới là câu hỏi còn mở
Core answer: An AI system named Double Agent proved that the maximum number of legal checking moves in a single chess position is 63, breaking the prior record of 60, and proved 364 as an upper bound for consecutive checking moves, while the exact maximum remains open. Key facts: - Double Agent proved 63 legal checking moves is the maximum, breaking Norbert Ringeltaube's prior record of 60. - The 63 result is closed: both a construction and an impossibility proof were established. - The 364 figure is only an upper bound for consecutive checking moves; the exact maximum stays open. - The prior known construction for consecutive checks was 54 moves, by Alexey Khanyan in 2013. - Method: structural proofs, Lean 4 formalization, SAT reduction, then machine verification of the full proof. Source attribution: Original source unspecified; announcement date October 13 | Cross-checked: VuaBong.vn Related Q&A: Q: Did AI solve chess itself? A: No; it proved a single extremal theorem about the maximum number of legal checking moves, not the game of chess. Q: Is the 364 figure a proven maximum? A: No; 364 is only an upper bound, and the exact maximum for consecutive checking moves remains an open question. Q: Was the proof independently audited? A: No; the proof was machine-checked by the research team's own toolchain, with no reported third-party audit.
Tôi nhớ mãi cái đêm ngồi vẽ lại một thế cờ trên giấy kẻ ô, chỉ để trả lời một câu hỏi tưởng chừng ngây ngô: bên đi trước có thể tung ra tối đa bao nhiêu nước chiếu trong một vị trí duy nhất? Câu hỏi ấy không phải của tôi. Nó được đặt ra từ năm 2026, và phải đến ngày 13/10 năm nay, một hệ thống AI mang tên Double Agent mới đưa ra câu trả lời trọn vẹn: 63 nước chiếu hợp lệ, và đó là mức tối đa — không một thế cờ nào trên bàn cờ 8x8 có thể vượt qua con số này.
Ngay tại đây, tôi phải nói rõ một điều mà tôi đã thấy quá nhiều người đọc lướt qua. Tiêu đề "AI giải bài toán cờ vua 58 năm" dễ khiến người ta tưởng cỗ máy đã giải xong cờ vua. Trò chơi vẫn còn nguyên đó, với hàng tỷ tỷ thế cờ chưa ai chạm tới. Thứ được giải là một bài toán tổ hợp cụ thể — dạng toán đếm cực trị trong soạn đề cờ, không có Elo, không có giải đấu, không có hai kỳ thủ ngồi đối diện nhau. Với một người làm khoa học thể thao như tôi, sự phân biệt này không phải chuyện câu chữ. Nó là chuyện đo đạc trước, kết luận sau.
Tôi theo dõi làng soạn đề cờ đã nhiều năm, đủ để biết nó là một cộng đồng nhỏ, kín, và cực kỳ khắt khe. Họ không tính điểm bằng Elo, mà bằng những kỷ lục cực trị được ghi nhận qua nhiều thế hệ. Một bài toán tồn tại 58 năm trong môi trường như vậy có nghĩa là rất nhiều người giỏi đã thử và thất bại. Khi một cỗ máy bước vào và tuyên bố đóng lại bài toán, phản ứng đầu tiên của tôi không phải là phấn khích, mà là câu hỏi: họ chứng minh bằng cách nào?
Kết quả nằm ở hai tầng, và hai tầng ấy khác nhau về bản chất.
Tầng thứ nhất khép kín. Double Agent tìm ra một thế cờ mà ở đó bên đi trước có đúng 63 nước hợp lệ, và toàn bộ 63 nước ấy đều là chiếu. Kỷ lục cũ thuộc về Norbert Ringeltaube với 60 nước. Chênh lệch ba nước nghe có vẻ nhỏ, nhưng trong dạng toán này, ba nước là cả một khoảng trời. Điều khiến kết quả đáng tin không nằm ở việc tìm ra thế cờ, mà nằm ở chỗ nhóm nghiên cứu chứng minh được rằng không thế cờ nào có thể đạt tới 64. Họ chứng minh cả cận dưới lẫn cận trên. Đó là lý do tôi gọi đây là kết quả đóng.
Tầng thứ hai còn để ngỏ. Với bài toán "chuỗi chiếu liên tiếp dài nhất", Double Agent đưa ra con số 364 — nhưng chỉ là một cận trên. Nghĩa là nhóm nghiên cứu chứng minh không chuỗi chiếu liên tiếp nào có thể dài hơn 364, chứ họ chưa tìm ra chuỗi nào đạt tới 364. Kỷ lục xây dựng được biết đến trước đó là 54 nước, do Alexey Khanyan công bố năm 2026. Khoảng cách từ 54 lên 364 là một vực thẳm chưa ai lấp. Ai đọc tiêu đề rồi tưởng "AI đã giải xong" sẽ bỏ lỡ đúng cái chi tiết quan trọng nhất: một nửa kết quả vẫn đang mở.
Điểm mới thật sự của công trình này không nằm ở con số, mà nằm ở cách họ đi tới con số. Các nhóm trước đây dựa vào vét cạn — thử từng thế cờ một. Nhóm Double Agent nói thẳng rằng cách đó bất khả thi về mặt tính toán. Thay vào đó, họ làm bốn việc theo trình tự: chứng minh các tính chất hình học và cấu trúc của những thế cờ chiếu; hình thức hóa những tính chất ấy 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 tra lại toàn bộ chứng minh. Đây là lần đầu một kết quả cực trị trong lĩnh vực này được máy kiểm chứng, thay vì được con người kiểm bằng mắt.
Đây là chỗ tôi thấy nghề của mình chạm vào nghề của họ. Trong cờ vua, cũng như trên sân bóng, thứ quyết định không phải quân cờ đang đứng ở đâu, mà là những ô cờ nó kiểm soát và những nước đi nó mở ra. Không phải nơi bóng đang đứng, mà nơi bóng sắp rơi, mới là mảnh ghép không gian thật sự. Một thế cờ đạt 63 nước chiếu gần như phải ép mật độ quân lên mức tối đa, dùng ghim và chặn để bịt mọi nước không chiếu. Mỗi quân phải vừa chiếu, vừa khóa đồng đội của mình, vừa không được tự do đi lung tung. Đó là một bài toán không gian thuần túy, chỉ khác là nó diễn ra trên bàn cờ thay vì trên thảm cỏ.
Có một chi tiết kỹ thuật mà tôi cho là quan trọng bậc nhất, và nó dễ bị bỏ qua. Nhóm nghiên cứu khẳng định thế cờ kỷ lục ấy có thể phát sinh từ một ván cờ hợp lệ, chứ không phải một thế cờ "cổ tích" chỉ tồn tại trên giấy. Trong soạn đề cờ, đây là ranh giới giữa cái thật và cái giả. Nếu thế cờ không thể xuất hiện qua một ván đấu bình thường, kết quả sẽ chỉ là trò chơi của trí tưởng tượng. Nhóm nghiên cứu rõ ràng đã lường trước điểm soi xét này, và họ trả lời trước khi bị hỏi. Về mặt kỹ thuật, 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ả những nước hợp lệ ấy đều phải là chiếu. Hai điều kiện ghép lại mới tạo nên độ khó thật sự.
Giờ đến phần tôi muốn nói thẳng, dù biết nó có thể làm ai đó khó chịu. Có hai luồng ý kiến về công trình này. Luồng thứ nhất tung hô: AI đã chạm tới một đỉnh cao trí tuệ mà con người bỏ ra gần sáu thập kỷ chưa chạm tới. Luồng thứ hai dè dặt: kết quả này do chính nhóm nghiên cứu tự kiểm tra, không có bên thứ ba phúc tra độc lập, nên chưa nên xem là chân lý đã được xác lập. Tôi đứng giữa, nhưng nghiêng về phía thận trọng, và tôi có lý do cụ thể.
Chứng minh được máy kiểm tra chỉ giảm rủi ro sai số khi bản thân khâu hình thức hóa đúng. Nếu có một kẽ hở trong cách mã hóa bài toán thành SAT — ví dụ định nghĩa chưa đủ chặt về cái gì được tính là một quân hay một vị trí — thì cận trên 63 có thể sụp đổ. Đây là kiểu thất bại kinh điển của những tuyên bố cực trị dựa trên chứng minh hình thức. Bản thân tôi, khi đọc một kết quả chưa được phúc tra độc lập, luôn đặt nó dưới dạng giả thuyết có kiểm chứng chứ không phải chân lý đóng. Không phải vì tôi nghi ngờ nhóm nghiên cứu, mà vì đó là kỷ luật của nghề.
Còn một điều nữa khiến tôi giữ khoảng cách. Bài viết gốc không nêu rõ nguồn đăng tải, và phần lớn dữ kiện không được gán cho nguồn nào cụ thể. Chỉ những con số đầu bảng được gán cho Double Agent. Với một người làm nghiên cứu, một kết quả mà không truy được về bài báo gốc thì nên được trích dẫn thận trọng, cho tới khi có bản preprint hoặc tài liệu chính thức để đối chiếu. Tôi không vội tin, cũng không vội bác.
Điều tôi mang ra khỏi câu chuyện này không phải con số 63, cũng không phải con số 364. Đó là hình ảnh một quy trình làm việc mới: con người đặt câu hỏi và dựng cấu trúc, máy móc gánh phần tính toán và kiểm tra, rồi cả hai cùng đứng trước một cộng đồng sẵn sàng phúc tra. Nếu chuẩn mực ấy lan sang những tuyên bố cực trị khác trong cờ vua và cả trong phân tích thể thao, thì lần sau, khi ai đó nói "đội này pressing tốt nhất giải", chúng ta sẽ có quyền hỏi: chứng minh đâu?
Esports cho tôi thấy một không gian chiến thuật không cần sân bóng vẫn có thể khiến tim đập nhanh. Còn bài toán 58 năm này cho tôi thấy một điều khác: ngay cả một thế cờ tĩnh, không ai đi, cũng có thể chứa đựng cả một trận chiến về không gian, về giới hạn, và về lòng kiên nhẫn đo đạc. 364 vẫn đang chờ ai đó đóng lại. Tôi sẽ theo dõi.