Từ nữ giáo sư toán học hiếm hoi đến biểu tượng phụ nữ trong khoa học
Nữ giáo sư toán học là những nhà khoa học đạt học hàm cao nhất trong ngành toán, vừa tạo ra đóng góp học thuật gốc vừa dẫn dắt thế hệ nghiên cứu trẻ, đồng thời phá vỡ định kiến giới trong một lĩnh vực vốn do nam giới chiếm đa số, qua đó cho thấy vai trò thiết yếu của phụ nữ trong khoa học hiện đại.
Trong lịch sử học thuật, việc một nữ giáo sư toán học xuất hiện vẫn là ngoại lệ hiếm hoi, và chính vì thế mỗi trường hợp lại mang ý nghĩa biểu tượng. Ở Việt Nam, một nữ giáo sư toán học đã trở thành người thứ ba trong lịch sử được công nhận đạt chuẩn chức danh giáo sư vào tháng 11/2023, sau hơn ba thập kỷ kiên trì với toán học thuần túy. Hành trình ấy không chỉ là thành tích cá nhân mà là một tuyên bố rõ ràng: phụ nữ có thể đứng trên đỉnh cao những ngành khoa học “khô khan”, nơi trước đây gần như chỉ có nam giới. Việc bà đi lên từ một giảng viên tập sự, từ phòng trọ chật hẹp đến diễn đàn quốc tế, cho thấy cấu trúc quyền lực trong khoa học đang chuyển dịch, dù chậm nhưng bền.
Toán học thuần túy: nền móng thầm lặng của nghiên cứu AI Việt Nam
Điểm khiến câu chuyện này không dừng ở một tấm gương vượt khó là cách bà chủ động nối toán học thuần túy với nghiên cứu AI Việt Nam. Bà đã công bố 33 bài báo trên các tạp chí ISI/Scopus, xuất bản 2 sách chuyên khảo và chủ trì 4 đề tài NAFOSTED cấp Bộ. Những kết quả về lý thuyết số, giải tích phức, lý thuyết Nevanlinna và hình học đại số nghe có vẻ xa rời đời sống, nhưng chính các cấu trúc trừu tượng đó lại là nền tảng của mật mã học, khoa học dữ liệu và trí tuệ nhân tạo. Câu chuyện ở đây là: nếu thiếu những định lý khó hiểu mà bà và các đồng nghiệp theo đuổi, mọi khẩu hiệu về chuyển đổi số sẽ chỉ dừng ở mức trình diễn. Toán học không phải “phụ tá”, mà là bộ khung chịu lực của cả hệ sinh thái công nghệ.
Trong bối cảnh nhiều người vẫn xem toán thuần túy là xa xỉ, lựa chọn tiếp tục đầu tư cho các hướng nghiên cứu nền tảng cho thấy một tầm nhìn khác: thay vì chỉ chạy theo sản phẩm ứng dụng ngắn hạn, phải xây nền cho những thế hệ công nghệ tiếp theo. Đây chính là cách bà cân bằng giữa xuất sắc học thuật và yêu cầu thực tiễn – thay vì bỏ hẳn một bên, bà chấp nhận đi con đường khó hơn là kết nối chúng.
Flyspect: khi chứng minh toán học trở thành dữ liệu huấn luyện AI
Dấu ấn quốc tế nổi bật nhất trong sự nghiệp của bà là tham gia dự án Flyspect, bắt đầu từ năm 2008, một chương trình sử dụng trí tuệ nhân tạo để kiểm chứng bản chứng minh Giả thuyết Kepler của nhà toán học Thomas Hales. Bản chứng minh này dài hơn 300 trang với khoảng 21.000 công thức, là thứ mà con người gần như không thể rà soát thủ công một cách an toàn trong thời gian hợp lý. Từ góc nhìn xã hội, Flyspect là minh chứng rõ ràng cho thấy nghiên cứu AI Việt Nam hoàn toàn có thể đóng vai trò trong những dự án hạ tầng tri thức của nhân loại, chứ không chỉ dừng ở các ứng dụng thương mại xinh xắn mang mác "Make in Vietnam".
Điều đáng nói hơn là tác động lan tỏa của dự án. Thành tựu này được vinh danh tại Hội nghị Toán học Thế giới 2022, và dữ liệu kiểm chứng từ Flyspect đã được các tập đoàn công nghệ lớn như OpenAI và DeepMind sử dụng trong huấn luyện mô hình AI, đặt tiền đề cho sự phát triển các công nghệ như ChatGPT. Đây là một câu trích dẫn nhiều ý nghĩa: "Dù không tạo ra các sản phẩm tiêu dùng hữu hình ngay lập tức, các cấu trúc trừu tượng và định lý toán học chính là nền móng cốt lõi cho mọi bước tiến công nghệ". Người dùng phổ thông có thể không biết Flyspect là gì, nhưng họ đang sử dụng những trợ lý ảo, công cụ dịch, hệ thống gợi ý… được nuôi dưỡng từ chính loại dữ liệu mà những dự án như vậy tạo ra.
Phụ nữ trong khoa học: từ phòng trọ đến Huy chương Fields
Đặt hành trình của bà bên cạnh bức tranh thế giới cho thấy một mẫu số chung: phụ nữ trong khoa học vẫn phải đi một con đường gập ghềnh hơn. Ở Việt Nam, bà được xem là hình mẫu về bản lĩnh sắt đá của phụ nữ theo đuổi các ngành nghiên cứu khoa học, sau hơn 10 năm điều trị hiếm muộn, nhiều lần kiệt sức vì vừa chăm con vừa nghiên cứu, nhưng vẫn bền bỉ xuất bản và hướng dẫn. Trên thế giới, sự hiếm hoi ấy được phản chiếu qua Huy chương Fields – giải thưởng được xem như "Nobel Toán học" – khi trong 90 năm mới có ba phụ nữ được vinh danh. Một trong số đó là nữ giáo sư người Trung Quốc Vương Hồng, người phụ nữ duy nhất trong bốn nhà toán học nhận Huy chương Fields năm 2026.
Điểm chung ở đây không chỉ là giới tính, mà là cách họ đối diện với cấu trúc nghề nghiệp vốn thiết kế cho những người không phải gánh nặng chăm sóc gia đình. Bản thân nữ giáo sư Việt Nam này thừa nhận phụ nữ làm khoa học phải chịu nhiều áp lực gánh vác, đặc biệt trong việc cân bằng giữa gia đình và sự nghiệp. Trong bối cảnh đó, mỗi công trình khoa học của họ đồng thời là một "bản kiến nghị" gửi tới hệ thống: nếu chính sách và môi trường hàn lâm không thay đổi để thân thiện hơn với phụ nữ, chúng ta sẽ tiếp tục đánh mất những tài năng mà xã hội không thể đo đếm ngay bằng số liệu.
Từ phòng thí nghiệm đến "Make in Vietnam": con đường tiếp theo
Nhìn về phía trước, vấn đề không còn là khẳng định năng lực cá nhân, mà là cách biến câu chuyện của một nữ giáo sư thành động lực hệ thống. Dự án Flyspect hiện tiếp tục được phát triển theo mô hình hợp tác giữa Viện Toán học, Đại học Thăng Long và Đại học Pittsburgh, mở ra hướng đào tạo nguồn nhân lực chất lượng cao cho ngành Toán ứng dụng tại Việt Nam. Nếu tận dụng tốt, đây sẽ là “vườn ươm” cho một thế hệ nhà khoa học mới, những người hiểu rằng nghiên cứu AI Việt Nam không thể đứng vững nếu thiếu một nền tảng toán học sâu. Đồng thời, việc bà không ngừng phát triển các sản phẩm công nghệ mang dấu ấn "Make in Vietnam" cho thấy một chiến lược rõ: khoa học hàn lâm phải gắn với công nghệ nội địa, thay vì chỉ xuất bản rồi để doanh nghiệp nước ngoài thu lợi.
Câu hỏi cho chúng ta – từ các nhà quản lý tới phụ huynh – là: chúng ta muốn con gái mình nhìn thấy điều gì khi bước vào lớp học toán? Một môn học “khó nuốt”, hay một con đường nghề nghiệp nơi những nữ giáo sư có tầm ảnh hưởng như bà đang mở lối? Khi những hình tượng như vậy được nhìn nhận đúng, toán học không còn là lãnh địa của thiểu số, mà trở thành ngôn ngữ chung để Việt Nam bước vào thời đại trí tuệ nhân tạo với tư thế chủ động, chứ không phải người đi sau.
