Giả thuyết Courtade-Kumar: từ bài toán mở đến lời giải của người Việt
Giả thuyết Courtade-Kumar là một bài toán mở trung tâm ở giao điểm giữa lý thuyết thông tin và giải tích hàm Boolean, từng được xem là một trong những bài toán mở quan trọng nhất của lý thuyết thông tin, và trong hơn một thập kỷ đã thách thức cộng đồng toán học quốc tế trước khi được hai nhóm nghiên cứu độc lập, trong đó có các nhà toán học Việt Nam, tìm ra lời giải hoàn chỉnh. Điểm quan trọng không phải chỉ là việc giả thuyết Courtade-Kumar (CK) được giải, mà là cách nó được giải và bởi ai. Mới đây, Phó Chủ tịch Google Research Vahab Mirrokni công bố chứng minh của nhóm Google cho giả thuyết CK, đồng thời ghi nhận và chúc mừng lời giải độc lập của tiến sĩ toán học Việt Nam Vũ Khắc Kỷ (Đại học FPT) và giáo sư Trần Mạnh Tuấn (Đại học Khoa học và Công nghệ Trung Quốc). Việc một bài toán mở lâu năm trong lý thuyết thông tin được khép lại bởi một nhóm nhỏ gắn với môi trường đại học Việt Nam là tín hiệu rõ ràng: chúng ta đã bước vào bàn chơi của toán học nền tảng toàn cầu, không chỉ với vai trò người theo sau.
Vai trò của TS Vũ Khắc Kỷ: từ Flyspeck đến Courtade-Kumar
Để đánh giá đúng ý nghĩa của lời giải giả thuyết Courtade-Kumar, cần nhìn vào hành trình khoa học của TS Vũ Khắc Kỷ – một tiến sĩ toán học Việt Nam trưởng thành trong môi trường quốc tế nhưng chọn quay về làm việc tại Đại học FPT. Từ chương trình Cử nhân Tài năng ở Hà Nội đến học bổng Tiến sĩ của Microsoft Research Cambridge và luận án tại École Polytechnique, anh Kỷ không phải trường hợp hiếm hoi ra nước ngoài học; điểm đặc biệt là việc anh tham gia những dự án mang tính nền tảng như Flyspeck, nhằm xây dựng chứng minh kiểm chứng bằng máy tính cho Giả thuyết Kepler tồn tại khoảng 400 năm. Kinh nghiệm làm việc với toán học hình thức và các bài toán mở dài hơi cho thấy đây là người quen với sự bất định và độ khó của các câu hỏi nền tảng. Việc anh cùng GS Trần Mạnh Tuấn thu được chứng minh hoàn chỉnh cho giả thuyết Courtade-Kumar – một bài toán mở quan trọng nhất của lý thuyết thông tin – không phải cú “ăn may” mà là kết quả của năng lực tích lũy và lựa chọn con đường nghiên cứu dài hạn.
Lý thuyết thông tin, giải tích Boolean và giá trị khoa học vượt ra ngoài một lời giải
Giả thuyết Courtade-Kumar nằm ở giao điểm của lý thuyết thông tin và giải tích hàm Boolean, hai mảng tưởng như trừu tượng nhưng lại đứng sau rất nhiều công nghệ hiện đại. Khi một bài toán mở kiểu này được giải, điều quan trọng không chỉ là gạch bỏ một dấu hỏi trên bản đồ toán học, mà còn là những công cụ mới xuất hiện trong quá trình chứng minh. Công trình của TS Vũ Khắc Kỷ và GS Trần Mạnh Tuấn dùng các bất đẳng thức entropy và khai thác cấu trúc của toán tử nhiễu trên không gian Boolean – những phương pháp có thể tiếp tục được vận dụng cho các bài toán khác. Theo cách nhìn này, lời giải CK giống một “trạm trung chuyển”: nó khép lại một bài toán mở lâu năm trong lý thuyết thông tin và giải tích Boolean, nhưng đồng thời mở ra khả năng tiếp cận các giả thuyết khác như Hellinger, Refined MLS hay FEI mà TS Kỷ đang theo đuổi. Khi một nhóm nghiên cứu Việt Nam xây dựng được hộp công cụ dùng được cho nhiều bài toán mở, họ không còn là người đi giải những bài toán rời rạc, mà trở thành người góp phần định hình cách tiếp cận trong cả một nhánh toán học.
Một nhóm nhỏ ở Việt Nam đối thoại trực tiếp với các nhóm mạnh thế giới
Tín hiệu mạnh mẽ nhất từ câu chuyện giả thuyết Courtade-Kumar là việc hai nhóm nghiên cứu hoàn toàn độc lập – một của Google, một của TS Vũ Khắc Kỷ và GS Trần Mạnh Tuấn – gần như cùng thời điểm đi đến lời giải bằng hai con đường rất khác nhau. Điều này cho thấy bài toán mở quan trọng nhất của lý thuyết thông tin không bị độc quyền bởi các “đại gia” nghiên cứu, và một nhóm nhỏ gắn với trường đại học Việt Nam vẫn có thể tham gia trực tiếp vào bài toán nền tảng đang được các nhóm mạnh trên thế giới quan tâm, miễn là chọn đúng bài toán và kiên trì. Ở đây, môi trường nghiên cứu tôn trọng sự độc lập học thuật, không gây áp lực “chạy số lượng” công bố, được TS Kỷ nhấn mạnh là điều kiện để theo đuổi các câu hỏi cơ bản vốn có thể mất nhiều năm mà chưa chắc có kết quả. Câu chuyện CK vì thế là lời phản biện với quan niệm rằng nghiên cứu toán học ở Việt Nam chỉ nên tập trung vào đề tài ngắn hạn. Nó cho thấy, với lựa chọn chiến lược đúng và sự kiên nhẫn, ta hoàn toàn có thể đặt chân vào những cuộc đối thoại khoa học cấp cao nhất.
Từ Courtade-Kumar đến tham vọng dài hạn của toán học Việt Nam
Mỗi lời giải cho một bài toán mở trong lý thuyết thông tin như giả thuyết Courtade-Kumar không chỉ mang lại danh tiếng nhất thời. Nó còn giúp cộng đồng khoa học trong nước tự tin hơn rằng tiến sĩ toán học Việt Nam có đủ năng lực để đóng góp vào toán học mũi nhọn, từ giải tích hàm Boolean đến các giới hạn của AI mà TS Kỷ đang quan tâm. Khi Phó Chủ tịch Google Research công khai ghi nhận và chúc mừng lời giải độc lập từ nhóm Việt Nam, đó là một dấu mốc biểu tượng: chúng ta không chỉ tiêu thụ công nghệ hay kết quả nghiên cứu, mà đã bắt đầu bổ sung viên gạch vào nền tảng lý thuyết toàn cầu. Chính TS Kỷ cũng xem giá trị lớn nhất của công trình là khả năng “tạo thêm niềm tin và kéo thêm các bạn trẻ vào nghiên cứu cơ bản”. Nếu cộng đồng và các trường đại học dám thiết kế môi trường nơi giảng viên, sinh viên có tự do theo đuổi những bài toán mở, không sợ thất bại và không bị áp lực số lượng, thì Courtade-Kumar chỉ là điểm khởi đầu. Bài toán mở tiếp theo có thể mang tên khác – Hellinger, Refined MLS, FEI – nhưng ý nghĩa chung sẽ vẫn như hôm nay: toán học Việt Nam có mặt ở những nơi khó nhất của bản đồ tri thức, và đó là tham vọng xứng đáng.
