Từ cổ phổ đến engine: khi kết luận ba trăm năm tuổi phải đứng trước máy

Suốt nhiều thế kỷ, một kết luận trong cờ tướng được coi là đúng vì một lý do duy nhất: nó in trong sách, và các thế hệ kỳ thủ truyền tay nhau cuốn sách đó. Hệ thống ấy vận hành tốt một cách đáng ngạc nhiên — nhưng nó có một điểm yếu chết người: lỗi cũng được in, và một lỗi đã in thì được chép lại trung thành qua nhiều cuốn sách, nhiều thế kỷ. Chúng tôi gặp đúng hiện tượng đó khi xây dựng Từ điển Cờ Thế: có thế cờ mà cả hai nguồn chép độc lập đều in cùng một hình cờ hai lần với hai kết luận khác nhau — hòa ở trang này, Đỏ thắng ở trang kia. Không ai đúng ai sai được; chúng tôi giữ thế đó lại, không đăng. Bài này kể cách engine hiện đại đang phán lại những kết luận cổ ấy ra sao, qua chính hàng đợi kiểm chứng của từ điển — nơi đã có 272 thế được xác nhận, và đúng một thế bị lật ngược.

Song Yến Tranh Phi (Mộng Nhập Thần Cơ, cục 112): cổ phổ nói chiếu hết sau 11 nước — engine xác nhận không sai một nước.

Quy trình của chúng tôi: thế nào là "kiểm chứng"?

Từ điển dùng ba nhãn, và ranh giới giữa chúng rất chặt:

• ✓ Đã kiểm chứng: engine (Fairy-Stockfish với mạng NNUE — cùng họ engine mã nguồn mở kiểu Pikafish đang đặt chuẩn cho cờ tướng hiện nay) tìm được một biến thắng bắt buộc hoàn chỉnh, và biến đó được chạy lại kiểm tra hợp lệ từng nước. Với thế sách ghi hòa, bị engine tìm ra đường thắng bắt buộc cho một bên cũng là lật ngược.
• ⚖️ Tranh cãi: engine tìm được đường thắng bắt buộc ngược với kết luận cổ phổ.
• Chưa kiểm chứng — kết quả theo cổ phổ: mọi trường hợp còn lại, kể cả khi engine đã chạy thử nhưng chưa ngã ngũ. Chạy dở dang không phải là phán quyết.

Nguyên tắc cuối cùng nghe đơn giản nhưng nó cứu chúng tôi khỏi sai lầm phổ biến nhất của thời engine: tuyên bố quá tay.

Bốn ca từ chính hàng đợi kiểm chứng của chúng tôi

Ca xác nhận đẹp nhất: Song Yến Tranh Phi. Thế này thuộc Mộng Nhập Thần Cơ, cổ phổ chép Đỏ chiếu hết sau 11 nước. Khi kiểm chứng, biến chính của sách chạy lại hợp lệ cả 21 nước lẻ, kết thúc đúng chiếu hết ở nước 11 — và dữ liệu nguồn độc lập cũng ghi nhận engine Pikafish xác nhận cùng con số 11. Điều đáng nói nằm ở chi tiết: cả 11 nước Đỏ trong lời giải đều là chiếu, song Mã thay nhau tung chuỗi chiếu liên hoàn. Người xưa không có máy; họ tìm ra một chuỗi chiếu hoàn hảo bằng tay và chép lại không sai một nước. Engine ở đây không hạ thấp cổ phổ — nó đóng dấu xác thực lên tay nghề của người xưa.

Ca "chưa ngã ngũ" hóa ra ngã ngũ: Chư Cát Xuất Lư và Lịch Tru Tứ Khấu. Hai thế này từng nằm trong nhóm "đã tìm mà chưa kết luận" của chúng tôi, vì các lần chạy engine trước bị cắt ngắn giữa chừng — biến quá dài, thời gian tìm kiếm không đủ. Khi chạy đủ lâu, cả hai đều khép lại: Chư Cát Xuất Lư chiếu hết sau 22 nước, Lịch Tru Tứ Khấu chiếu hết sau 26 nước, biến đầy đủ từng nước hợp lệ. Bài học rút ra cho bất kỳ ai dùng engine phán thế cổ: một lần tìm kiếm bị cắt ngắn cho ra con số vô nghĩa, và con số vô nghĩa đó suýt nữa đã thành "kết quả kiểm chứng" của chúng tôi.

Ca chúng tôi từ chối lật nhãn: Gia Vô An Đổ. Cổ phổ chép cho thế này một biến thắng rất dài. Nhưng biến được truyền lại bị cụt — không đủ dài để tới chiếu hết. Engine của chúng tôi chưa khép được ca này, biến sách thì không kiểm chứng trọn vẹn được. Kết quả: thế vẫn ở trạng thái chưa kiểm chứng, dù mọi dấu hiệu đều gợi ý sách nói đúng. Một từ điển thà chậm một nhãn còn hơn sai một nhãn.

Ca lật ngược duy nhất: Dã Mã Tháo Cương. Trong hơn 1.500 thế, hiện chỉ có đúng một thế mang nhãn tranh cãi: Dã Mã Tháo Cương, một trong Tứ Đại Danh Cục. Hình gốc năm 1879 chép hòa; nghiên cứu thời engine nghiêng về Đen thắng. Một kết luận in từ thế kỷ 19, được chép lại qua ít nhất bốn cổ phổ, đã không đứng vững. Đây là ca chúng tôi hay nhắc nhất, vì nó chứng minh hệ thống nhãn có răng: "tranh cãi" không phải nhãn trang trí.

Cái gì thay đổi khi máy làm trọng tài?

Thứ nhất, thẩm quyền dịch chuyển từ in ấn sang bằng chứng. Ngày xưa, muốn cãi lại sách phải là đại sư; ngày nay, một người chơi câu lạc bộ với một engine mạnh cũng có thể đặt câu hỏi — và nếu tìm được đường bẻ thật, câu hỏi đó có giá trị như nhau.

Thứ hai, di sản không mất giá khi kết luận gãy. Biến chính của một thế bị lật ngược vẫn là văn học cờ: nó cho thấy người xưa đã nghĩ gì, tính tới đâu, và suýt đúng ở chỗ nào. Vì vậy từ điển của chúng tôi không bao giờ xóa kết luận cổ phổ khi engine lật ngược — chúng tôi để cả hai cạnh nhau, ghi rõ bên nào nói gì.

Thứ ba — và đây là phần chúng tôi cố tình thiết kế — kiểm chứng không nên là việc của riêng máy chủ của chúng tôi. Trong từ điển, bất kỳ thành viên nào cũng có thể cầm thế cờ đấu với máy ở cấp mạnh nhất: đạt đúng kết quả cổ phổ ghi thì được ghi danh là người giải thế — đó là một phiếu xác nhận bằng chơi thật; còn nếu cầm bên thủ mà đạt kết quả tốt hơn cổ phổ ghi, ván cờ đó trở thành bằng chứng bẻ thế, thế bị đưa lên đầu hàng đợi kiểm chứng engine, và nếu engine xác nhận, người bẻ được ghi danh vĩnh viễn trên trang của thế. Di sản do cộng đồng gìn giữ thì cũng nên do cộng đồng kiểm chứng — engine chỉ là trọng tài cuối cùng, không phải người chơi duy nhất.

Hiện tại từ điển có 272 thế đã kiểm chứng trong tổng số hơn 1.500 thế — một con số khiêm tốn, và chúng tôi để nó khiêm tốn một cách có chủ ý. Phần còn lại ghi rõ "kết quả theo cổ phổ": không phải lời hứa, mà là lời mời kiểm chứng.

Chuỗi bài phân tích thế cờ kinh điển của SynerWorlds: Tứ Đại Danh Cục · Thế cờ giang hồ và những cuốn bí phổ · Thất Tinh Tụ Hội — mổ xẻ thế tàn cuộc nổi tiếng nhất.