Double Agent và bài toán cờ vua 58 năm: 63 nước chiếu tối đa, 364 vẫn còn bỏ ngỏ

Đêm ở Bình Dương, tôi mở lại một thế cờ trên màn hình chiếc máy tính cũ. Quân trắng nằm rải rác như những ngôi nhà sau bão, quân đen bị ghim vào vua bằng những sợi chỉ vô hình, các đường chéo tự chặn lấy nhau. Tôi đếm thử số nước chiếu hợp lệ: bảy, rồi tám, rồi bí. Người ta vừa nói với tôi rằng tồn tại một thế cờ mà ở đó mọi nước đi hợp lệ đều là chiếu, và tổng số nước chiếu lên tới 63. Tôi ngồi lại rất lâu, tay gõ nhẹ lên mặt bàn gỗ, và bỗng thấy mình quay về cảm giác của sáu mươi ngày ngồi nghe lại băng ghi hình năm nào — bất lực trước một con số, nhưng không thể rời mắt.

Ngày 13 tháng 10, một hệ thống trí tuệ nhân tạo mang tên Double Agent được công bố là đã giải xong một bài toán cờ vua tồn tại 58 năm. Tôi đọc bản tin lúc gần nửa đêm. Điều khiến tôi dừng lại không phải chữ "giải", mà là hai con số đi kèm nó: 63 và 364. Một con số đã đóng lại, một con số còn để ngỏ. Giữa hai con số ấy là cả một câu chuyện về cách con người và máy móc cùng nhau đếm đến tận cùng của một thế cờ.

Trước hết phải nói rõ điều mà tiêu đề dễ làm người đọc hiểu sai: đây không phải một ván đấu. Không có kỳ thủ nào ngồi đối diện nhau, không có đồng hồ, không có Elo, không có giải thưởng, không có khán đài. Bài toán mà Double Agent giải thuộc về một nhánh rất riêng của cờ vua — soạn thế cờ (problem composition) và phân tích hồi tố (retrograde analysis). Ở nhánh ấy, người ta không thi đấu để thắng. Người ta dựng nên những thế cờ cực đoan, rồi chứng minh rằng thế cờ đó tuân thủ luật cờ vua, và rằng không ai trên đời có thể dựng được thế cờ nào tốt hơn.

Trong hai mươi mốt năm quan sát ngành cờ, tôi từng đứng ở cả hai phía của tấm vạch: một vận động viên, một người tổ chức giải, rồi một bình luận viên. Nhưng tôi chưa bao giờ chạm tới cái nhánh lặng lẽ này, nơi các nhà soạn thế cờ làm việc như những người thợ khảm, ghép từng quân vào một ô vuông duy nhất mà cả thế kỷ không ai đổi được. Họ là những người hùng không có khán giả, và bài toán của họ cũng không có người xem.

Để hiểu vì sao con số 63 đáng để tôi ngồi lại đến gần sáng, cần một chút định nghĩa. Một "nước chiếu" là nước đi khiến vua đối phương bị tấn công. Trong một thế cờ bình thường, chỉ một phần nhỏ các nước đi hợp lệ là chiếu. Nhưng bài toán đặt ra câu hỏi ngược đời: liệu có thể dựng một thế cờ mà ở đó mọi nước đi hợp lệ đều là chiếu, và nếu được thì nhiều nhất là bao nhiêu nước?

Điều kiện "hợp lệ" ở đây nặng như đá tảng. Thế cờ phải phát sinh được từ một ván đấu thật, chứ không phải một cấu trúc tưởng tượng kiểu "cổ tích" mà giới soạn thế cờ gọi là fairy. Bên đi 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. Nghe thì đơn giản, nhưng chính ràng buộc này là thứ biến bài toán từ một trò xếp hình thành một định lý.

Điểm mấu chốt của bài toán A là nó đã đóng hoàn toà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ể vượt qua 63. Đây là điều mà giới toán học gọi là một kết quả cực trị trọn vẹn — vừa có cận dưới (một công trình xây dựng cụ thể), vừa có cận trên (một chứng minh bất khả). Kỷ lục cũ là 60 nước, gắn với tên tuổi Norbert Ringeltaube. Double Agent đẩy lên 63, và quan trọng hơn, nó khóa trần lại.

Ba nước, nghe như không đáng kể. Nhưng trong thế giới của những bài toán cực trị, ba nước có thể là khoảng cách giữa một kỷ lục và một định lý. Nếu chỉ có công trình xây dựng, người ta mới biết "có ít nhất 63". Chỉ khi có cả chứng minh bất khả, người ta mới biết "nhiều nhất 63". Cái dấu bằng ấy, chứ không phải con số, mới là thứ đáng nói.

Vậy làm sao để một thế cờ đạt tới 63? Bản tin không mô tả chi tiết thế cờ, nhưng nó gợi ra những manh mối kỹ thuật, và với kinh nghiệm đọc hàng nghìn thế cờ của mình, tôi có thể hình dung ra cấu trúc ấy. Muốn mọi nước đi hợp lệ đều là chiếu, người soạn phải tước đi của bên đi mọi lựa chọn "trung tính". Ông phải dùng ghim (pin) để trói các quân, dùng chặn đường (block) để bịt các lối, và dùng kiểm soát ô (square control) để biến từng ô trống thành một cái bẫy chiếu. Thế cờ phải được xếp cực kỳ chặt, mật độ quân dày đặc, đến mức mỗi quân vừa là lực lượng vừa là xiềng xích.

Đó là lý do vì sao bài toán này khó. Bạn không thể chỉ "thêm quân cho nhiều" rồi hy vọng có thêm chiếu. Thêm quân cũng thêm nước đi trung tính, thêm đường thoát, thêm lựa chọn phòng thủ — và mỗi lựa chọn như vậy lại phá vỡ điều kiện "mọi nước đều chiếu". Bản tin có nêu ý kiến rằng tăng quân và tăng hỏa lực "có thể không cải thiện kết quả". Tôi xin nhấn mạnh: đó là một ý kiến, không phải một chứng minh, và người viết bản tin cũng trình bày nó đúng như vậy.

Bài toán B mới là chỗ khiến tôi phải cẩn trọng. Nó hỏi về số nước chiếu liên tiếp dài nhất trong một chuỗi nước đi — một trò chơi đuổi bắt, nơi mỗi bên buộc phải chiếu mãi cho tới khi không còn chiếu được nữa. Kỷ lục xây dựng trước đó là 54 nước chiếu liên tiếp, do Alexey Khanyan dựng năm 2026. Double Agent công bố con số 364, nhưng kèm theo một chữ mà người đọc vội sẽ bỏ qua: 364 là một cận trên, không phải giá trị chính xác. Con số 364 chỉ khẳng định không chuỗi nào dài hơn 364; nó không khẳng định tồn tại một chuỗi dài đúng 364. Giá trị tối đa thật vẫn là một câu hỏi mở.

Sự phân biệt này không phải chuyện vặt học thuật. Một độc giả đọc tiêu đề "AI giải bài toán cờ vua 58 năm" sẽ hình dung ra một cánh cửa khép lại. Nhưng thực tế chỉ có một cánh cửa khép (bài toán A), còn cánh cửa kia mới chỉ được dán một tấm biển ghi "không vượt quá đây" (bài toán B). Khoảng cách giữa hai cánh cửa ấy chính là nơi câu chuyện thật sự sống.

Điều thú vị nhất, theo tôi, không nằm ở con số nào cả, mà ở phương pháp. Nhóm nghiên cứu nói thẳng rằng duyệt vét cạn (brute force) là bất khả thi — không gian thế cờ quá lớn để máy tính thử hết. Thay vào đó, họ đi theo một con đường bốn bước rất đẹp về mặt tư tưởng: trước tiên, 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; sau đó, 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; tiếp theo, quy phần còn lại thành một bài toán SAT — bài toán thỏa mãn điều kiện Boolean; cuối cùng, để máy kiểm chứng toàn bộ lập luận.

Đây là chỗ tôi muốn dừng lại lâu hơn, vì nó đổi cách tôi nhìn những bài toán cực trị. Ngày xưa, một nhà soạn thế cờ ngồi cả đời với giấy kẻ ô, dựng thế cờ, đếm tay, và tin vào mắt mình. Ngày nay, một nửa công việc được giao cho logic hình thức. Con người đặt ra câu hỏi và cái khung; máy móc gánh phần kiểm tra mà mắt người không còn đủ kiên nhẫn và không còn đủ chính xác.

Bàn cờ không có bóng, nhưng có những vết chai của đời người. Những vết chai ấy nằm ở chỗ: mỗi bước tiến của bài toán đều phải trả giá bằng một ràng buộc mới. Lean 4 và SAT không phải những cây đũa thần. Chúng là những người gác cổng khó tính, chỉ mở cửa khi mọi giả định đã được viết ra rõ ràng đến mức không còn chỗ cho sự mơ hồ.

Và chính vì khó tính như vậy, tôi buộc phải nói tới một điều mà bản tin không hào hứng nhắc: tính xác thực của chứng minh. Bản tin cho biết "các chứng minh đều đã được máy kiểm chứng". Nhưng máy nào, do ai lập trình, và có ai ngoài nhóm nghiên cứu kiểm tra lại hay không? Đây là câu hỏi hệ trọng nhất của toàn bộ câu chuyện.

Hãy tưởng tượng một phép quy đổi SAT bị đặc tả sai một điều kiện nhỏ. Khi đó, bộ giải SAT vẫn chạy, vẫn trả về "thỏa mãn", vẫn "kiểm chứng" xong — nhưng kết luận về cận trên có thể sai. Trong giới chứng minh hình thức, đây là kiểu thất bại kinh điển: máy kiểm chứng được cái bạn viết, chứ không kiểm chứng được cái bạn định nói. Bản tin không nhắc tới bất kỳ cuộc kiểm toán độc lập nào.

Cộng thêm một điểm nữa về nguồn tin: phần lớn dữ kiện trong bản tin không được gán cho ai cả. Chỉ những con số tiêu đề — 63, 364 — được quy cho Double Agent. Còn lại, từ định nghĩa bài toán đến điều kiện hợp lệ, phần nhiều là thông tin trôi nổi không rõ xuất xứ. Với một kết quả cần độ chính xác đến từng ô vuông, đó là một lỗ hổng đáng lưu tâm.

Đến đây thì điểm mù của ký ức tập thể hiện ra rõ rệt. Cộng đồng mạng sẽ ghi nhớ câu "AI giải được cờ vua". Nhưng không ai giải được cờ vua cả. Không một hệ thống nào chứng minh được giá trị của cờ vua, bởi cờ vua không phải một bài toán có đáp số — nó là một trò chơi có quá nhiều đáp số đến mức đáp số không còn ý nghĩa. Double Agent chỉ khóa lại một định lý hẹp: số nước chiếu tối đa trong một thế cờ là 63. Một hạt cát trong sa mạc, nhưng là hạt cát được đo bằng thước của định lý.

Tiếng vỗ tay Viking vang lên giữa thất bại, và tôi hiểu cờ vua cũng không hứa hẹn chiến thắng. Ở đây không có ai thua, không có ai thắng. Chỉ có một kỷ lục bị vượt qua và một định lý được khép lại. Người hùng của câu chuyện này là những cái tên không mấy ai biết: Norbert Ringeltaube với kỷ lục 60, Alexey Khanyan với thế cờ 54 năm 2026. Họ giống những nghệ nhân khảm trai, làm ra những tác phẩm mà cả đời không ai nhìn thấy, rồi một ngày bị một cỗ máy vượt mặt — không phải để làm nhục họ, mà để xác nhận rằng công trình của họ đã chạm tới một trần rất thật.

Có một chi tiết nhỏ khiến tôi nghĩ mãi: khoảng cách từ 60 lên 63 chỉ là ba nước. Nếu bài toán này còn nhiều dư địa, con số đã phải nhảy xa hơn. Ba nước gợi ý rằng kỷ lục của con người năm nào đã nằm sát một giới hạn tổ hợp cứng, và rằng chỉ có một con đường để vượt qua nó — không phải thử nhiều hơn, mà là hiểu sâu hơn. Đây chính là lý do vì sao nhóm nghiên cứu chọn chứng minh cấu trúc thay vì duyệt vét cạn. Họ không tìm cách chạy nhanh hơn; họ tìm cách suy nghĩ khác đi.

Tôi tự hỏi về cái mốc "58 năm". Nếu bài toán được đặt ra và kỷ lục cũ có từ khoảng năm 2026, thì năm nay là 2026 — một sự trùng khớp thời gian khá đẹp cho một bản tin. Nó nhắc tôi rằng những bài toán cờ vua không chết. Chúng chỉ nằm im, chờ một thế hệ mới, một công cụ mới, một cách nhìn mới. Người ta tưởng chúng đã cũ, nhưng thực ra chúng chỉ đang ngủ.

Và khi tỉnh dậy, chúng không thức dậy một mình. Chúng kéo theo cả một cộng đồng nhỏ bé mà thế giới bên ngoài gần như không biết tên: những nhà soạn thế cờ, những người phân tích hồi tố, những kỳ thủ đam mê cái đẹp của một thế cờ đúng. Cộng đồng ấy không có sân vận động, không có khán đài, không có hợp đồng tài trợ. Họ có một thứ khác: sự kiên nhẫn của những người đếm.

Khi không có khán giả, cờ vua trở về với tiếng thở của chính nó. Và trong căn phòng im lặng ấy, một cỗ máy vừa thì thầm một con số: 63. Không reo hò, không pháo hoa, chỉ một dòng thông báo trên màn hình. Nhưng với những người hiểu chuyện, dòng thông báo ấy còn vang hơn cả một trận chung kết.

Có một góc nhìn phản trực giác mà tôi muốn đặt lên bàn, dù biết nó sẽ khiến vài người khó chịu. Chúng ta đang ăn mừng một cỗ máy vì nó đã "giải" được một bài toán mà con người đặt ra cho chính mình. Nhưng nếu nhìn kỹ, thứ được chứng minh không phải là trí tuệ của cỗ máy, mà là sự chặt chẽ của toán học. Cỗ máy không nghĩ ra câu hỏi. Cỗ máy không biết vì sao 63 lại đẹp. Cỗ máy chỉ trả lời đúng câu hỏi mà một con người đã kiên nhẫn đặt ra suốt 58 năm.

Điều đó không làm giảm giá trị của Double Agent. Nó chỉ đặt đúng vai: máy móc là một người kiểm chứng bậc thầy, một thư ký trung thành của logic, nhưng người ra đề vẫn là con người. Trong cờ vua, ranh giới giữa hai vai này chính là ranh giới giữa một kỷ lục và một định lý — và cả hai đều cần nhau.

Có một chi tiết kỹ thuật nữa mà tôi không muốn bỏ qua, vì nó là chìa khóa để hiểu vì sao bài toán A đóng được còn bài toán B thì chưa. Với bài toán A, không gian tìm kiếm bị giới hạn bởi chính thế cờ: bạn đứng yên tại một vị trí và đếm các nước chiếu từ đó. Không gian ấy tuy lớn nhưng hữu hạn và có thể mô tả bằng các tính chất hình học. Với bài toán B, bạn phải xét cả một chuỗi nước đi, nơi mỗi bước mở ra một cây lựa chọn mới. Cây ấy lớn đến mức chứng minh một cận trên đã là kỳ tích, còn chứng minh giá trị chính xác có thể còn xa.

Đây là lý do tôi tin rằng con số 364 sẽ còn khiến người ta tranh cãi. Nó giống một dấu chấm lửng hơn là một dấu chấm hết. Và trong khoa học, những dấu chấm lửng lại là thứ đáng quý nhất, vì chúng mời gọi thế hệ sau bước vào.

Nếu phải tóm lại giá trị của câu chuyện này, tôi sẽ không tóm bằng con số. Tôi sẽ tóm bằng phương pháp. Việc một kết quả cực trị trong soạn thế cờ lần đầu được chứng minh bằng công cụ hình thức, có thể kiểm chứng bằng máy, là một tiền lệ. Nó mở ra khả năng rằng những tuyên bố cực trị trong tương lai — không chỉ ở cờ vua mà ở nhiều lĩnh vực tổ hợp khác — sẽ phải đi kèm những chứng minh có thể kiểm tra lại, thay vì chỉ là những công trình xây dựng kèm lời khẳng định "không ai làm tốt hơn".

Đó là một tiêu chuẩn mới, và tiêu chuẩn mới thường đến từ những nơi ít ai ngờ nhất — như một bàn cờ đặt trong một căn phòng không có khán giả.

Sáu mươi ngày nghe lại băng ghi hình năm nào, tôi tưởng tượng ra tiếng hò reo vọng ra từ những chiếc ghế trống. Đêm nay, ở Bình Dương, tôi lại nghe thấy điều tương tự: một thế cờ không có người xem, một cỗ máy không biết reo mừng, và một con số 63 vừa khép lại một cánh cửa suốt 58 năm không ai đóng được.

Nhưng cánh cửa bên cạnh vẫn hé. Con số 364 đứng đó như một người lính gác, nhắc rằng vẫn còn một bài toán chưa ai giải xong. Và có lẽ, chính khoảng mở ấy mới là món quà đẹp nhất mà Double Agent để lại cho thế hệ soạn thế cờ kế tiếp — một lời mời, chứ không phải một dấu chấm hết.

Tôi tắt máy tính, để lại thế cờ dang dở trên màn hình. Ngoài kia, trời Bình Dương bắt đầu hửng. Và tôi nghĩ về những người soạn thế cờ không tên, những người đã đếm bằng tay suốt gần sáu mươi năm, để rồi một đêm nào đó, một cỗ máy đếm nốt ba nước cuối cùng giúp họ. Ba nước. Đôi khi chỉ ba nước là đủ để một kỷ lục trở thành một định lý.