Từ 60 lên 63 nước chiếu: khi trí tuệ nhân tạo bước vào làng soạn cờ

Nha Trang tháng Mười, mưa ngang qua cửa sổ. Tôi đang dọn lại mấy cuốn sổ tay ghi chép từ thời còn ngồi buồng bình luận cờ cho VTC thì con trai gửi cho một đường dẫn: một hệ thống trí tuệ nhân tạo tên Double Agent vừa công bố kết quả giải một bài toán cờ vua tồn tại 58 năm. Đọc lần đầu, tôi gật gù. Đọc lần thứ hai, tôi đặt bút xuống.

Có gì đó trong dòng tít khiến tôi muốn chậm lại. Suốt 32 năm ngồi ở buồng bình luận, tôi học được một điều: một kỷ lục không bao giờ cũ, nó chỉ đang chờ người biết cách lắng nghe. Lần này người lắng nghe là một cỗ máy, còn người kể chuyện là những con số nằm im trong sách.

Bài toán Double Agent giải không phải một ván đấu. Không có đồng hồ, không có kỳ thủ đối diện, không có khán đài. Đó là bài toán tổ hợp — loại mà giới soạn cờ theo đuổi hàng thế kỷ: trong một thế cờ duy nhất, tối đa có bao nhiêu nước chiếu hợp lệ? Và chuỗi chiếu liên tiếp dài nhất kéo dài đến đâu?

Câu hỏi về nước chiếu đã có lời đáp. Kỷ lục cũ thuộc về Norbert Ringeltaube với 60 nước chiếu. Double Agent đưa ra một thế cờ đạt 63 nước, và quan trọng hơn, chứng minh không thế cờ nào vượt qua 63. Đây là kết quả khép kín: vừa dựng ví dụ, vừa chặn giới hạn trên.

Câu hỏi còn lại thì khác. Năm 2026, Alexey Khanyan dựng được thế cờ với 54 nước chiếu liên tiếp. Double Agent đưa ra 364 — nhưng chỉ là giới hạn trên, chưa phải giá trị lớn nhất. Bài toán vẫn mở.

Đây là sân chơi không dành cho người chơi cờ, mà dành cho người soạn cờ — một cộng đồng nhỏ, kín, nơi mỗi kỷ lục ghi bằng nét chì và kiểm tra bằng mắt người. Sân vận động trống, nhưng tiếng vỗ tay của năm 2026 vẫn còn vang trong từng kỷ lục cũ. Gần sáu thập kỷ, họ tiến từng bước: thêm một nước chiếu, rồi hai, rồi ba. Chậm như người leo núi đếm từng hòn đá.

Mốc 58 năm gợi một khoảng thời gian. Nếu kỷ lục được ghi nhận năm 2026, thì bản tin này ra đời khoảng năm 2026 — một sự kiện vừa mới, vừa xa. Điều đó nhắc tôi rằng có những bài toán sống lâu hơn người đặt ra chúng.

Phần thú vị nhất không nằm ở 63 nước chiếu. Nó nằm ở cách cỗ máy đi đến đó.

Cách cũ là vét cạn: dựng mọi thế cờ khả dĩ rồi đếm. Nhóm nghiên cứu nói thẳng cách này bất khả thi — không gian cấu hình quá lớn. Thay vào đó, họ đi theo lộ trình bốn bước: chứng minh các tính chất hình học và cấu trúc của một thế cờ "chiếu toàn phần"; 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ề bài toán SAT; rồi để máy kiểm chứng toàn bộ chứng minh.

Kết quả không đến từ sức mạnh tính toán, mà từ việc biến một trực giác cờ vua thành một định lý kiểm tra được bằng máy. Đó là bước ngoặt về phương pháp.

Một chi tiết kỹ thuật đáng dừng lại: thế cờ 63 nước phải hợp lệ — phải xuất hiện được từ một ván cờ thật, không phải thế cờ "tiên" dựng tùy tiện. Bên đi trước phải có ít nhất một nước hợp lệ, và mọi nước hợp lệ đều phải chiếu. Muốn vậy, thế cờ gần như phải nén mật độ quân đến mức tối đa, dùng ghim và chặn đường để bịt mọi nước không chiếu. Đây là kiểu tư duy tôi từng thấy ở những người soạn cờ: họ không thêm quân, họ siết từng ô trống.

Có một chi tiết tôi muốn nói rõ, bởi nó dễ bị lướt qua. Nhóm nghiên cứu nhận đị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à ý kiến, không phải chứng minh, và bản tin trình bày nó đúng như vậy. Trong nghề của tôi, sự phân biệt giữa "tôi tin" và "tôi chứng minh được" là tất cả. Một bộ phim tài liệu có thể để nhân vật nói "tôi tin mình từng chạy nhanh hơn thế"; nhưng một định lý thì không được phép tin.

Điểm khác biệt giữa hai bài toán cũng là điểm đẹp nhất của câu chuyện. Bài toán 63 khép kín. Bài toán 364 để ngỏ. Một cỗ máy vừa chứng minh được một giới hạn tuyệt đối, vừa thú nhận có một giới hạn nó chưa chạm tới. Với người làm khoa học, thú nhận ấy đáng tin hơn mọi lời tuyên bố.

Để thấy vì sao điều này quan trọng, cần nhớ giới soạn cờ không có tiền, không có khán giả, không có giải thưởng. Họ làm việc trong im lặng, và mỗi kỷ lục được công nhận là một vinh dự nhỏ. Khi một cỗ máy bước vào và phá kỷ lục 60 nước của Ringeltaube, nó không cướp đi vinh quang của ai. Mỗi sân vận động tôi bước qua đều có một cánh cửa bí mật, và lối vào luôn là một con người. Ở đây, cánh cửa ấy mở ra một thế cờ 63 nước, và con người phía sau là một nhóm nghiên cứu không được nêu tên.

Tôi từng ngồi nghe một cụ soạn cờ ở Huế kể về những đêm thức trắng chỉ để dịch một thế cờ sang trái một ô. Cụ bảo: "Cờ không thưởng cho người nhanh, nó thưởng cho người kiên nhẫn." Đọc kết quả của Double Agent, tôi thấy câu ấy vẫn đúng — chỉ là người kiên nhẫn bây giờ có thêm một trợ lý biết kiểm tra từng bước suy luận.

Ở Việt Nam, tôi biết vài người soạn cờ vẫn làm việc âm thầm. Họ không có trợ lý Lean 4, không có bài toán SAT. Họ có giấy, bút chì, và những đêm dài. Khoảng cách giữa họ và Double Agent không phải khoảng cách tài năng — đó là khoảng cách công cụ. Và công cụ, khác với tài năng, có thể học được.

Và đây là chỗ tôi muốn nói thẳng.

Dòng tít "AI giải được 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 đó khác nhau một trời một vực. Thứ được giải là một định lý tổ hợp hẹp — số nước chiếu tối đa trong một thế cờ — không phải cờ vua như một trò chơi. Cờ vua không bị "giải". Nó chỉ bị hiểu thêm một góc.

Một rủi ro tinh vi hơn: toàn bộ phần kiểm chứng do chính nhóm nghiên cứu thực hiện. "Máy đã kiểm tra" chỉ giảm rủi ro sai sót nếu bản thân phần hình thức hóa trong Lean 4 và phần quy về SAT là đúng. Một lỗ hổng trong mã hóa bài toán cũng đủ làm sập giới hạn trên. Không có kiểm toán độc lập nào được nhắc đến.

Còn một rủi ro nữa: nguồn tin mờ. Phần lớn dữ kiện trong bản tin gốc không được gắn nguồn cụ thể; chỉ những kết quả đầu đề được gán cho Double Agent. Với người quen đối chiếu tư liệu qua nhiều nguồn, đây là dấu hỏi phải giữ lại — không để phủ nhận kết quả, mà để biết mình đang đứng ở đâu.

Tôi không hoài nghi cỗ máy. Tôi hoài nghi cách chúng ta kể câu chuyện về nó. Suốt 32 năm bình luận, tôi thấy người ta nhớ một pha cờ lâu hơn nhớ một định lý — nhưng cũng dễ quên rằng đằng sau mỗi kết quả là một chuỗi lựa chọn có thể sai.

Điều đọng lại với tôi không phải 63 nước chiếu, mà là tư thế của nhóm nghiên cứu: họ chứng minh cái chứng minh được, và để ngỏ cái chưa chứng minh được. Giữa một thời đại mà ai cũng muốn tuyên bố đã chạm tới đỉnh, việc một cỗ máy biết nói "tôi chưa tới" lại là điều đáng tin nhất. Có lẽ câu hỏi hay hơn không phải là "AI giải được gì