Chương 54: Kết thúc đề tài

Ba ngày sau, Cố Thanh Sâm và Trần Cảnh Minh được mời đến phòng 412 của Viện nghiên cứu Toán học. Văn phòng được dọn dẹp gọn gàng, nội dung trên bảng trắng được sắp xếp cẩn thận thành từng phần logic rõ ràng. Tiêu Túc đứng trước bảng, Chu Vũ Hiên, Trần Lâm, Lâm Tư Nguyên đứng hai bên, Lưu Hạo Nhiên phụ trách vận hành máy chiếu.

"Chú Thanh Sâm, chú Cảnh Minh." Giọng Tiêu Túc rất bình tĩnh, "Chúng em đã hoàn thành nghiên cứu ứng dụng lý thuyết nhóm Lie vào thuật toán đồ thị động. Bây giờ em xin trình bày những thành quả chính."

Trong bốn mươi phút tiếp theo, Tiêu Túc lần lượt trình bày hệ thống khung lý thuyết. Từ biểu diễn đồ thị động trên không gian phức nhóm Lie, đến phương pháp giảm chiều cấu trúc lá, rồi đến thiết kế thuật toán Monte Carlo không gian đường đi. Mỗi phần đều có chứng minh toán học chặt chẽ, mỗi thuật toán đều có phân tích chi tiết độ phức tạp thời gian.

Lúc đầu, Thanh Sâm và Cảnh Minh vẫn theo kịp, nhưng càng về sau, nét mặt họ càng trở nên nghiêm trọng, không phải vì không hiểu, mà bởi sự sâu rộng của công trình này khiến họ choáng váng.

Khi Tiêu Túc trình bày kết quả thí nghiệm số cuối cùng, Cảnh Minh cuối cùng cũng không kìm được đứng dậy.

"Ý anh là… thuật toán này trong bài toán phân đoạn đồ thị động, đã cải thiện… 55% so với phương pháp tối ưu hiện nay?"

Giọng anh run run.

"Trên bộ dữ liệu tổng hợp là 55%." Tiêu Túc chỉnh lại, "Trên bộ dữ liệu thực tế, trung bình là 48%. Đồng thời thời gian chạy giảm 40%, dung lượng bộ nhớ giảm 35%."

Thanh Sâm nhìn chằm chằm vào những biểu đồ đường trên màn chiếu, mãi không nói nên lời.

Là một nhà toán học, ông quá hiểu giá trị của kết quả này.

Đây không phải là sự cải tiến đơn thuần, mà là một đột phá mang tính thay đổi mô hình, đưa phân tích đồ thị động từ phương pháp rời rạc truyền thống tiến lên khung hình học liên tục.

"Cái này… là công việc của hai tháng của anh?" Cảnh Minh không thể tin nổi.

"Nói chính xác hơn, là từ khi nhận được email chấp nhận của TOIS, tổng cộng năm tuần ba ngày." Tiêu Túc nói.

Cả phòng chìm trong im lặng kéo dài.

Chu Vũ Hiên cùng mọi người liếc nhìn nhau, nét mặt đều lộ vẻ khổ sở. Họ đã tham gia toàn bộ nghiên cứu, nhưng mãi đến hôm nay khi nghe Tiêu Túc trình bày hệ thống, họ mới thực sự hiểu công trình này kinh khủng đến mức nào. Bản thân họ, thậm chí chưa nắm được một phần mười trong đó.

Cuối cùng, Cảnh Minh lên tiếng, giọng rất nhẹ: "Tiêu Túc, anh có biết công trình này có ý nghĩa gì không?"

Tiêu Túc suy nghĩ một lát: "Có nghĩa là bài toán phân đoạn đồ thị động đã có phương pháp giải quyết tốt hơn?"

"Không chỉ vậy." Cảnh Minh lắc đầu, "Điều này có nghĩa là anh có thể đã mở ra một hướng nghiên cứu mới, lý thuyết đồ thị ngẫu nhiên hình học. Kết hợp lý thuyết nhóm Lie, hình học vi phân ngẫu nhiên, phương pháp tích phân đường, ứng dụng vào phân tích dữ liệu đồ thị. Khung lý thuyết này tiềm năng, có thể vượt xa chỉ một bài toán phân đoạn."

Nói rồi, giọng anh trở nên hào hứng.

"Tôi đã có thể tưởng tượng được sự chấn động mà bài báo này sẽ gây ra sau khi công bố. TOIS? Không, bài báo này nên nộp cho 'SIAM Review' hoặc 'Communications on Pure and Applied Mathematics', thậm chí… 'Annals of Mathematics' cũng không phải là không thể."

Tiêu Túc không có phản ứng đặc biệt với những tên tạp chí này, chỉ gật đầu.

Anh ấy tỏ ra nhẹ nhàng đến mức như thể những gì vừa hoàn thành không phải là một đột phá có thể chấn động giới học thuật, mà chỉ là một bài tập về nhà bình thường.

Cố Thanh Uyên nhìn chằm chằm cậu thiếu niên đang tự do bay lượn trong thế giới toán học, trong lòng dâng lên những cảm xúc phức tạp.

Tự hào, vui sướng, nhưng cũng có chút ngưỡng mộ khó tả, nỗi kính trọng trước một thiên tài thuần khiết.

"Em cần nghỉ ngơi," ông cuối cùng nói, "Tuần này đừng làm bất cứ nghiên cứu gì nữa, ngủ thật ngon đi."

Tiểu Túc gật đầu, nhưng Cố Thanh Uyên biết, cậu ấy có thể chẳng nghe lời.

Quả đúng như Cố Thanh Uyên nghĩ, Tiểu Túc chẳng hề cảm thấy mệt mỏi.

Với cậu ấy, hoàn thành một đề tài không phải là kết thúc, mà là sự khởi đầu của một hành trình khác.

Thế giới chân lý vô tận, và những điều cậu ấy cần khám phá, vẫn còn rất nhiều, rất nhiều.

Khi bài báo đã được quyết định xuất bản, đề tài này cũng có thể tuyên bố kết thúc rồi.

Ngoài Tiểu Túc, chẳng ai nghĩ rằng đề tài này lại kết thúc nhanh đến thế.

Còn vài ngày nữa mới hết hè, Chu Vũ Hiên vẫn quyết định về nhà một chuyến.

Tiếng lăn bánh xe kéo hành lý của Chu Vũ Hiên dần dần xa dần dưới lầu Minh Đức, theo sau là Chân Lâm và Lâm Tư Nguyên đang xách theo những túi đồ lớn nhỏ.

Ánh nắng giữa mùa hè gay gắt, kéo dài bóng ba người thật dài, rồi cuối cùng biến mất ở góc khuất cổng trường.

"Tiểu Túc, tụi mình đi trước đây! Hè kết thúc gặp lại! Nhớ thỉnh thoảng xem điện thoại, đừng suốt ngày vùi đầu trong sách nữa nhé!"

Chân Lâm quay đầu vẫy tay, tiếng nói bị gió nóng cuốn đi, thoảng đến tai Tiểu Túc.

Tiểu Túc đứng trên bậc thềm, mặc chiếc áo phông trắng giản dị, tay vẫn cầm cuốn tạp chí nghiên cứu chưa đọc xong, chỉ khẽ gật đầu, giọng điềm tĩnh:

"Đi đường cẩn thận."

Sau khi ba người rời đi, ngôi trường vốn ồn ào bỗng chốc trở nên vắng lặng.

Những sinh viên ngày thường qua lại thưa thớt đi mất hơn nửa, cửa sổ căng tin đóng một nửa, ngay cả tiếng gió thổi qua cây ngô đồng cũng trở nên rõ ràng lạ thường.

Tiểu Túc vẫn bình thường ngồi trong thư viện, miệt mài nghiên cứu.

Thư viện Đại học Kình Giang, ngay cả khi vào hè, cũng chẳng thiếu những người chăm chỉ đọc sách.

Khu tự học tầng một chật kín bởi "đại quân" ôn thi, bàn chất đầy tài liệu luyện thi dày cộp, thỉnh thoảng vang lên tiếng sột soạt lật trang sách và tiếng bút viết lướt nhẹ trên giấy, yên tĩnh nhưng tràn đầy căng thẳng.

Tiểu Túc tránh qua khu vực ồn ào, thẳng bước đến vị trí quen thuộc của mình.

Khu vực chuyên ngành toán lý vẫn như mọi khi vắng vẻ, yên tĩnh đến lạ.

Những cuốn sách trên giá xếp ngăn nắp, ánh nắng xuyên qua ô cửa kính cao lớn, rọi xuống lưng sách, phản chiếu ánh sáng nhạt nhòa.

Tiểu Túc đứng trước giá sách, đầu ngón tay lướt nhẹ qua từng cuốn chuyên luận dày nặng, ánh mắt quét nhanh qua tựa đề, cuối cùng dừng lại ở hai cuốn sách.

"Luận về lý thuyết biểu diễn nhóm và ứng dụng" và "Cơ sở lý thuyết học tự giám sát".

Cậu lấy hai cuốn sách xuống, đầu ngón tay vuốt ve bìa sách, ánh mắt thoáng qua một thoáng suy tư cực nhẹ.

Nghiên cứu trước về thuật toán đồ thị động từng khiến cậu thấu hiểu sâu sắc hơn về ứng dụng của lý thuyết nhóm Lie, còn vài bài báo ngẫu nhiên đọc được về học tự giám sát khiến cậu chợt nảy ra ý nghĩ, lý thuyết nhóm có thể mang đến một góc nhìn hoàn toàn mới cho vấn đề giải ràng đặc trưng.

Kiến thức này nối kết với kiến thức khác, thường thoáng hiện trong những khoảnh khắc vô tình như thế. Giống như lần đầu tiên chuyển từ hình học sang vật lý, từ phương trình vi phân ngẫu nhiên liên tưởng đến tích phân đường, Hiệu Sú không bao giờ chủ động hoạch định hướng nghiên cứu, nhưng lúc nào cũng có thể, trong khi chuyên sâu một lĩnh vực, chạm đến cánh cửa của lĩnh vực khác.

Anh ngồi xuống chỗ gần cửa sổ, đặt cuốn sách lên bàn, mở ngay cuốn *Lý thuyết biểu diễn nhóm và ứng dụng*. Đầu ngón tay anh dừng lại trên những công thức in trên trang sách, đôi mày hơi cau lại, thỉnh thoảng lại nhấc bút lên, vội vã viết vài dòng chứng minh trên tờ giấy nháp. Rồi anh dừng lại, mắt chăm chú vào một đoạn văn, chìm vào suy nghĩ miên man.

Một lát sau, anh mở tiếp cuốn *Cơ sở lý thuyết học giám sát tự động* đặt ngay cạnh. Đây là cuốn sách kinh điển mới nổi lên trong hai năm gần đây, hệ thống trình bày cách khiến hệ thống AI tự tìm ra quy luật, tự học đặc trưng từ khối dữ liệu khổng lồ không có nhãn của con người. Học giám sát tự động được mệnh danh là "Chén Thánh của lĩnh vực AI", bởi nó có thể phá vỡ sự phụ thuộc nặng nề vào dữ liệu có nhãn đắt đỏ của học sâu hiện nay, mở ra con đường dẫn tới trí tuệ nhân tạo phổ dụng hơn.

Tuy nhiên, trên con đường ấy còn chướng ngại vật dai dẳng—đó là giải kết hợp đặc trưng. Tức là làm sao để mô hình học được những đặc trưng rõ ràng, độc lập, có thể ghép nối như khối Lego, chứ không phải hỗn độn, lộn xộn. Điều này trực tiếp quyết định trí tuệ nhân tạo có hiểu sâu sắc hay không, có khả năng giải thích và kiểm soát hay không.

Và bây giờ, trong đầu Hiệu Sú vụt lóe một ý nghĩ: có lẽ phương pháp này có thể giải quyết được vấn đề kia?

Chẳng biết đã bao lâu, một giọng quen thuộc vang bên cạnh, vừa ngạc nhiên vừa cố ý hạ thấp giọng:

"Hiệu Sú? Cậu cũng ở đây à?"

Hiệu Sú ngẩng đầu lên, nhìn thấy Lưu Hạo Nhiên tay ôm chồng tài liệu dày cộp đứng bên bàn, nét mặt thoáng nở nụ cười.

Anh buông bút, khẽ "ừ" một tiếng.

Lưu Hạo Nhiên kéo chiếc ghế bên cạnh ngồi xuống, đặt tài liệu lên bàn, ánh mắt dừng lại trên cuốn sách bên cạnh Hiệu Sú, mắt sáng lên.

"Cậu vẫn đọc sách về biểu diễn nhóm à? Định nghiên cứu sâu hơn sao?"

Hiệu Sú không trả lời, chỉ đẩy tờ giấy nháp sang bên cạnh, để lộ những công thức chứng minh trên đó.

Lưu Hạo Nhiên cúi xuống nhìn, đôi mày dần nhăn lại, những chứng minh liên quan đến tác dụng nhóm, lý thuyết đặc trưng, vốn kiến thức nhóm của anh không bằng Hiệu Sú, làm sao hiểu nổi anh viết gì.

"Cậu... đang nghiên cứu mới à?" Lưu Hạo Nhiên không nhịn được hỏi.

Hiệu Sú im lặng vài giây, đầu ngón tay lại chạm lên bìa cuốn *Cơ sở lý thuyết học giám sát tự động*, nhẹ nhàng vuốt mép sách.

Giọng anh vẫn bình thản, nhưng ẩn chứa sự quả quyết: "Tôi nghĩ lý thuyết nhóm trong thúc đẩy ứng dụng trí tuệ có thể khai thác sâu hơn nữa."

Lưu Hạo Nhiên sững lại, rồi nét mặt anh thoáng hiện niềm vui ngạc nhiên:

"Ứng dụng lý thuyết nhóm? Cậu có ý tưởng cụ thể rồi à?"

"Ừ."

Hiệu Sú gật đầu, ngước nhìn Lưu Hạo Nhiên, ánh mắt trong trẻ và tập trung.

"Anh có ý tưởng ban đầu. Lý thuyết nhóm cốt lõi là nghiên cứu tính đối xứng, biến đổi và bất biến, còn học giám sát tự động nhằm mục đích khai thác quy luật vốn có, bất biến trong dữ liệu. Hai lĩnh vực ấy, về triết học nền tảng, là tương thông. Chúng ta có thể thử dùng ngôn ngữ toán học của nhóm để định nghĩa chặt chẽ, dẫn dắt quá trình giải kết hợp đặc trưng, khiến mô hình học cách 'quay', 'dịch chuyển' vật thể ra khỏi nền, xem sự thay đổi ánh sáng như hiệu ứng của 'nhóm biến đổi' để tách rời, thậm chí giải kết hợp những khía cạnh trừu tượng hơn như phong cách và nội dung theo nghĩa toán học."

Anh dừng lại một chút, "Hay bây giờ bắt đầu chuẩn bị, chúng ta cùng thực hiện đề tài 'Thiết kế khung giải kết hợp đặc trưng học giám sát tự động theo lý thuyết nhóm' nhé?"

Tiếng nói vừa dứt, Lưu Hạo Nhiên hoàn toàn đứng sững lại, nét mặt ngạc nhiên dần chuyển sang sự không thể tin nổi, rồi ngay lập tức bị hứng khởi trào dâng lấn át.

Anh đã theo chân Cố Thanh Uyên nghiên cứu suốt bao lâu nay, quá hiểu rõ suy nghĩ của Tiêu Tú kèm theo điều đó có ý nghĩa gì. Đây không chỉ là một hướng nghiên cứu đơn thuần, mà còn trực tiếp nhắm tới tuyến đầu nóng bỏng nhất trong nghiên cứu AI đương thời.

Trên trường quốc tế, từ DeepMind cho đến OpenAI, các phòng thí nghiệm hàng đầu đều đang tranh giành quyết liệt trên chiến trường học tự giám sát, những mô hình dựa trên học đối chiếu, tái cấu trúc che dấu liên tục phá vỡ giới hạn hiệu suất, nhưng vấn đề “nhiễu đặc trưng” vẫn cứ như bóng ma ám ảnh toàn ngành, hạn chế bước nhảy vọt của mô hình hướng tới nhận thức cấp cao hơn.

Con đường mà Tiêu Tú đề xuất lần này, kết hợp lý thuyết toán học thuần túy trừu tượng cao độ với thực tiễn kỹ thuật tiên tiến nhất, rõ ràng là nỗ lực tìm kiếm điểm phá vỡ mới ngay từ gốc rễ.

Nếu thành công, không chỉ có nghĩa là đột phá về hiệu suất thuật toán, mà còn có thể cung cấp cho AI một hệ thống “ngữ pháp tư duy” hoàn toàn mới, dựa trên tính nghiêm ngặt toán học.

Mỗi đề tài mà cậu thiếu niên này đưa ra đều tiềm ẩn sức mạnh phi thường, từ khung hình học trước đây cho đến thuật toán đồ thị động, lần nào cũng mang đến những đột phá mang tính thay đổi mô hình.

Sự kết hợp giữa lý thuyết nhóm và giải liên kết đặc trưng tự giám sát nghe qua đã đầy rẫy những tia lửa sáng tạo mang tính cách mạng, nếu có thể thực hiện được, chắc chắn sẽ là một thành tựu đủ làm chấn động giới học thuật.

“Thật… thật à?”

Giọng nói của Lưu Hạo Nhiên như run run, anh vội gật đầu ngay, “Tốt! Quá tốt rồi! Em rất tự tin! Tiêu Tú, cậu cứ yên tâm, hè này em nhất định sẽ nắm vững hết kiến thức liên quan đến lý thuyết nhóm và học tự giám sát, nhất định không để cậu phải chờ đợi!”

Nói xong, anh lập tức cầm lấy tài liệu trên bàn, ánh mắt tràn đầy nhiệt huyết, như thể được tiếp thêm sinh lực ngay lập tức.

Mọi hoang mang, mệt mỏi khi từng ngốn ngấu tài liệu bỗng chốc tan biến không còn dấu vết.

Được cùng Tiêu Tú nghiên cứu, vốn dĩ đã là một may mắn, huống hồ đây còn là một đề tài có triển vọng đến vậy, có tính căn bản đến vậy.

Tiêu Tú nhìn anh hứng khởi, không nói thêm gì nữa, chỉ cầm bút lên, mở sách ra, tiếp tục mạch suy luận trước đó.

Với anh, việc đề xuất ý tưởng này chỉ là điều đương nhiên.

Những luận thuật trong sách về “biểu diễn bất biến” và “cấu trúc đại số của tăng cường dữ liệu” trong đầu anh chợt cộng hưởng mờ nhạt với mạng biến đổi đối xứng của lý thuyết nhóm trong tâm trí.

Cấu trúc nghiêm ngặt của lý thuyết nhóm, vừa vặn có thể cung cấp một khung định nghĩa rõ ràng và công cụ ràng buộc toán học mạnh mẽ cho “nhiễu đặc trưng” - vấn đề cốt lõi trong giải liên kết đặc trưng tự giám sát, biến quá trình tách rời kiểu hộp đen thành những thao tác toán học có thể suy diễn, có thể kiểm chứng.

Sự kết hợp của hai thứ, chính là lựa chọn tự nhiên nhất.

Lưu Hạo Nhiên vừa xem tài liệu vừa thầm quyết tâm trong lòng, nhất định phải theo kịp bước chân Tiêu Tú, chuẩn bị thật tốt cho đề tài này.