Giả thuyết Courtade-Kumar là gì và vì sao lời giải của người Việt quan trọng
Giả thuyết Courtade-Kumar, hay “Most Informative Boolean Function Conjecture”, là một bài toán trung tâm trong lý thuyết thông tin và giải tích hàm Boolean, đặt câu hỏi chiến lược nào giúp giữ lại nhiều thông tin nhất khi dữ liệu nhị phân bị nhiễu trên đường truyền, và khẳng định phương án tối ưu lại chỉ là một hàm rất đơn giản trên một bit duy nhất của dữ liệu gốc.
Điểm mấu chốt của câu chuyện không chỉ là hai nhà toán học Việt Nam giải được một bài toán khó, mà là họ giải một bài toán mở được coi là “một trong những bài toán mở quan trọng nhất của lý thuyết thông tin”. Khi Phó Chủ tịch Google Research Vahab Mirrokni công bố chứng minh của nhóm Google cho giả thuyết Courtade-Kumar và đồng thời ghi nhận, chúc mừng lời giải độc lập của TS Vũ Khắc Kỷ và GS Trần Mạnh Tuấn, cộng đồng quốc tế đã nhận một thông điệp rất rõ: các nhà toán học Việt Nam không còn đứng ngoài những câu hỏi cốt lõi của toán học hiện đại, mà trực tiếp tham gia giải quyết chúng ở hàng đầu.
Bài toán mở hơn một thập kỷ: từ câu hỏi trực giác đến nút thắt kỹ thuật
Giả thuyết Courtade-Kumar được Thomas Courtade và Gowtham Kumar đề xuất năm 2013, xuất phát từ một câu hỏi nghe rất gần gũi: khi dữ liệu bị nhiễu, ta nên xử lý thế nào để giữ lại tối đa thông tin? Giả thuyết khẳng định chiến lược tối ưu là dạng “độc tài”: chỉ nhìn vào một bit và bỏ qua phần còn lại. Về trực giác, câu trả lời này gây ngạc nhiên, vì ta thường tin rằng kết hợp nhiều bit phức tạp sẽ hiệu quả hơn. Thế nhưng, hơn một thập kỷ trôi qua, cộng đồng toán học mới chỉ xử lý được từng trường hợp riêng lẻ của bài toán. Đây là lý do nó được xem là 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.
Chính sự kết hợp giữa trực giác đơn giản và độ khó kỹ thuật cao khiến giả thuyết Courtade-Kumar trở thành một cột mốc: giải được nó không chỉ là “đặt một dấu tick” vào danh sách bài toán mở, mà là kiểm chứng xem trực giác của cả một cộng đồng nghiên cứu về thông tin và nhiễu có đúng hay không. Và khi hai lời giải độc lập cùng xuất hiện, câu trả lời đã nghiêng về phía giả thuyết gốc.
Hành trình của hai nhà toán học Việt: kiên trì, hợp tác và cơ duyên với Google
Câu chuyện đằng sau lời giải của TS Vũ Khắc Kỷ và GS Trần Mạnh Tuấn cho thấy nghiên cứu đỉnh cao là cuộc chạy bền, không phải chạy nước rút. Khoảng 10 năm trước, khi làm nghiên cứu sau tiến sĩ tại một trường đại học ở Hong Kong, TS Kỷ được GS Chandra Nair kể về giả thuyết này; ông dành khoảng hai năm theo đuổi nhưng chưa thành công, rồi nhiều lần quay lại từ năm 2019 mà vẫn vướng các rào cản kỹ thuật. Đến năm 2025, ông quyết định tập trung nghiêm túc trở lại và bắt đầu hợp tác với GS Trần Mạnh Tuấn, chuyên gia về xác suất rời rạc và tổ hợp. Hai hướng nghiên cứu bổ sung cho nhau, giúp họ liên tục kiểm tra, loại bỏ và cải thiện ý tưởng cho đến khi kiểm soát được toàn bộ trường hợp tổng quát.
Kịch tính chưa dừng ở đó. Trước khi công bố, TS Kỷ chủ động gửi email báo tin kết quả cho GS Chandra Nair và nhận được phản hồi: nhóm của ông Nair, gồm các nhà khoa học từ Google và một số trường đại học, cũng vừa hoàn tất chứng minh cho cùng bài toán. Hai bên trao đổi và nhận ra mình đã đi đến cùng một kết quả bằng hai phương pháp rất khác nhau. Vì nhóm của GS Nair cần thêm thời gian hoàn thiện bản thảo dài nhiều tính toán, phía Việt Nam đã chọn lùi thời điểm công bố để cùng ra mắt hai lời giải độc lập, thể hiện tinh thần tôn trọng và hợp tác khoa học thay vì chạy đua thành tích.
Ý nghĩa toán học: từ bất đẳng thức entropy đến tương lai của lý thuyết thông tin
Giải được giả thuyết Courtade-Kumar là đóng lại một bài toán mở; nhưng quan trọng hơn, nó mở ra một hộp công cụ mới cho lý thuyết thông tin. Trong quá trình chứng minh, 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 sâu cấu trúc của toán tử nhiễu trên không gian Boolean; những công cụ này có thể tiếp tục dùng cho nhiều bài toán khác trong lĩnh vực. Đây là kiểu tiến bộ mà toán học hiện đại cần: mỗi lời giải không chỉ trả lời một câu hỏi, mà còn sinh ra phương pháp cho cả một chuỗi câu hỏi mới.
Cùng lúc, hai lời giải độc lập – một từ nhóm Google, một từ hai nhà toán học Việt Nam – tạo nên thế cân bằng thú vị. Mỗi cách tiếp cận có điểm mạnh riêng và sẽ cần thời gian để cộng đồng quốc tế đánh giá, so sánh, trích xuất ý tưởng tốt nhất. Sự kiện này nhắc lại một thực tế: những bước ngoặt lớn của lý thuyết thông tin ngày nay không chỉ đến từ các tập đoàn công nghệ, mà còn đến từ các nhóm nghiên cứu nhỏ, nếu họ có đủ chiều sâu chuyên môn và kiên trì theo đuổi bài toán “khó mà đúng”.
Tín hiệu cho toán học Việt Nam trong kỷ nguyên AI
Điều đáng chú ý là thành tựu này đến từ một nhà khoa học đang giảng dạy tại một trường đại học trong nước và một giáo sư người Việt làm việc tại nước ngoài. TS Vũ Khắc Kỷ từng là một trong những thành viên chủ chốt của dự án Flyspeck về chứng minh bằng máy tính cho Giả thuyết Kepler, và hiện tiếp tục nghiên cứu các bài toán mở khác trong giải tích hàm Boolean và lý thuyết thông tin như giả thuyết Hellinger, Refined MLS, FEI. Ông cũng quan tâm tới các ứng dụng AI, các giới hạn và vấn đề đạo đức của công nghệ này với khoa học, giáo dục, đời sống. Việc một nhà toán học với nền tảng lý thuyết sâu như vậy song song suy nghĩ về AI cho thấy ranh giới giữa “toán thuần túy” và “công nghệ” đang mờ dần.
Sự kiện Google Research công nhận lời giải của hai nhà toán học Việt Nam không nên được xem như một tràng pháo tay tượng trưng, mà là một lời mời tham gia cuộc đối thoại toàn cầu về nền tảng toán học của kỷ nguyên dữ liệu. Khi các giả thuyết trong lý thuyết thông tin được giải quyết bằng công cụ mới, chúng sẽ sớm ảnh hưởng đến cách ta hiểu khả năng học của mô hình AI, giới hạn nén dữ liệu, hay độ tin cậy của hệ thống truyền thông. Nếu giới trẻ Việt Nam nhìn vào câu chuyện Courtade-Kumar và thấy toán học không xa rời thế giới thật, thành tựu này sẽ có tác động sâu hơn bất kỳ bảng xếp hạng nào: nó có thể đổi cách chúng ta chọn bài toán để theo đuổi.
