Bài toán cờ vua 58 năm và lời giải của máy: 63 nước chiếu, và phần còn bỏ ngỏ

Ngày 13 tháng 10, một thông báo ngắn xuất hiện ở vùng rìa làng cờ, nơi rất ít người để mắt tới. Một hệ thống trí tuệ nhân tạo mang tên Double Agent tuyên bố đã giải xong bài toán đếm số nước chiếu hợp lệ tối đa trong một thế cờ — bài toán đã đứng yên suốt 58 năm. Kết quả là 63. Kỷ lục cũ là 60, thuộc về Norbert Ringeltaube. Kèm theo đó là một kết quả thứ hai, lặng lẽ hơn rất nhiều: với bài toán chuỗi nước chiếu liên tiếp dài nhất, nhóm nghiên cứu chứng minh được một giới hạn trên là 364, trong khi thế cờ dài nhất mà con người từng dựng thành công chỉ đạt 54, do Alexey Khanyan công bố năm 2026.

Tôi đã đọc dòng thông báo ấy nhiều lần. Mỗi lần đọc lại, tôi lại thấy hai câu chuyện khác nhau nằm chồng lên nhau dưới cùng một dòng tiêu đề. Một câu chuyện về một chứng minh đã khép kín. Một câu chuyện về một nửa chứng minh còn để ngỏ. Và một cái bẫy quen thuộc: người ta sẽ đọc dòng tiêu đề ấy thành một câu ngắn gọn, dễ nhớ, dễ chia sẻ, rồi quên mất rằng nửa sau của nó không hề nói điều mà nửa đầu gợi ra.

Bàn cờ không bao giờ nói dối, chỉ có ta tự lừa mình bằng tiếng vỗ tay.

Bối cảnh: một bài toán không có kỳ thủ

Cần nói rõ ngay từ đầu: đây không phải một ván đấu. Không có giải, không có đồng hồ, không có hai kỳ thủ ngồi đối diện nhau. Đây là cờ vua ở dạng thuần túy nhất của nó — tổ hợp thuần túy. Câu hỏi được đặt ra như sau: trong tất cả các thế cờ hợp lệ có thể tồn tại trên bàn cờ tám nhân tám, thế cờ nào chứa nhiều nước chiếu nhất trong một lượt đi duy nhất?

Nghe đơn giản. Nhưng để trả lời, người ta phải giải đồng thời hai bài toán ngược chiều nhau. Thứ nhất, phải dựng ra được một thế cờ cụ thể đạt tới một con số nào đó. Đây là chứng minh tồn tại, hay còn gọi là giới hạn dưới. Thứ hai, phải chứng minh rằng không một thế cờ nào khác có thể vượt qua con số ấy. Đây là chứng minh bất khả, hay giới hạn trên. Chỉ khi hai đầu khớp lại với nhau, bài toán mới thực sự khép kín. Nếu chỉ có một đầu, ta mới có một nửa sự thật.

Trong làng sáng tác cờ, đây là một nhánh rất riêng, gọi là sáng tác bài toán — nơi người ta không thi đấu mà dựng thế. Người sáng tác không cần thắng ai. Họ cần chứng minh rằng một thế cờ nào đó là có thật và hợp lệ, rồi tìm cách đẩy nó tới tận cùng của cái có thể. Công việc này đòi hỏi một thứ kỷ luật gần như khắc kỷ: mỗi quân cờ phải có lý do tồn tại, mỗi ô trống phải phục vụ một mục đích, và mỗi nước đi của bên đi trước đều phải là chiếu — không được phép có một nước nào khác.

Điều kiện cuối cùng ấy mới là phần khó. Bài toán không chỉ yêu cầu thế cờ chứa nhiều nước chiếu. Nó yêu cầu rằng 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ệ của họ đều phải là chiếu. Nói cách khác, thế cờ phải bị khóa tới mức bên đi trước không còn lựa chọn nào ngoài việc chiếu. Đó là một ràng buộc khủng khiếp, bởi bàn cờ vốn dĩ rộng mở. Muốn khóa nó lại, người ta phải dùng tới ghim quân, chặn đường, và kiểm soát ô một cách chính xác đến từng nước.

Còn một điều kiện nữa, và đây là điều kiện mà nhóm nghiên cứu nhấn mạnh như thể họ biết trước nó sẽ bị soi: thế cờ phải là kết quả của một ván cờ hợp lệ, không phải một thế cờ nhân tạo kiểu cờ tiên. Đây là ranh giới giữa một thế cờ có thể xảy ra trong thực tế và một thế cờ chỉ tồn tại trên giấy. Người sáng tác cờ có truyền thống tôn trọng ranh giới ấy, và nhóm nghiên cứu cũng vậy.

Mốc 58 năm mà tiêu đề nhắc tới bắt nguồn từ năm 2026. Từ đó tới nay, các kỷ lục được nối tiếp nhau bởi những con người cụ thể. Norbert Ringeltaube giữ kỷ lục 60 nước chiếu trong một thế cờ. Alexey Khanyan, năm 2026, dựng được thế cờ có 54 nước chiếu liên tiếp. Hai cái tên ấy không phải những kỳ thủ nổi tiếng trên bảng xếp hạng. Họ là những nghệ nhân của một góc rất nhỏ, rất sâu, nơi vinh quang không đến từ chiến thắng trước người khác mà từ việc đẩy một ý tưởng tới giới hạn của chính nó. Tôi đã dành nhiều năm đọc các bài toán sáng tác, và điều khiến tôi nể phục không phải sự phức tạp, mà là sự tiết chế. Một thế cờ đẹp thường có ít quân hơn mức người ta tưởng.

Khi khán đài trống, tôi nghe thấy ván cờ thì thầm bằng một thứ ngôn ngữ khác.

Phân tích: phương pháp mới là điều đáng nói

Kết quả 63 rất đẹp. Nhưng nếu chỉ dừng ở con số, ta sẽ bỏ lỡ điều quan trọng nhất. Bởi lẽ, điều mới mẻ thật sự ở đây không nằm ở con số, mà nằm ở cách con số được chứng minh.

Hãy tưởng tượng bài toán này theo cách thô sơ nhất. Bạn muốn biết thế cờ nhiều nước chiếu nhất trông ra sao. Bạn có thể thử liệt kê tất cả các thế cờ có thể. Nhưng số lượng thế cờ hợp lệ trên bàn cờ tám nhân tám là một con số thiên văn, vượt xa khả năng của bất kỳ cỗ máy nào. Chính nhóm nghiên cứu thừa nhận rằng cách làm vét cạn là bất khả thi. Nếu chỉ có sức mạnh tính toán thuần túy, bài toán này sẽ còn đứng yên thêm nhiều thập kỷ nữa.

Vậy họ làm gì? Họ không đếm. Họ lý luận.

Quy trình của họ gồm bốn bước, và tôi muốn kể lại nó như kể một ván cờ chứ không như đọc một bản báo cáo kỹ thuật. Bước một: chứng minh các tính chất cấu trúc và hình học của những cấu hình chiếu. Nghĩa là, thay vì thử từng thế cờ, họ tìm ra những quy luật bắt buộc mà mọi thế cờ nhiều chiếu phải tuân theo — về mật độ quân, về hướng kiểm soát, về cách các đường bị chặn. Bước hai: hình thức hóa những lập luận ấy trong Lean 4, một trợ lý chứng minh toán học. Bước ba: quy phần còn lại về một bài toán SAT, tức bài toán thỏa mãn điều kiện logic, để máy giải. Bước bốn: để máy kiểm tra lại toàn bộ chứng minh.

Nói cách khác, họ không bảo máy rằng hãy thử hết mọi thứ. Họ bảo máy rằng hãy chứng minh điều này là không thể tránh khỏi, rồi hãy kiểm tra lại lập luận của chính mình.

Điểm cốt lõi nằm ở chỗ này: giá trị thật của công trình không phải là việc tìm ra một thế cờ, mà là việc tạo ra một chứng minh có thể kiểm tra bằng máy cho một kết quả cực trị trong cờ vua tổ hợp. Đây là lần đầu tiên trong nhánh hẹp này, một kết quả cực trị được xác lập kèm theo chứng minh hình thức, chứ không chỉ kèm theo một thế cờ đẹp mắt.

Tôi muốn nói thêm về sự khác biệt giữa hai loại máy. Một cỗ máy chơi cờ như những engine quen thuộc có thể đánh bại gần như mọi kỳ thủ, nhưng nó không chứng minh điều gì cả. Nó chỉ đưa ra nước đi tốt nhất theo đánh giá. Nó mạnh, nhưng nó không biết. Một hệ thống như Double Agent thì khác về bản chất: nó không đưa ra một nước đi hay một thế cờ, nó đưa ra một lập luận mà máy có thể kiểm tra lại từng bước. Sức mạnh chơi cờ và khả năng chứng minh là hai chuyện hoàn toàn khác nhau, và người ta hay gộp chúng lại. Đây chính là chỗ gộp nhầm phổ biến nhất.

Với bài toán thứ nhất, cả hai đầu đã khớp. Thế cờ đạt 63 tồn tại — đó là giới hạn dưới, được xây dựng cụ thể. Và không thế cờ nào vượt quá 63 — đó là giới hạn trên, được chứng minh. Kết quả 63 là một kết quả cực trị khép kín hoàn toàn. Nó phá kỷ lục 60, nhưng quan trọng hơn, nó đóng lại một câu hỏi đã mở suốt 58 năm. Bước nhảy từ 60 lên 63 chỉ là ba đơn vị, nhưng chính độ nhỏ của nó lại nói lên rằng kỷ lục cũ của con người đã nằm sát một trần tổ hợp rất cứng. Ba đơn vị ấy không phải là một bước tiến dễ dàng; nó là bằng chứng cho thấy khoảng cách còn lại gần như không còn chỗ để chen vào.

Với bài toán thứ hai, câu chuyện khác hẳn. Nhóm nghiên cứu chứng minh được rằng không chuỗi nước chiếu liên tiếp nào có thể vượt quá 364 nước. Đó là giới hạn trên. Nhưng họ không đưa ra được một thế cờ cụ thể đạt tới 364. Kết quả 364 chỉ là một nửa kết quả — một chặn trên, chứ không phải một giá trị tối đa đã được xác lập. Khoảng cách giữa 54, con số mà Khanyan dựng được, và 364, con số mà máy chứng minh là trần, vẫn là một vùng mờ chưa ai lấp. Câu hỏi đúng đắn nhất vẫn còn nguyên: chuỗi dài nhất thật sự là bao nhiêu?

Tôi muốn dừng lại ở đây một chút, bởi đây là chỗ mà độc giả phổ thông và người trong nghề sẽ đọc cùng một dòng tin theo hai cách hoàn toàn khác nhau. Người phổ thông đọc thấy một thắng lợi trọn vẹn. Người trong nghề đọc thấy một thắng lợi có điều kiện, kèm một câu hỏi còn bỏ ngỏ. Cùng một câu, hai tầng nghĩa, và tầng nghĩa nào được lan truyền lại phụ thuộc vào việc ai là người kể lại.

Còn một chi tiết kỹ thuật nữa mà tôi cho là quan trọng. Nhóm nghiên cứu nhận định rằng việc thêm quân hay thêm hỏa lực có thể không cải thiện được kết quả. Đây là một ý kiến, không phải một chứng minh, và bài viết trình bày nó đúng như bản chất của nó. Trong công việc chứng minh, sự trung thực về ranh giới giữa cái đã chứng minh và cái chỉ là phỏng đoán là một phẩm chất, và tôi ghi nhận nó. Nhiều công trình khoa học thất bại không phải vì sai, mà vì không chịu vạch rõ đâu là điều đã biết và đâu là điều còn đoán.

Về cấu trúc của thế cờ 63, dù bài viết không mô tả chi tiết, ta có thể suy ra phần nào từ chính những gì nó gợi ý. Một thế cờ buộc mọi nước hợp lệ đều phải chiếu gần như chắc chắn phải đạt mật độ quân rất cao, và phải dùng ghim quân cùng chặn đường để bịt mọi nước không chiếu. Bên đi trước bị dồn tới mức chỉ còn đúng những nước chiếu, không hơn. Đó là một thế cờ chật như một căn phòng chỉ còn một lối ra, và lối ra ấy dẫn thẳng tới chiếu.

Dựa trên kinh nghiệm theo dõi các trận đấu của tôi, tôi thấy một điều thú vị: những thế cờ bị khóa tới mức cực đoan thường trông rất tĩnh, gần như chết. Nhưng bên dưới cái tĩnh ấy là một áp lực khủng khiếp. Cờ vua ở tầng sâu nhất luôn là như vậy — cái im lặng không phải là sự trống rỗng, mà là sự căng thẳng bị nén lại tới mức không còn cử động nào để lộ ra.

Góc phản trực giác: cái tiêu đề không nói

Đây là phần tôi muốn nói thẳng.

Tiêu đề gợi ra rằng trí tuệ nhân tạo đã giải một bài toán cờ vua. Cách nói ấy dễ khiến người ta liên tưởng tới một chuyện lớn hơn nhiều: rằng cờ vua đang bị chinh phục, rằng máy đang hiểu cờ vua ở một tầng sâu mới. Nhưng sự thật hẹp hơn rất nhiều. Cái được giải là một định lý cực trị trong một nhánh tổ hợp nhỏ, không phải cờ vua theo nghĩa trò chơi. Không có kỳ thủ nào bị đánh bại ở đây. Không có ván đấu nào được chơi. Không có nước đi nào được thực hiện trên một bàn cờ thật.

Và còn một điều tinh tế hơn. Cụm từ được dùng là chứng minh đã được máy kiểm tra. Điều đó chỉ giảm rủi ro sai sót nếu bản thân quá trình hình thức hóa là đúng. Chứng minh được kiểm tra bởi chính bộ công cụ của nhóm nghiên cứu, không có một bên thứ ba độc lập nào kiểm tra lại. Trong toán học hình thức, đây là điểm yếu kinh điển: một lỗ hổng nhỏ trong cách mã hóa bài toán thành bài toán SAT có thể làm sụp toàn bộ chặn trên, biến một tiêu đề thành một lời đính chính. Tôi không nói rằng điều đó đã xảy ra. Tôi nói rằng nó chưa được loại trừ. Khoảng cách giữa chứng minh đúng và chứng minh được kiểm tra là khoảng cách giữa hai con người khác nhau: người tin và người kiểm.

Có một khoảng trống khác đáng chú ý. Làng sáng tác cờ có một tổ chức quốc tế riêng, chuyên quản lý các quy ước và kỷ lục trong lĩnh vực này. Tổ chức ấy hoàn toàn vắng mặt trong câu chuyện. Sự vắng mặt đó có thể là do cách bài viết được lược thuật, cũng có thể là do nó thật sự không xuất hiện trong nguồn gốc. Dù theo hướng nào, nó cũng là một dấu hỏi về việc kết quả này sẽ được cộng đồng sáng tác cờ đón nhận theo thủ tục nào. Một kỷ lục chỉ trở thành kỷ lục khi có ai đó công nhận nó.

Và cuối cùng, một điều mà tôi cho là đáng lo nhất về mặt thông tin. Phần lớn các dữ kiện trong bài viết gốc không được gắn nguồn. Chỉ những con số đầu đề được quy cho Double Agent. Những chi tiết về điều kiện hợp lệ, về cách hiểu nước chiếu, về yêu cầu bên đi trước phải có ít nhất một nước hợp lệ — tất cả đều trôi nổi không nguồn. Với một kết quả khoa học, việc không truy được về bài báo gốc là một khiếm khuyết nghiêm trọng, bởi nó khiến mọi trích dẫn tiếp theo trở thành trích dẫn của một trích dẫn. Tôi đã nhiều lần chứng kiến một con số đi qua ba lần kể lại và trở thành một con số khác.

Từ bàn phím đến bàn cờ, tốc độ của chữ không bao giờ nhanh bằng tốc độ một nước đi. Và tốc độ của một tiêu đề thì còn nhanh hơn cả hai.

Điều đọng lại

Tôi đã theo dõi cờ vua hơn bốn thập kỷ, và tôi học được rằng những bước ngoặt thật sự hiếm khi ồn ào. Chúng thường đến dưới dạng một thông báo ngắn, một con số khô khan, một thủ tục mới mà phần lớn người ta bỏ qua. Kết quả 63 là một bước ngoặt như thế, nhưng không phải vì nó phá kỷ lục. Nó là bước ngoặt vì nó cho thấy một cách làm mới: dùng chứng minh hình thức để đóng lại những câu hỏi cực trị mà sức mạnh tính toán thuần túy không bao giờ chạm tới.

Nếu cách làm ấy lan ra, tiêu chuẩn của cả một nhánh sáng tác có thể thay đổi trong vài năm tới. Không phải bằng những tiêu đề lớn, mà bằng những chú thích nhỏ ở cuối các bài toán: kết quả này đã được kiểm tra bằng máy. Và khi tiêu chuẩn thay đổi, thứ thay đổi trước tiên không phải là kỷ lục, mà là lòng tin. Người ta sẽ bắt đầu tin vào những kết quả mà trước đây họ chỉ có thể ngưỡng mộ.

Với ngành cờ vua nói chung, tác động trực tiếp gần như bằng không. Không có tiền thưởng, không có nhà tài trợ, không có giải đấu nào gắn với con số 63. Nhưng có một tác động gián tiếp đáng kể: nó cho thấy cờ vua vẫn còn những câu hỏi mở, và những câu hỏi ấy không chỉ dành cho kỳ thủ. Chúng dành cho cả những người làm toán, làm logic, làm máy. Một đứa trẻ đọc được câu chuyện này có thể sẽ không mơ trở thành nhà vô địch, mà mơ trở thành người chứng minh điều gì đó chưa ai chứng minh được.

Còn câu hỏi mà tôi để lại cho chính mình, và cho những ai đọc tới đây: khi một cỗ máy chứng minh rằng 63 là giới hạn, ta học được gì về cờ vua — hay ta chỉ học được rằng có những câu hỏi mà chỉ máy mới đủ kiên nhẫn để trả lời?

Sai lầm không phải là đi một nước hỏng. Sai lầm là khi ta thấy rõ ô cờ đúng mà vẫn đặt quân sai chỗ — hoặc tệ hơn, khi ta đọc một nửa sự thật và tưởng đó là toàn bộ.