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

Tôi dựng lại thế cờ ấy trên bàn vào một tối yên tĩnh, đèn vàng, tivi tắt, điện thoại úp mặt xuống. Quân trắng đứng chen chúc đến mức mắt người khó tìm nổi một ô trống để thở, hàng ngang hàng dọc gần như kín mít, các đường chéo bị chặn từ đầu đến cuối. Điều làm tôi dừng lại không phải số lượng nước, mà ở điều kiện đi kèm: 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à nước chiếu. Không một nước đi nào được phép thoát khỏi thế chiếu.

Người ta bảo con gái không biết gì về chiến thuật. Vậy nên tôi viết để họ đọc.

Con số được nhắc đến là 63. 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 rằng 63 là số nước chiếu hợp lệ tối đa có thể tồn tại trong một thế cờ duy nhất, phá kỷ lục 60 do nhà soạn cờ Norbert Ringeltaube thiết lập trước đó. Song song, hệ thống này đưa ra một giới hạn trên là 364 nước chiếu liên tiếp. Hai kết quả ấy khác nhau rất xa về bản chất, nhưng phần lớn dòng tít lại gộp chúng thành một câu nghe đơn giản hơn nhiều.

Để hiểu chuyện gì thực sự xảy ra, cần tách bài toán cờ vua tổ hợp ra khỏi cờ vua thi đấu. Ở đây không có ván đấu nào, không có đồng hồ, không có Elo, không có giải, không có hai người ngồi đối diện nhau. Đây là lĩnh vực soạn cờ — nơi người ta thiết kế những thế cờ cực đoan để trả lời một câu hỏi toán học hẹp: trong một thế cờ hợp lệ, tối đa có bao nhiêu nước chiếu?

Bài toán này đã 58 năm tuổi, tính từ mốc 2026. Trong gần sáu thập kỷ, các nhà soạn cờ người giải nó bằng tay, bằng trực giác hình học và bằng kinh nghiệm tích lũy qua nhiều thế hệ. Kỷ lục cũ về số nước chiếu tối đa trong một thế là 60. Ở hướng khác — chuỗi nước chiếu liên tiếp — kỷ lục được biết đến là 54, do Alexey Khanyan công bố năm 2026. Những người theo dõi lĩnh vực này ở Việt Nam không nhiều, nhưng cộng đồng soạn cờ thế giới lại là một nhóm nhỏ, kín, và khắt khe bậc nhất về tính chính xác.

Điều kiện “hợp lệ” ở đây không phải chuyện hình thức. Thế cờ phá kỷ lục phải có thể xuất hiện từ một ván đấu thật, chứ không chỉ là một cấu trúc lý thuyết dựng lên tùy ý. Đây là ranh giới phân biệt một thế cờ thật với một thế cờ dị dạng kiểu fairy. Đội nghiên cứu lường trước rằng đây sẽ là điểm bị soi nhất, nên họ khẳng định thẳng: thế cờ ấy có thể phát sinh từ một ván cờ hợp lệ.

Cần nhấn mạnh một điều để tránh nhầm lẫn về sau: các kỷ lục 60 và 54 là kỷ lục soạn cờ, không phải thống kê ván đấu thực chiến. Chúng không đo sức mạnh của bất kỳ kỳ thủ nào, và không nên bị đánh đồng với các chỉ số phong độ.

Phần thú vị nhất nằm ở phương pháp, chứ không ở kết quả cuối cùng. Đội ngũ nói rõ rằng việc liệt kê toàn bộ là bất khả thi vì không gian tìm kiếm quá lớn. Thay vào đó, họ đi theo một đường vòng gồm bốn bước: trước tiên chứng minh các tính chất cấu trúc và hình học của những thế cờ toàn nước chiếu; sau đó hình thức hóa các lập luận ấy 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à cuối cùng để máy kiểm tra lại toàn bộ chứng minh.

Kết quả với bài toán A là một kết quả khép kín và trọn vẹ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 quá 63. Cả cận dưới lẫn cận trên đều được thiết lập: một thế cờ cụ thể đạt tới con số đó, và một chứng minh bất khả thi chặn mọi thế cờ khác vượt lên trên. Trong toán học tổ hợp, đây là dạng kết quả mạnh nhất mà một bài toán kiểu này có thể có.

Kết quả với bài toán B thì chỉ là nửa kết quả. Giới hạn 364 nước chiếu liên tiếp được chứng minh là một cận trên, còn giá trị tối đa thật sự vẫn bỏ ngỏ. Một cận trên chỉ nói rằng không thể vượt quá 364; nó không nói rằng 364 chính là đáp án. Khoảng cách giữa điều được chứng minh và điều được suy diễn chính là nơi dòng tít dễ gây hiểu nhầm nhất.

Hình học của thế cờ 63 cũng đáng để dừng lại. Cách sắp xếp dày đặc, các quân ghim lẫn nhau, những đường chéo bị chặn, những ô bị kiểm soát — tất cả cùng phục vụ một mục đích duy nhất: bóp nghẹt mọi nước không phải nước chiếu. Mỗi quân không chỉ tấn công; nó còn khóa đường rút của quân khác. Một quân vừa chiếu vừa ghim vừa chắn đường là ba chức năng trên cùng một ô. Khi mật độ quân tăng lên, số ô trống giảm xuống, và mỗi ô trống còn lại đều phải được tính trước đến từng nước. Tôi nhớ cảm giác khi ngồi bóc từng lớp của một thế cờ kiểu này: bạn không đọc từng quân một, bạn đọc cả một hệ thống ghim và chặn đan vào nhau. Chiến thuật không bao giờ nói dối, chỉ có người đọc nó sai.

Về mặt đóng góp kỹ thuật, bước nhảy từ 60 lên 63 — chỉ ba nước — là một tín hiệu đáng chú ý. Khi một kỷ lục tồn tại suốt nhiều thập kỷ mà chỉ nhích được ba đơn vị, điều đó thường gợi ý rằng kỷ lục cũ đã tiệm cận một trần tổ hợp cứng. Điều này khớp với lập luận của đội ngũ rằng tìm kiếm thô không khả thi, và chỉ có chứng minh cấu trúc mới đủ sức khép khoảng trống. Giá trị của công trình không nằm ở việc cộng thêm ba nước, mà ở chỗ nó chứng minh được rằng không thể có nước thứ 64.

Một chi tiết cần nói rõ: khẳng định rằng thêm quân hay thêm hỏa lực có thể không cải thiện kết quả là một ý kiến, không phải một chứng minh, và bài viết gốc cũng trình bày nó đúng như vậy. Sự thận trọng ấy đáng ghi nhận, vì trong lĩnh vực này, ranh giới giữa một quan sát và một định lý thường bị xóa nhòa khi câu chuyện lan ra ngoài.

Trong bốn bước của phương pháp, bước hình thức hóa là bước mang tính bước ngoặt. Một khi lập luận đã nằm trong Lean 4, nó không còn phụ thuộc vào việc người đọc có tin tác giả hay không — nó phụ thuộc vào việc chương trình có chấp nhận hay không. Đây là kiểu kỷ luật mà ngành soạn cờ truyền thống chưa từng có. Trước đây, một thế cờ phá kỷ lục được công nhận bằng sự kiểm chứng của cộng đồng: ai đó dựng lại, đếm, và đồng ý. Còn lần này, có thêm một tầng kiểm chứng hình thức nằm giữa người đề xuất và kết luận.

Điểm mù lớn nhất của câu chuyện nằm ở chỗ kiểm chứng. Cụm từ “được máy kiểm tra” nghe rất chắc chắn, nhưng cần đọc kỹ: chứng minh được kiểm tra bởi chính chuỗi công cụ của đội ngũ — Lean 4 cộng với bước quy về SAT. Nó chỉ giảm rủi ro sai sót nếu bản thân phần hình thức hóa là đúng. Một lỗ hổng mã hóa trong bước quy đổi SAT cũng đủ làm sụp cận trên. Bài viết không nhắc đến bất kỳ cuộc kiểm toán độc lập nào từ bên thứ ba, và trong các tuyên bố cực trị, đây chính là kiểu thất bại kinh điển cần đề phòng.

Rủi ro thứ hai mang tính diễn giải. Dòng tít “AI giải bài toán cờ vua 58 năm tuổi” rất dễ bị đọc thành “AI đã giải được cờ vua”. Hai điều đó cách nhau rất xa. Thứ được chứng minh là một định lý cực trị hẹp về số nước chiếu tối đa trong một thế cờ, không phải về việc chơi cờ. Mẫu hình quen thuộc lại tái diễn: một bài báo kỹ thuật bị đóng gói thành một dòng tít gây ấn tượng, và phạm vi của nó phình ra trong quá trình lan truyền.

Rủi ro thứ ba là nguồn. Phần lớn các dữ kiện trong bài không được gán cho một nguồn cụ thể nào; chỉ những giá trị chủ đạo được quy cho Double Agent. Khi một kết quả khoa học lan truyền mà không kèm đường dẫn tới bài báo gốc, người đọc nên xử lý nó như một tuyên bố cần kiểm chứng, chứ không phải một sự thật đã chốt. Điều này không làm giảm giá trị tiềm năng của công trình, nhưng nó điều chỉnh cách chúng ta trích dẫn nó.

Tôi sẽ không gọi đây là khoảnh khắc AI giải cờ vua. Tôi gọi nó là một bước tiến trong cách cộng đồng soạn cờ chứng minh các kết quả cực trị của mình — từ trực giác của con người sang những chứng minh có thể để máy kiểm tra. Đôi khi, để hiểu trận đấu, phải đứng trong im lặng lâu hơn người khác chịu đựng. Và điều tôi để lại cho lần theo dõi tới: liệu 364 sẽ trở thành một đáp án thật, hay mãi là một cận trên đứng chờ người đến đóng lại?