Hai kết luận cổ phổ bị lật trong một buổi sáng: sách nói Đỏ thắng, engine nói Đen chiếu hết

Sáng nay, 3/11/2026, đợt kiểm chứng mới nhất của Từ điển Cờ Thế khép lại: thêm 161 thế được engine xác nhận, nâng số thế đã kiểm chứng lên 533 trong 1.800 thế. Nhưng con số đáng kể nhất của buổi sáng không phải 161 — mà là 2. Hai thế đổi nhãn theo hướng ngược lại: cổ phổ chép Đỏ thắng, còn engine Fairy-Stockfish (mạng NNUE) chứng minh Đen mới là bên chiếu hết, bằng một biến thắng bắt buộc được chạy lại kiểm tra hợp lệ từng nước. Cả hai kết luận bị lật đều đã nằm yên trong sách hàng trăm năm, được chép lại trung thành qua nhiều thế hệ — cho tới sáng nay.

Tiến Thốn Đắc Xích （进寸得尺）, Mộng Nhập Thần Cơ: từ sáng nay mang nhãn ⚖️ tranh cãi.

Ca thứ nhất: Tiến Thốn Đắc Xích — cái tên lạc quan, kết luận không qua được máy

Tên thế là một thành ngữ lạc quan: tiến một tấc, được một thước — mỗi bước tiến nhỏ đổi lấy một khoảng đất lớn. Trong 《夢入神機》 (Mộng Nhập Thần Cơ), cục 52, cổ phổ kết luận rõ ràng: Đỏ thắng. Người học mở sách ra, thấy Đỏ thắng, rồi bày thế lên bàn để tìm cách Đỏ thắng.

Sáng nay engine tìm theo hướng ngược lại — và khép kín: Đen chiếu hết Đỏ trong 10 nước, biến chính được chạy lại qua bộ sinh nước hợp lệ của chính trò chơi, không thiếu một nước, không thừa một nước. Theo chuẩn của từ điển, một biến thắng bắt buộc hoàn chỉnh chạy ngược kết luận cổ phổ là đủ để lật nhãn: Tiến Thốn Đắc Xích chuyển sang ⚖️ tranh cãi. Ai cũng có thể mở trang của thế, đi lại đúng mười nước đó, và tự xem Đỏ gục ở đâu.

Ca thứ hai: Tật Tru Văn Sửu — có một vụ trừ khử chớp nhoáng, nhưng kẻ ra tay là Đen

Tật Tru Văn Sửu （疾诛文丑）, Uyên Thâm Hải Khoát, cục 217: sách ghi Đỏ thắng, thực tế Đen chiếu hết sau 7 nước.

Thế thứ hai mang cái tên đậm chất Tam Quốc: 疾诛文丑 — "trừ khử Văn Sửu chớp nhoáng", nhớ tích Quan Vũ chém Văn Sửu, tướng của Viên Thiệu. Trong 《渊深海阔》 (Uyên Thâm Hải Khoát), cục 217, sách chép Đỏ thắng — một vụ ra tay nhanh gọn của bên Đỏ, đúng như cái tên gợi ý.

Engine đồng ý ở một nửa: quả thực có một vụ trừ khử chớp nhoáng — chỉ khác là kẻ ra tay lại là Đen, chiếu hết Đỏ trong 7 nước. Biến bảy nước đã được kiểm tra hợp lệ toàn bộ, và Tật Tru Văn Sửu nhận cùng nhãn ⚖️ tranh cãi. Hai ca trong một buổi sáng nâng số thế tranh cãi của từ điển từ một lên ba.

Tranh cãi không phải phát minh của thời máy tính

Thế tranh cãi đầu tiên — và đến sáng nay là thế duy nhất — nhắc rằng chuyện cãi lại sách cổ không bắt đầu từ engine. Dã Mã Tháo Cương xuất hiện sớm nhất trong 《蕉窗逸品》 (Tiêu Song Dật Phẩm, 1879) với kết luận hòa; ba bản chép độc lập của hình gốc khớp nhau từng ký tự. Nhưng các đời biên soạn sau không chịu để yên: có bản thêm một tốt biên cho Đỏ, có bản thêm tốt biên cho cả hai bên — sửa luôn hình cờ — rồi ghi Đen thắng. Người xưa, khi không đồng ý với sách, đã bỏ phiếu bằng quân tốt. Nghiên cứu thời engine cũng nghiêng về phía Đen thắng. Từ điển giữ hình gốc 1879 làm chuẩn, kể lại toàn bộ câu chuyện trong ghi chú, và để nhãn tranh cãi — vì tranh luận này đã kéo dài gần 150 năm. Engine không phát minh ra việc kiểm chứng cổ phổ; nó chỉ là người kiểm chứng nghiêm khắc nhất trong một hàng dài người kiểm chứng.

Nhãn "tranh cãi" nghĩa là gì, và lời mời

Từ điển giữ ba nhãn với ranh giới chặt: một thế chỉ lật sang ⚖️ tranh cãi khi có một biến thắng bắt buộc hoàn chỉnh, chạy lại hợp lệ từng nước, đi ngược kết luận cổ phổ — một con số đánh giá cao của engine, hay một lần tìm kiếm dở dang, không bao giờ đủ. Toàn cảnh hôm nay: 533 thế ✓ đã kiểm chứng, 1.264 thế chưa kiểm chứng (kết quả theo cổ phổ), 3 thế ⚖️ tranh cãi.

Và kiểm chứng không phải việc của riêng máy chủ. Mở trang của Tiến Thốn Đắc Xích hay Tật Tru Văn Sửu, bạn đi lại được biến engine đã dùng để lật sách — hoặc làm điều ngược lại thú vị hơn: cầm bên Đỏ đấu với máy ở cấp mạnh nhất và thử chứng minh sách đúng. Nếu bạn thủ được kết quả tốt hơn kết luận bị lật, ván cờ đó trở thành bằng chứng để xem xét lại — và người phá được một kết luận được ghi danh vĩnh viễn trên trang của thế. Sách cổ đã đúng ở rất nhiều thế; ở hai thế này, từ sáng nay, gánh nặng chứng minh đã đổi bên.

Chuỗi bài của Từ điển Cờ Thế: Từ cổ phổ đến engine · Vì sao có những thế cờ trở thành kinh điển? · Tứ Đại Danh Cục.