Chân dung Tiến sĩ người Việt vừa tham gia giải thành công bài toán tồn tại hơn 1 thập kỷ, được Phó Chủ tịch Google chúc mừng
Lời giải của Tiến sĩ Vũ Khắc Kỷ và Giáo sư Trần Mạnh Tuấn cho giả thuyết Courtade-Kumar vừa được Phó Chủ tịch Google Research Vahab Mirrokni ghi nhận và chúc mừng.
Mới đây, ông Vahab Mirrokni - Phó Chủ tịch Google Research, người đứng đầu các nhóm nghiên cứu về Thuật toán và Tối ưu hóa của Google, công bố chứng minh của nhóm Google đối với giả thuyết Courtade-Kumar (CK). Trong bài viết, ông ghi nhận và chúc mừng lời giải độc lập của 2 nhà toán học Việt Nam là Tiến sĩ (TS) Vũ Khắc Kỷ - Trường Đại học FPT và Giáo sư (GS) Trần Mạnh Tuấn - Đại học Khoa học và Công nghệ Trung Quốc.
Ông Mirrokni đánh giá Courtade-Kumar là một “bài toán mở trung tâm tồn tại lâu năm ở giao điểm giữa lý thuyết thông tin và giải tích hàm Boolean”. Dẫn lại chuyên khảo của Yu và Tan, ông cho biết giả thuyết này từng được xem là một trong những bài toán mở quan trọng của lý thuyết thông tin.
Đáng chú ý, gần như cùng thời điểm, 2 nhóm nghiên cứu hoạt động độc lập đã tìm ra lời giải cho giả thuyết bằng những hướng tiếp cận khác nhau.
Công trình của TS Vũ Khắc Kỷ và GS Trần Mạnh Tuấn không chỉ góp phầ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 mà còn mở ra giá trị nghiên cứu rộng hơn. Một số công cụ được sử dụng trong quá trình chứng minh, đặc biệt là các bất đẳng thức entropy và cách khai thác cấu trúc của toán tử nhiễu trên không gian Boolean, có thể tiếp tục được vận dụng trong những bài toán khác.
TS Vũ Khắc Kỷ hiện là giảng viên tại Đại học FPT. Ông tốt nghiệp chương trình Cử nhân Tài năng của Trường Đại học Khoa học Tự nhiên, Đại học Quốc gia Hà Nội năm 2009. Sau đó, ông sang Đức học Thạc sĩ tại Đại học Kaiserslautern (TU Kaiserslautern).
Năm 2012, ông nhận học bổng Tiến sĩ của Microsoft Research Cambridge và trở thành nghiên cứu sinh duy nhất tại Pháp được nhận học bổng này. Ông thực hiện luận án dưới sự hướng dẫn của Giáo sư Leo Liberti và nhận bằng Tiến sĩ tại École Polytechnique.
Sau khi hoàn thành chương trình Tiến sĩ, ông có 2 năm nghiên cứu tại Viện ITCSC thuộc Đại học Trung Quốc Hong Kong trước khi trở về Việt Nam. Từ tháng 1/2019, ông chính thức công tác tại Đại học FPT.
Trong sự nghiệp nghiên cứu, TS Kỷ từng là một trong những thành viên chủ chốt của dự án Flyspeck - dự án quy mô lớn trong lịch sử toán học hình thức, nhằm xây dựng chứng minh có thể kiểm chứng bằng máy tính cho Giả thuyết Kepler, một bài toán đã tồn tại khoảng 400 năm. Sau 11 năm triển khai, dự án hoàn thành vào năm 2014.
Hiện nay, TS Kỷ tiếp tục nghiên cứu một số bài toán mở trong giải tích hàm Boolean và lý thuyết thông tin, như giả thuyết Hellinger, Refined MLS và giả thuyết FEI.
Gần đây, ông dành nhiều sự quan tâm cho các ứng dụng thực tiễn của AI. Ông cũng nghiên cứu những giới hạn, vấn đề đạo đức và tác động của công nghệ này đối với khoa học, giáo dục và đời sống.
Ngoài ra, TS Kỷ còn tham gia giảng dạy về AI trong chương trình Innovation Campus của Samsung.
