63 nước chiếu hợp lệ và 364 nước chiếu liên tiếp: ranh giới giữa chứng minh và lời đồn

Ngày 13 tháng 10, một thông báo kỹ thuật ngắn được công bố: hệ thống AI mang tên Double Agent tuyên bố đã tìm ra thế cờ có 63 nước chiếu hợp lệ — nhiều nhất có thể — và chứng minh rằng không thế cờ nào vượt qua được con số đó. Kỷ lục trước đó là 60, do Norbert Ringeltaube thiết lập. Cùng lúc, hệ thống này đưa ra một con số thứ hai: 364 nước chiếu liên tiếp, nhưng chỉ với tư cách giới hạn trên, không phải giá trị lớn nhất. Kỷ lục cũ ở hạng mục này là 54, do Alexey Khanyan công bố năm 2026.

Hai con số, hai đẳng cấp bằng chứng khác nhau. Và gần như mọi bản tin tôi đọc trong hai ngày sau đó đều gộp chúng thành một câu chuyện duy nhất: “AI giải được bài toán cờ vua”.

Người ta gọi đó là cú sốc, tôi gọi đó là dữ liệu chưa được đọc.

Bối cảnh: đây là một bài toán, không phải một trận đấu

Cần nói ngay một điều mà tiêu đề báo chí không nói: không có giải đấu nào ở đây. Không có ván đấu được tính hệ số Elo, không có kỳ thủ nào ngồi trước bàn cờ, không có đồng hồ đếm thời gian. Đối tượng của bài toán là một nhánh rất hẹp của cờ vua: sáng tác thế cờ và phân tích hồi tố. Đây là công việc của những người thiết kế thế cờ, không phải của những người thi đấu.

Bài toán thứ nhất hỏi: trong một thế cờ hợp lệ, bên đi trước có thể có tối đa bao nhiêu nước chiếu hợp lệ? Điều kiện đi kèm khá ngặt: bên đi trước phải có ít nhất một nước hợp lệ, và tất cả các nước hợp lệ đó đều phải là nước chiếu. Bài toán thứ hai hỏi: chuỗi nước chiếu liên tiếp dài nhất có thể kéo dài bao nhiêu nước?

Tôi theo dõi cờ vua hơn ba mươi bảy năm, nhưng thú thật, phần lớn thời gian đó tôi nhìn bàn cờ qua lăng kính của dữ liệu trận đấu. Năm 2026, ở tuổi 45, tôi là một trong bảy nhà báo dữ liệu nữ được cấp thẻ tác nghiệp tại World Cup ở Nga. Trận Nhật Bản – Bỉ, tôi ngồi lại sau khi đồng nghiệp đã rời khán đài, và ghi ra giấy: Nhật Bản tạo 1,2 xG trong 45 phút đầu, nhưng sau khi Fellaini vào sân ở phút 65, Bỉ thắng 14 trong 18 pha không chiến. Một biên tập viên kỳ cựu gạt bài của tôi đi với câu: “Phụ nữ xem dữ liệu bóng đá chỉ biết chọn số có lợi.” Bài đó, khi được đăng trên nhật báo điện tử thể thao khu vực, đạt hơn 200.000 lượt đọc.

Từ đó, tôi tự đặt một luật: không viết về bất kỳ diễn biến nào mà không có ít nhất ba con số có nguồn gốc rõ ràng. Khi tôi chuyển sang đưa tin cờ vua cho thị trường Trung Quốc, luật đó không đổi. Chỉ có đối tượng đổi.

Và chính vì luật đó, tôi phải tách bài toán này ra khỏi mọi so sánh với cờ vua thi đấu.

Phần lõi: điều gì thực sự được chứng minh

Điểm mấu chốt nằm ở chỗ này: 63 là một kết quả khép kín, còn 364 thì không.

Với bài toán thứ nhất, nhóm nghiên cứu đã làm hai việc cùng lúc. Thứ nhất, họ xây dựng được một thế cờ đạt đúng 63 nước chiếu hợp lệ — đây là chặn dưới. Thứ hai, họ chứng minh không tồn tại thế cờ nào đạt 64 — đây là chặn trên. Khi chặn dưới và chặn trên gặp nhau ở cùng một con số, bài toán đóng lại. 63 là giá trị lớn nhất. Kỷ lục cũ 60 của Norbert Ringeltaube vì thế bị vượt qua với khoảng cách ba nước.

Với bài toán thứ hai, nhóm nghiên cứu chỉ làm được một nửa. Họ chứng minh 364 là chặn trên: không chuỗi nước chiếu liên tiếp nào dài hơn 364. Nhưng họ không chứng minh tồn tại một chuỗi dài đúng 364. Giá trị lớn nhất thật sự của bài toán này vẫn để ngỏ. Kỷ lục xây dựng được trước đó là 54, do Alexey Khanyan công bố năm 2026 — và khoảng cách từ 54 lên 364 không phải là một bước nhảy thành tích, mà là một trần lý thuyết.

Đây là chỗ mà phần lớn độc giả sẽ bị dẫn sai. Một tiêu đề kiểu “AI giải bài toán cờ vua 58 năm tuổi” khiến người ta hình dung ra một thứ gì đó đã xong xuôi, trọn vẹn. Thực tế là một nửa xong, một nửa còn treo.

Cái mới thật sự của công trình này nằm ở phương pháp, không nằm ở con số. Nhóm nghiên cứu nói rõ rằng họ không thể giải bằng cách liệt kê vét cạn — số lượng thế cờ cần xét là quá lớn. Thay vào đó, họ đi theo một đường ống bốn bước: chứng minh các tính chất hình học và cấu trúc của những cấu hình chiếu; hình thức hóa các chứng minh đó trong Lean 4, một trợ lý chứng minh toán học; quy phần còn lại về một bài toán SAT; rồi để máy kiểm tra toàn bộ chuỗi chứng minh.

Nói cách khác, họ không dò tìm câu trả lời. Họ xây một bộ khung logic để chứng minh rằng câu trả lời không thể khác.

Điều kiện hợp lệ của thế cờ ở đây là một yêu cầu chịu lực, không phải chi tiết trang trí. Nhóm nghiên cứu khẳng định thế cờ kỷ lục của họ có thể xuất hiện từ một ván cờ hợp lệ, chứ không chỉ là một cấu trúc lý thuyết kiểu cổ tích. Họ cũng nhấn mạnh 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ệ đều phải chiếu. Ba khái niệm — nước hợp lệ, chiếu, quân bị ghim — đều được định nghĩa hình thức trong Luật Cờ vua. Nếu không có những định nghĩa đó, bài toán thậm chí không phát biểu được.

Về mặt cấu trúc, gần như chắc chắn thế cờ 63 phải tận dụng tối đa mật độ quân, dùng ghim và chặn đường để triệt tiêu mọi nước không chiếu. Bản thân bài báo cũng nhắc tới “sắp xếp chặt”, ghim quân, chặn đường và kiểm soát ô. Đây là suy luận của tôi, không phải tuyên bố của nhóm nghiên cứu, nhưng nó khớp với logic của bài toán.

Một chi tiết đáng chú ý về khung thời gian: “58 năm” cộng với mốc kỷ lục 2026 cho ra năm 2026. Đó là một điểm nhất quán nội tại, đồng thời là lời nhắc rằng đây là một công bố gần đây, không phải một sự kiện lịch sử.

Góc phản trực giác: máy kiểm chứng không đồng nghĩa với đúng

Có một câu tôi mang theo từ bóng đá sang cờ vua: xG không thay thế cảm xúc, nó giải thích vì sao trái tim ta đập loạn. Nguyên tắc đó áp dụng ở đây theo một cách khó chịu hơn. Con số không thay thế niềm tin vào kết quả, nó chỉ cho ta biết niềm tin đó dựa trên cái gì.

Và khi tôi soi vào chỗ dựa của niềm tin đó, tôi thấy hai lỗ hổng.

Lỗ hổng thứ nhất là tính tự quy chiếu của việc kiểm chứng. Cụm “được máy kiểm tra” nghe rất chắc chắn, nhưng nó chỉ giảm rủi ro sai số với một điều kiện: bản thân việc hình thức hóa phải đúng. Nếu phép quy về SAT có một khe hở mã hóa — một ràng buộc bị đặc tả thiếu — thì chặn trên có thể sụp. Bài báo không nhắc tới bất kỳ cuộc kiểm toán độc lập nào. Toàn bộ chuỗi kiểm chứng nằm trong tay chính nhóm nghiên cứu.

Lỗ hổng thứ hai là chất lượng nguồn. Cơ quan công bố không được nêu tên. Phần lớn dữ kiện trong bản tin gốc không có nguồn — chỉ những con số tiêu đề mới được gán cho Double Agent. Với một kết quả cực trị, việc thiếu kiểm chứng độc lập là rủi ro lớn nhất, và ở đây nó chưa được xử lý.

Cũng cần tách một tuyên bố ra khỏi phần chứng minh. Nhóm nghiên cứu nói 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 định lý. Bài báo trình bày nó đúng như vậy — nhưng người đọc lướt sẽ không phân biệt được đâu là chứng minh, đâu là phỏng đoán.

Rồi đến khoảng cách giữa tiêu đề và nội dung. Tiêu đề gợi ra rằng cờ vua đã bị “giải”. Thực tế là một định lý cực trị hẹp đã được chứng minh, và một câu hỏi khác vẫn mở. Đây là dạng sai lệch quen thuộc: phần đầu bài báo đi xa hơn phần thân bài rất nhiều. Tôi đã thấy đúng cơ chế này ở bài Evergrande năm 2026. Khi tôi dự đoán đội bóng ấy sẽ sụp vì thể lực — tốc độ chạy nước rút trung bình giảm 38,2 phần trăm, cầu thủ trên 30 tuổi hồi phục chậm hơn 27,3 phần trăm sau sáu tháng nghỉ dịch — ban biên tập cười. Đến ngày 12 tháng 12 năm 2026, Evergrande thua 1-2 trong trận chung kết, tổng quãng đường chạy ít hơn đối thủ 6,4 km. Dữ liệu đúng, nhưng chỉ khi ta đọc đúng nó đang nói về cái gì.

Điểm mấu chốt

Con số là khổ hạnh: phải từ bỏ sự dễ dãi mới nhìn thấy sự thật.

Với bài toán 63 nước chiếu, dữ liệu đủ để kết luận. Đây là một định lý cực trị đóng, có chặn dưới và chặn trên gặp nhau, được chứng minh bằng một đường ống hình thức hóa. Giá trị công nghiệp của nó nằm ở chỗ khác: 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 giới sáng tác cờ. Về lâu dài, đó có thể là ảnh hưởng bền nhất — không phải con số 63, mà là tiêu chuẩn kiểm chứng mà nó áp đặt lên các tuyên bố cực trị sau này.

Với bài toán 364, dữ liệu chưa đủ. Đây là một chặn trên, không phải một giá trị lớn nhất. Bất kỳ ai trích dẫn nó như “AI đã giải xong” đều đang đọc sai văn bản gốc.

Tôi đặt cược vào một điều kiện sai, để nó có thể bị phản bác: nếu trong sáu tháng tới không có nhóm nào độc lập chạy lại chuỗi Lean 4 và mã hóa SAT, hoặc nếu có một khe hở trong phép quy về SAT được chỉ ra, thì chặn trên 364 — và có thể cả 63 — sẽ phải xem lại. Tín hiệu cần theo dõi ở vòng tiếp theo không phải là những dòng tít “AI giải cờ vua”, mà là việc nhóm nghiên cứu có công bố công khai các tệp chứng minh và mã nguồn hay không. Một định lý cực trị chỉ đáng tin khi người khác có thể chạy lại nó. Cho đến lúc đó, tôi giữ nguyên kết luận của mình: 63 là sự thật đã được chứng minh, 364 là một lời hứa chưa hoàn tất.