Khi cỗ máy chứng minh con số 63: bài toán cờ vua 58 năm và nửa sự thật còn bỏ ngỏ

Tôi từng ngồi ba tiếng đồng hồ trước một thế cờ chỉ có mười hai quân, chỉ để trả lời một câu hỏi duy nhất: nếu đến lượt Trắng đi, liệu có tồn tại một nước hợp lệ nào không chiếu tướng hay không? Không bàn thắng, không đồng hồ, không khán giả. Chỉ có tôi, quân cờ, và một câu hỏi tưởng như vô nghĩa. Năm 2026, khi vừa rời vai trò vận động viên cờ sang tổ chức giải và viết về cờ, tôi học được rằng có một nhánh cờ vua mà người ngoài không hề biết: cờ vua không chỉ để thắng, mà để đặt câu hỏi. Người ta gọi đó là bài toán cờ vua — problem composition, nghệ thuật dàn dựng một thế cờ để thách thức logic. Mới đây, một hệ thống trí tuệ nhân tạo mang tên Double Agent tuyên bố đã chạm tới giới hạn của một trong những câu hỏi cổ nhất của nhánh này: 63 nước chiếu tướng trong một thế cờ duy nhất. Và điều đáng nói hơn cả con số, là nó chứng minh được rằng không ai có thể vượt qua ngưỡng ấy. Với tôi, đó là cánh cửa mở vào điều làng cờ đã tìm suốt 58 năm.

Để hiểu vì sao 63 lại quan trọng, cần hiểu bài toán này hỏi điều gì. Trong cờ vua thông thường, một nước chiếu tướng là nước tấn công vua đối phương. Nhưng có một loại bài toán đặt câu hỏi cực đoan hơn nhiều: liệu có thể dựng một thế cờ hợp lệ sao cho bên đến lượt đi có ít nhất một nước hợp lệ, và mọi nước hợp lệ đều là chiếu tướng? Nói cách khác, thế cờ bị khóa đến mức không còn lối thoát nào ngoài việc tấn công. Đây là dạng bài toán maximum task — tối đa hóa số nước chiếu. Nó không liên quan đến giải đấu, không có Elo, không có nhà vô địch. Người ta chỉ có một thước đo duy nhất: kỷ lục.

Kỷ lục cũ thuộc về Norbert Ringeltaube với 60 nước chiếu trong một thế cờ. Ở một bài toán anh em — chuỗi nước chiếu liên tiếp dài nhất — kỷ lục đã biết từ năm 2026 thuộc về Alexey Khanyan với 54 nước. Hai con số ấy đứng im rất lâu. Người ta tin rằng đã gần chạm trần, bởi để tăng thêm một nước chiếu, người sáng tác phải xếp thêm quân, thêm ghim, thêm chặn đường — và mỗi quân thêm vào lại mở ra một lỗ hổng mới cho đối phương thoát. Đó là lý do 58 năm trôi qua mà chỉ có vài bước tiến nhỏ. Thế rồi Double Agent bước vào, không phải bằng cách thử vét cạn mọi thế cờ — điều mà chính nhóm nghiên cứu nói là bất khả thi — mà bằng một con đường khác hẳn.

Tôi tưởng mình đã rời xa cờ vua đỉnh cao từ lâu, hóa ra cờ vua đưa tôi vào sâu trong chính mình. Những năm tháng ngồi trước những thế cờ nhỏ bé ấy dạy tôi rằng cờ vua có hai nửa: nửa của đấu trường, nơi người ta thắng thua, và nửa của câu hỏi, nơi người ta chỉ có thể đúng hoặc sai. Double Agent thuộc về nửa thứ hai.

Điều khiến kết quả này đáng chú ý không nằm ở con số, mà ở cách nó được chứng minh. Double Agent không chỉ đưa ra một thế cờ có 63 nước chiếu — việc đó chỉ là chứng minh cận dưới, tức là có ít nhất 63. Nó còn chứng minh cận trên: không tồn tại thế cờ nào vượt qua 63. Khi cả hai cận gặp nhau, bài toán khép lại. Kết quả 63 là một định lý cực trị hoàn chỉnh: vừa dựng được ví dụ, vừa chứng minh được rằng không thể có ví dụ nào lớn hơn. Đây là điều hiếm khi xảy ra trong nhánh cờ này, nơi phần lớn kỷ lục chỉ là tôi tìm được cái này mà không ai chứng minh được rằng không ai tìm được cái hơn.

Quy trình của nhóm nghiên cứu đi qua bốn tầng. Họ bắt đầu bằng việc chứng minh các tính chất hình học và cấu trúc của những thế cờ mà mọi nước đi đều chiếu tướng — quân bị ghim phải nằm ở đâu, đường nào phải bị chặn, ô nào phải bị kiểm soát. Từ đó, họ hình thức hóa các tính chất ấy trong Lean 4, một trợ lý chứng minh toán học. Phần còn lại được quy về một bài toán SAT — bài toán thỏa mãn điều kiện logic — để máy giải. Và chặng cuối là kiểm tra toàn bộ chứng minh bằng máy. Điểm mấu chốt: con đường của họ là chứng minh cấu trúc, chứ không phải vét cạn. Nhóm nghiên cứu nói rõ rằng duyệt toàn bộ không gian thế cờ là bất khả thi, nên chỉ có thể đi bằng cách chứng minh tính chất, rồi để máy xác nhận.

Một chi tiết kỹ thuật quan trọng khác: tính hợp lệ. Thế cờ 63 nước không phải một cấu trúc cờ tiên hư cấu, mà có thể phát sinh từ một ván cờ hợp lệ theo luật FIDE. Nhóm nghiên cứu nhấn mạnh điều này, và họ cũng nói rõ yêu cầu: bên đến lượt đi phải có ít nhất một nước hợp lệ, và mọi nước hợp lệ đều chiếu. Đây là điểm mà giới sáng tác cờ luôn soi đầu tiên — một thế cờ đẹp đến mấy cũng vô nghĩa nếu nó không thể xuất hiện trong thực tế.

Tôi tưởng 63 chỉ là một con số khô khan, hóa ra nó là một lời khẳng định về giới hạn của cái có thể. Để hiểu vì sao, hãy hình dung một căn phòng chỉ có một cửa ra, và mọi lối đi trong phòng đều dẫn tới một cánh cửa khác cũng đang mở về phía kẻ địch. Không có lối thoát, chỉ có tấn công. Đó chính là cảm giác của một thế cờ mà mọi nước hợp lệ đều là chiếu tướng.

Nhưng đây mới là phần tôi muốn bạn chú ý nhất. Bài toán thứ hai, về chuỗi 364 nước chiếu liên tiếp, không phải một kết quả khép kín. Nó chỉ là một cận trên. Nghĩa là nhóm nghiên cứu chứng minh được rằng không thể có chuỗi nào vượt quá 364 nước. Nhưng họ chưa chứng minh được rằng tồn tại một chuỗi đạt đúng 364. Con số thật — cái trần thực sự — vẫn còn bỏ ngỏ. Đây là chi tiết mà tiêu đề AI giải bài toán cờ vua 58 năm sẽ khiến người đọc bỏ qua.

Dựa trên kinh nghiệm theo dõi các thế cờ kỷ lục của tôi, tôi thấy có một điều luôn bị bỏ qua trong cách đưa tin. Trong báo chí cờ vua, người ta thường gộp mọi thứ vào hai chữ bài toán, như thể mọi bài toán đều cùng một loại. Nhưng có một khoảng cách lớn giữa tìm được một thế cờ và chứng minh được rằng không thể có thế cờ tốt hơn. Khoảng cách ấy giống như khoảng cách giữa việc leo lên một đỉnh núi và việc chứng minh rằng đó là đỉnh cao nhất của cả dãy. Double Agent đã làm được cả hai cho bài toán 63, nhưng chỉ làm được một nửa cho bài toán 364.

Điều này cũng đặt ra một câu hỏi về cách chúng ta đọc tin công nghệ. Mỗi lần một hệ thống AI tuyên bố giải được một bài toán, phản xạ đầu tiên của tôi là hỏi: giải theo nghĩa nào? Có phải nó tìm ra đáp án, hay nó chứng minh được rằng đáp án ấy là duy nhất và tối ưu? Hai điều này khác nhau rất xa, và trong nhánh bài toán cực trị, chỉ có điều thứ hai mới thực sự đóng lại một chương.

Về phương pháp, tôi cho rằng đây là phần có sức lan tỏa lâu dài nhất. Việc dùng Lean 4 kết hợp SAT để kiểm tra chứng minh không phải chuyện mới trong toán học, nhưng trong làng sáng tác cờ thì nó gần như chưa có tiền lệ. Nếu chuẩn mực này lan ra, các kỷ lục cờ trong tương lai sẽ không còn chỉ là một lời tuyên bố, mà phải kèm theo một chứng minh có thể kiểm tra bằng máy. Đó là một sự thay đổi về văn hóa, không chỉ về kỹ thuật.

Tôi tưởng bài toán này là chuyện của những cỗ máy, hóa ra nó vẫn là câu chuyện của con người. Bởi đằng sau mỗi con số là một người đã ngồi hàng trăm giờ để dựng một thế cờ, và đằng sau mỗi định lý là một nhóm đã chọn con đường khó nhất: chứng minh thay vì phỏng đoán.

Ở đây tôi muốn nói thẳng một điều mà tôi cho là điểm mù của cách đưa tin hiện nay. Tiêu đề AI giải bài toán cờ vua 58 năm dễ khiến người đọc nghĩ rằng cờ vua đã bị giải theo một nghĩa nào đó. Nhưng sự thật hẹp hơn nhiều: một hệ thống AI đã chứng minh một định lý cực trị trong một nhánh nhỏ của cờ vua bài toán. Không có ván đấu nào được chơi, không có kỳ thủ nào bị đánh bại, không có Elo nào thay đổi. Nếu bạn đọc tin này và nghĩ rằng máy đã tiến gần hơn tới việc hiểu cờ vua như con người, thì bạn đã đọc quá xa.

Một điểm nữa đáng bàn là chuyện kiểm chứng. Nhóm nghiên cứu nói chứng minh của họ được kiểm tra bằng máy. Điều đó đúng, nhưng cần đọc cho kỹ: nó được kiểm tra bằng chính công cụ của họ, không có bên thứ ba nào kiểm toán lại. Trong toán học hình thức, đây là điểm yếu kinh điển — kiểm tra được bằng máy không đồng nghĩa với đúng, bởi nếu bước mã hóa bài toán sang SAT có một lỗ hổng, thì cả cận trên 63 lẫn cận trên 364 đều có thể sụp. Tôi không nói rằng chúng đã sụp. Tôi chỉ nói rằng cho tới khi có người độc lập dựng lại được chứng minh, kết quả này nên được đọc như một tuyên bố có sức nặng, chứ chưa phải một chân lý đã khép.

Còn một điểm nữa: nguồn. Bài báo gốc không nêu rõ cơ quan nào công bố, và phần lớn dữ kiện trong đó — kỷ lục của Ringeltaube, con số 54 của Khanyan, các chi tiết về quy trình — không được gắn nguồn cụ thể. Với một người làm nghề đưa tin như tôi, đây là điều tôi luôn kiểm tra trước tiên. Không phải để hoài nghi vô cớ, mà bởi một kết quả cực trị chỉ đáng tin khi ta biết ai đứng sau nó và ai đã kiểm lại nó.

Có một điều nữa khiến tôi trăn trở, và nó gắn với chính nghề của tôi hơn là với cờ. Làng cờ vua Việt Nam chúng ta lớn lên trong một nền văn hóa mà ở đó, kết quả được đo bằng thắng thua, bằng huy chương, bằng những đêm thức trắng nhìn bàn cờ. Khi một bài toán cực trị được giải, nó không tạo ra một nhà vô địch nào, không đưa ai lên bục, không làm rung chuyển một giải đấu. Vậy mà nó vẫn đáng để ta dừng lại — bởi nó nhắc rằng cờ vua còn một chiều kích khác, chiều kích của câu hỏi thuần túy, nơi phần thưởng duy nhất là sự thật. Giá trị của một kết quả không nằm ở việc nó gây tiếng vang lớn đến đâu, mà ở việc nó đóng lại được bao nhiêu điều chưa biết.

Tôi nghĩ về buổi chiều năm 2026 ấy, khi tôi ngồi ba tiếng trước mười hai quân cờ và không trả lời được câu hỏi của chính mình. Hai mươi năm sau, một cỗ máy trả lời được câu hỏi khó hơn gấp nhiều lần, và trả lời bằng một chứng minh có thể kiểm tra. Có lẽ đó là điều đáng giữ lại: không phải con số 63, cũng không phải con số 364, mà là ý tưởng rằng ngay cả trong một trò chơi đã tồn tại hàng nghìn năm, vẫn còn những cánh cửa chưa mở. Còn bài toán 364, nó vẫn đứng đó, chờ một ai đó — người hay máy — chứng minh nốt nửa còn lại.