Double Agent và con số 63: khi AI chứng minh giới hạn của một bài toán cờ vua 58 năm tuổi

Ngày 13/10, một nhóm nghiên cứu công bố rằng hệ thống AI mang tên Double Agent đã giải xong một bài toán cờ vua tồn tại 58 năm. Tiêu đề đi nhanh hơn nội dung. Chỉ trong vài giờ, câu “AI giải được bài toán cờ vua 58 năm tuổi” xuất hiện khắp các bản tin công nghệ. Tôi mở lại bảng dữ kiện gốc và đọc chậm từng dòng.

Con số nằm ngay đó: 63. Một thế cờ có thể tạo ra 63 nước chiếu hợp lệ, và không thế cờ nào vượt được 63. Kỷ lục cũ là 60, thuộc về Norbert Ringeltaube. Khoảng cách ba nước. Người ta gọi đó là cú sốc, tôi gọi đó là dữ liệu chưa được đọc.

Nhưng có một con số thứ hai ít được nhắc tới: 364. Và chính nó mới là phần đáng bàn.

Bối cảnh: một nhánh cờ vua không có ván đấu

Phải nói rõ ngay, vì đây là điểm mà gần như mọi bản tin lược đi. Bài toán này không phải một ván cờ. Không có kỳ thủ nào ngồi trước bàn, không có đồng hồ, không có Elo, không có giải đấu, không có khán giả. Đây là bài toán tổ hợp nằm trong lĩnh vực sáng tác bài tập cờ — problem composition — nơi người ta dựng ra những thế cờ cực đoan để trả lời những câu hỏi cực đoan.

Câu hỏi ở đây có hai phần. Phần thứ nhất: trong một thế cờ hợp lệ, tối đa có bao nhiêu nước chiếu hợp lệ cùng lúc? Phần thứ hai: một chuỗi chiếu liên tiếp dài nhất có thể kéo dài bao nhiêu nước?

Để hiểu vì sao bài toán khó, cần nhớ vài định nghĩa nền tảng mà tôi luôn phải nhắc lại trong các bài phân tích. “Nước hợp lệ” là nước đi không vi phạm Luật Cờ vua. “Chiếu tướng” là nước tấn công trực tiếp vào vua đối phương. “Quân bị ghim” là quân không thể di chuyển vì nếu đi, vua mình sẽ bị chiếu. Bài toán yêu cầu một thế cờ trong đó bên đi có ít nhất một nước hợp lệ, và mọi nước hợp lệ đều phải là nước chiếu. Ràng buộc đó biến bài toán thành một bài toán hình học thuần túy: sắp xếp quân sao cho mọi đường đi còn lại đều kết thúc bằng một tiếng “chiếu”.

Truy vết lịch sử: cột mốc được nhắc là năm 2026 — cách đây 58 năm, khớp với khung thời gian trên tiêu đề. Kỷ lục 60 nước chiếu thuộc về Ringeltaube. Kỷ lục chuỗi chiếu liên tiếp là 54 nước, do Alexey Khanyan dựng năm 2026. Cần nhấn mạnh: 60 và 54 là kỷ lục sáng tác, không phải chỉ số sức mạnh thi đấu. Chúng thuộc một hệ đo hoàn toàn khác với Elo.

Ở đây tôi phải nói thêm một điều mà bài báo gốc bỏ trống. Lĩnh vực sáng tác bài tập cờ có tổ chức riêng của nó — Liên đoàn Sáng tác Cờ vua Thế giới, WFCC — với hệ thống danh hiệu và tiêu chuẩn công nhận kỷ lục riêng. Bài báo không nhắc tới tổ chức này. Với một kỷ lục cực trị được công bố, việc thiếu vắng cơ quan quản lý chuyên môn trong câu chuyện là một khoảng trống, không phải một chi tiết nhỏ.

Trong lĩnh vực này, kỷ lục không được công nhận tự động. Một thế cờ muốn được coi là kỷ lục phải kèm chứng minh về tính hợp lệ — tức là thế cờ đó phải có thể xuất hiện trong một ván cờ thật, chứ không chỉ là một hình vẽ đẹp mắt. Đây là lý do khái niệm tính hợp lệ trở thành điểm tựa kỹ thuật của toàn bộ bài toán.

Phần lõi: phương pháp mới quan trọng hơn con số

Điều Double Agent làm được không phải là tìm ra thế cờ 63 bằng cách thử. Nhóm nghiên cứu nói thẳng rằng vét cạn là bất khả thi — không gian thế cờ quá lớn để liệt kê. Ai từng viết một dòng mã liệt kê cờ đều hiểu vì sao: số cách sắp xếp quân trên bàn tăng theo cấp số nhân, và chỉ cần thêm một quân là số trường hợp bùng nổ thêm nhiều bậc. Vậy nên họ đi đường vòng, và đường vòng đó mới là đóng góp thật.

Quy trình gồm bốn bước, theo mô tả trong bài. 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 — tức là chứng minh vì sao quân phải nằm ở đâu, bị ghim thế nào, chặn đường ra sao. Hai, hình thức hóa toàn bộ lập luận trong Lean 4, một trợ lý chứng minh toán học. Ba, quy phần còn lại về một bài toán SAT. Bốn, để máy kiểm tra toàn bộ chứng minh.

Kết quả 63 là một kết quả đóng hoàn chỉnh. Tồn tại một thế cờ đạt 63, và chứng minh được rằng không thế cờ nào vượt 63. Cả cận dưới lẫn cận trên đều được thiết lập. Trong toán tổ hợp, đó là dạng kết quả mạnh nhất — không còn chỗ cho tranh cãi về con số cụ thể.

Từ những gì bài báo mô tả, tôi suy đoán thế cờ 63 gần như chắc chắn đạt mật độ quân tối đa và dùng ghim cùng chặn đường để triệt tiêu mọi nước không phải chiếu. Đó là cách duy nhất để ép mọi đường đi hợp lệ kết thúc bằng chiếu. Tôi ghi rõ đây là suy đoán, không phải dữ kiện.

Kết quả 364 thì khác hẳn, và đây là chỗ bản tin dễ sai nhất. 364 là một cận trên cho chuỗi chiếu liên tiếp. Nghĩa là: không chuỗi nào dài hơn 364. Nhưng bài toán chưa đóng. Giá trị lớn nhất thật sự vẫn là câu hỏi mở. Cấu trúc tốt nhất mà con người từng dựng là 54. Khoảng trống giữa 54 và 364 vẫn còn nguyên.

Nói cách khác: Double Agent đã chứng minh được trần nhà, nhưng chưa xây được tới trần nhà.

Tôi nhấn mạnh điều này vì nó quyết định cách đọc toàn bộ sự việc. Một độc giả lướt qua tiêu đề sẽ nghĩ “AI đã giải xong”. Sự thật hẹp hơn nhiều: AI đã giải xong một nửa, và nửa còn lại chỉ được khoanh vùng. Đây là kiểu sai lệch mà tôi gặp đều đặn trong nghề: một định lý hẹp bị đóng gói thành một tuyên bố rộng.

Một điểm kỹ thuật nữa đáng chú ý: với quy trình mang tính biểu tượng và kiểm tra hình thức như vậy, Double Agent nhiều khả năng là một dây chuyền tìm kiếm và xác minh được thiết kế riêng, chứ không phải một mô hình ngôn ngữ đa dụng. Đây là suy luận của tôi dựa trên mô tả công việc, không phải tuyên bố của nhóm nghiên cứu.

Góc phản trực giác: “máy kiểm tra” không đồng nghĩa “đúng”

Đây là phần tôi muốn dành nhiều chữ nhất, vì nó là điểm mù của cả làng tin tức công nghệ.

Cụm “chứng minh đã được máy kiểm tra” nghe rất chắc. Nhưng cần bóc tách. Máy kiểm tra chứng minh chỉ đảm bảo một điều: nếu các tiên đề và cách mã hóa bài toán là đúng, thì kết luận rút ra là đúng. Nó không đảm bảo rằng cách mã hóa đó phản ánh đúng bài toán cờ vua ban đầu.

Đây là kiểu lỗi kinh điển của mọi tuyên bố cực trị được hình thức hóa: một kẽ hở trong bước quy đổi — ví dụ trong phép rút gọn về SAT — có thể vô hiệu hóa toàn bộ cận trên. Và bài báo không nêu bất kỳ cuộc kiểm toán độc lập nào. Toàn bộ chuỗi kiểm tra do chính nhóm nghiên cứu vận hành.

Tôi không nói kết quả sai. Tôi nói rằng mức độ tin cậy của nó phụ thuộc vào một thứ mà bài báo không cung cấp: sự xác minh từ bên ngoài. Trong nghề của tôi, đó là lý do tồn tại của quy tắc ba nguồn. Một con số được một nhóm tự kiểm tra vẫn chỉ là một nguồn, dù nó đi kèm chữ Lean 4.

Có một chi tiết nữa đáng ghi vào sổ. Nhóm nghiên cứu khẳng định thế cờ kỷ lục có thể phát sinh từ một ván cờ hợp lệ, chứ không phải một cấu trúc lý thuyết thuần túy. Đây là điểm họ chủ động phòng thủ — nghĩa là họ biết trước câu hỏi sẽ bị đặt ra. Nhưng một tuyên bố khác thì không được chứng minh: ý kiến 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à nhận định, và bài báo trình bày nó đúng như vậy — một nhận định, không phải một định lý. Ranh giới giữa hai thứ này là ranh giới mà mọi nhà báo dữ liệu phải vẽ lại mỗi ngày.

Về nguồn: bài viết gốc không nêu cơ quan truyền thông nào. Phần lớn dữ kiện đi kèm nhãn không có nguồn. Chỉ những con số tiêu đề được gán cho Double Agent. Với một kết quả cực trị, đó là mức minh bạch thấp hơn mức tôi muốn thấy trước khi trích dẫn.

Vì sao chuyện này vẫn đáng theo dõi

Tuổi tác là biến số duy nhất không bao giờ nói dối. Bài toán này đã 58 năm tuổi. Nó sống sót qua nhiều thế hệ người sáng tác, qua thời kỳ máy tính bắt đầu thâm nhập làng cờ, qua cả giai đoạn engine đánh bại con người ở thể loại cờ thi đấu. Nó không sụp vì con người yếu đi. Nó sụp vì một phương pháp mới xuất hiện — và phương pháp đó không đến từ một kỳ thủ, mà từ một dây chuyền chứng minh.

Con số là khổ hạnh: phải từ bỏ sự dễ dãi mới nhìn thấy sự thật. Cách dễ dãi ở đây là đọc tiêu đề rồi gật đầu. Cách khổ hạnh là tách 63 khỏi 364, tách chứng minh đóng khỏi cận trên, tách máy kiểm tra khỏi đã được xác minh.

Để đặt sự việc vào bối cảnh dài hạn của làng cờ: năm 2026, máy tính đánh bại nhà vô địch thế giới trong một trận đấu chính thức. Đó là một cột mốc về sức mạnh tính toán trong thi đấu. Câu chuyện hôm nay khác về bản chất: nó không đo ai đánh giỏi hơn, mà đo giới hạn của một cấu trúc tổ hợp.

Tác động thật của sự việc này, theo tôi, không nằm ở bảng xếp hạng hay giải đấu nào — vì không có giải đấu nào. Nó nằm ở thượng nguồn: nó chuẩn hóa quy trình chứng minh có thể kiểm tra bằng máy trong một góc nhỏ của làng cờ. Nếu cộng đồng sáng tác bài tập chấp nhận tiêu chuẩn đó cho các tuyên bố cực trị, thì những kỷ lục tiếp theo sẽ được công bố kèm mã nguồn, kèm tệp Lean 4, kèm cả phần chứng minh bất khả thi — chứ không chỉ kèm một thế cờ đẹp.

Ở hạ nguồn, tôi không kỳ vọng nhiều. Không có quỹ thưởng, không nhà tài trợ, không sự kiện để thương mại hóa. Thứ duy nhất có thể lan ra là một thế cờ 63 nước chiếu trở thành câu đố tương tác trên một nền tảng cờ trực tuyến nào đó. Nếu điều đó xảy ra, nó sẽ dạy cho người chơi phổ thông nhiều hơn mọi tiêu đề AI giải cờ.

Ở tầng nội dung, một vài streamer cờ vua hoặc kênh công nghệ có thể làm một đoạn ngắn về thế cờ 63. Lượng truy cập đó sẽ đến nhanh và đi nhanh, vì câu chuyện là một cột mốc rời rạc, không phải một dòng chảy liên tục.

Dựa trên kinh nghiệm theo dõi các trận đấu và dữ liệu cờ của tôi trong nhiều năm, tôi rút ra một nguyên tắc nhỏ: mỗi khi một tiêu đề công nghệ dùng chữ giải, hãy tìm xem bài toán gốc được định nghĩa thế nào, ai kiểm tra, và phần nào còn mở. Ba câu hỏi đó gần như luôn làm sáng tỏ bức tranh.

Tín hiệu cho vòng tiếp theo, tôi ghi lại thành hai dòng. Một: nếu một nhóm độc lập tái lập được chứng minh 63 và công bố mã, kết quả này chuyển từ tuyên bố sang chuẩn. Hai: nếu ai đó đóng được khoảng trống giữa 54 và 364, lúc đó — và chỉ lúc đó — chữ giải xong mới đúng nghĩa.

Còn bây giờ, chúng ta có một nửa định lý, một tiêu đề phóng đại, và một phương pháp đáng học. Trong ba thứ đó, chỉ thứ cuối là tài sản lâu dài.