Di sản trí tuệ của một quý tộc Gorganite
Al-Suli không chỉ là kỳ thủ cờ vua xuất sắc nhất thời đại của mình; ông còn là “nadim” (bạn đồng hành của triều đình) cho các caliph Abbasid, một sử gia cung đình và một nhà thơ thông minh. Sinh ra tại Gorgan vào khoảng năm 870 sau Công nguyên, dòng dõi của ông có nguồn gốc từ pháo đài Sul kiên cố ở vùng đồng cỏ Dehistan, nơi ông nội của ông, hoàng tử Turkic Sul tekin, từng cai trị. Di sản cao quý này được tưởng niệm ngày nay bằng một bức tượng tại Đài Tưởng niệm Độc lập ở Ashgabat, Turkmenistan.
Với danh hiệu “Aliya”, danh hiệu cao nhất có thể đạt được trong cờ vua, Al-Suli đã biến trò chơi này thành một hệ thống kiến trúc khoa học có cấu trúc. Trong tác phẩm kinh điển của mình, Kitab al-Shatranj, ông là người đầu tiên hệ thống hóa việc ghi chép các thế khai cuộc (tabiyas) và chiến lược kết thúc ván cờ (mansubas). Khung lý thuyết mà ông thiết lập đã trở thành tiêu chuẩn vàng cho sự thành thạo và nguồn tham khảo chính trong hàng thế kỷ, tồn tại cho đến khi các quy tắc cờ vua hiện đại ra đời.
Được sáng tác vào thế kỷ 10 bởi bậc thầy Gorganite Abu Bakr bin Yahya al-Suli, “Viên Kim cương” là câu đố huyền thoại và được bàn luận nhiều nhất trong lịch sử cờ vua. Dù bề ngoài có vẻ đơn giản, với ván cờ tàn chỉ gồm một Vua và một Ferz (tiền thân lịch sử của Hậu) cho mỗi bên, tác phẩm này vẫn là “ngọn Everest không thể giải” của thế giới cờ vua trong suốt một nghìn năm. Tác phẩm xuất sắc này của Al-Suli là một nghệ thuật điều khiển đỉnh cao, đẩy lùi những giới hạn của cờ vua lịch sử.
Tài liệu quan trọng nhất liên quan đến bí ẩn này được tìm thấy trong bản sao của Cuốn sách về cờ vua được lưu giữ tại Thư viện Süleymaniye ở Istanbul. Mặc dù các trang của bản thảo này vẫn còn nguyên vẹn, nhưng rõ ràng là một số thế cờ và nước đi đã bị chép sai hoặc không đầy đủ so với bản gốc. Tuy nhiên, dù có những sai sót lịch sử do người chép gây ra, giải pháp một phần được trình bày trong văn bản lại trùng khớp một cách đáng kinh ngạc với công trình phân tích sâu sắc do Đại kiện tướng Yuri Averbakh thực hiện vào thế kỷ XX. Al-Suli đã bất tử hóa sự độc nhất vô nhị của sự thành thạo của mình bằng tuyên bố đầy thách thức này:
“Không ai có thể giải được nó, trừ những người mà ta đã chỉ dạy.”
“Viên Kim cương”, tác phẩm đã khiến con người kinh ngạc suốt một thiên niên kỷ, nay đã được làm sáng tỏ hoàn toàn nhờ sức mạnh của thời đại số. Trong khuôn khổ dự án Shatranj.ai, bằng cách sử dụng các phương pháp lập trình động, thuật toán hiện đại và kỹ thuật tìm kiếm dựa trên bảng băm, mọi biến thể của tác phẩm thiên tài này đều có thể được khám phá và kiểm chứng một cách toán học. Hành trình này, kéo dài từ những dòng chữ trong bản thảo Süleymaniye đến mã nguồn hiện đại, là minh chứng cuối cùng cho tài năng chiến lược vượt thời gian của Al-Suli, chứng minh rằng những gì từng chỉ dành cho những học trò được chọn của bậc thầy nay có thể được hiểu thông qua ngôn ngữ của logic thuần túy.
Đối với những độc giả muốn tìm hiểu sâu hơn ngoài nội dung trên áp phích triển lãm này, Shatranj.ai hiện đã cung cấp một trang chuyên biệt về nghiên cứu và giáo dục dành cho "Viên kim cương của Suli".
URL trang Suli’s Diamond:
https://shatranj.ai/suli-diamond/
Mở trang Suli’s Diamond dành riêng
Trang này tổng hợp các thông tin về bối cảnh lịch sử của bản thảo, thế cờ shatranj gốc, các sơ đồ minh họa, phân tích lập trình động, giải thích mã nguồn ngôn ngữ C, thuật toán tìm kiếm alpha-beta kết hợp với bảng băm, cùng với phân tích hiện đại có sự hỗ trợ của máy tính về một trong những bài tập cờ vua giai đoạn cuối nổi tiếng nhất trong lịch sử môn cờ vua.
Trang chuyên đề về "Suli’s Diamond" giải thích cách giải quyết thế cờ này bằng các phương pháp tính toán hiện đại. Trang này giới thiệu phương pháp lập trình động được triển khai bằng ngôn ngữ lập trình C, kèm theo các giải thích về mã nguồn cho thấy cách tạo ra cơ sở dữ liệu thế cờ cuối ván (tablebase) cho các thế cờ "King-and-Ferz" trong shatranj. Phương pháp dựa trên cơ sở dữ liệu thế cờ này minh họa cách đánh giá một cách có hệ thống tất cả các thế cờ hợp lệ trong không gian thế cờ cuối ván liên quan, biến một bí ẩn chiến lược cổ xưa thành một kết quả tính toán chính xác.
Học sinh, giáo viên và những độc giả quan tâm đến công nghệ cũng có thể truy cập các tài liệu học tập của Shatranj.ai thông qua hệ thống quản lý học tập (LMS) của dự án.
Địa chỉ URL của hệ thống quản lý học tập (LMS) Shatranj.ai:
https://lms.shatranj.ai
Mở hệ thống quản lý học tập (LMS) Shatranj.ai
Đặc biệt, Bài 16 trình bày các giải pháp mã nguồn và lời giải chi tiết liên quan đến "Viên kim cương của Suli", bao gồm tư duy thuật toán đằng sau lập trình động, việc xây dựng cơ sở dữ liệu các thế cờ cuối ván, và việc kiểm chứng bằng máy tính các thế cờ cuối ván trong lịch sử của shatranj.
Trang này cũng liên hệ giải pháp toán học này với phương pháp sử dụng công cụ AI alpha-beta dựa trên bảng băm (còn được gọi là bảng hoán vị) để tìm kiếm và xác minh các biến thể quan trọng một cách hiệu quả. Nhờ đó, bài toán “Suli’s Diamond” không chỉ trở thành một kiệt tác trong lịch sử sáng tác cờ vua, mà còn là một ví dụ giáo dục hữu ích về trí tuệ nhân tạo, tìm kiếm cây trò chơi, lập trình động, phân tích ngược và tư duy tính toán.
Dự án này còn bao gồm một buổi thuyết trình dạng phim tài liệu có tựa đề Viên kim cương của Suli: Bài toán cờ vua bí ẩn và khó nhằn nhất mọi thời đại.
Liên kết đến bài giảng dạng phim tài liệu:
https://www.youtube.com/watch?v=hh74M6DSLSs
Xem bài giảng tài liệu “Suli’s Diamond” trên YouTube
Bài giảng tài liệu này kể lại câu chuyện khám phá đằng sau nhóm biến thể mới, khó hơn của “Suli’s Diamond”, được phát hiện thông qua nghiên cứu của Shatranj.ai. Bài giảng cũng trình bày giải pháp từng nước đi của biến thể cổ điển “Suli’s Diamond” do Đại kiện tướng Yuri Averbakh đưa ra và sau đó được John Beasley hoàn thiện, giúp người xem hiểu được thế cờ này vừa là một kiệt tác chiến lược của con người, vừa là một bài toán tính toán.
Đối với người học, bài giảng dạng phim tài liệu chuyển giải pháp đã được máy tính xác nhận thành các ý tưởng chiến lược: sự đối kháng, các nước đi chờ đợi, khả năng di chuyển bị hạn chế, áp lực kiểu zugzwang và cấu trúc hình học của Ferz. Lời giải thích này giúp người đọc hiểu tại sao thế cờ này lại khó nắm bắt đối với trực giác con người, dù nó chỉ bao gồm bốn quân cờ.
Nghiên cứu của Shatranj.ai cũng giới thiệu những biến thể khó hơn của “Viên kim cương Suli”, bao gồm các thế cờ khó nhất thuộc họ “Viên kim cương” được phát hiện qua dự án này, kèm theo các giải pháp đã được xác minh. Những biến thể hiện đại này cho thấy ý tưởng ban đầu của Al-Suli không chỉ là một hiện tượng lịch sử thú vị, mà còn là cánh cửa dẫn vào một hệ thống sâu rộng hơn của các bài toán chiến lược trong giai đoạn cuối ván cờ. Nhờ đó, Suli’s Diamond trở thành cầu nối giữa văn hóa bản thảo, lịch sử cờ vua, trí tuệ nhân tạo, lập trình C, tạo cơ sở dữ liệu bảng, tài nguyên LMS giáo dục, kể chuyện tài liệu và nghiên cứu thuật toán hiện đại.
