Chương 49: Không cần sửa

Ba ngày sau, tại Học viện Công nghệ Massachusetts, tòa nhà số 32. Văn phòng của Giáo sư Alex Chen nằm ở tầng bốn, bên ngoài cửa sổ có thể nhìn thấy sông Charles.

Hai giờ chiều, ánh nắng vừa đủ, trên mặt sông lác đác những chiếc thuyền buồm, nhưng Alex đã kéo rèm cửa xuống. Anh cần sự tập trung tuyệt đối.

Trên bàn làm việc bày ra bản thảo bài luận đã được in ra, dày bốn mươi trang, mỗi trang đều đầy những ghi chú dày đặc. Bút đỏ, bút xanh, bút chì, mỗi màu sắc đại diện cho một loại ghi chú khác nhau. Màu đỏ là những thắc mắc, màu xanh là những gợi ý, màu xanh lá cây là những chi tiết cần xác minh.

Alex đã dành năm giờ đồng hồ cho bài luận này. Đối với anh, người thường chỉ mất ba giờ để xem xét một bài báo khoa học, đây là sự đầu tư hiếm thấy.

Anh năm mươi tuổi, mái tóc đã bạc trắng, nhưng ánh mắt vẫn sắc bén. Lúc này, anh đang nhìn chằm chằm vào chương ba của bài luận, phần khung lý thuyết, đôi mày nhíu chặt.

Cánh cửa gõ lên, tiến sĩ sinh Kevin thò đầu vào:

"Thưa giáo sư, lúc ba giờ giáo sư có cuộc họp với nhà nghiên cứu của Google..."

"Dời sang ngày mai."

Alex không ngẩng đầu lên.

"Nhưng đây là cuộc họp giáo sư đã tự sắp xếp tuần trước, về dự án hợp tác..."

"Tôi nói dời đi."

Giọng nói của Alex không có chút thương lượng.

Kevin sững người một lát, nhận ra sự tình, lặng lẽ rút lui, nhẹ nhàng đóng cửa lại.

Anh đã theo Alex ba năm nay, chưa bao giờ thấy vị giáo sư này tập trung đến vậy, không, đúng hơn là say mê đến vậy, đối với một bài luận khoa học cần xem xét.

Phòng làm việc lại chìm vào im lặng.

Alex cầm bút đỏ, viết một câu hỏi vào lề trang giấy:

"Trong chứng minh Định lý 3.2, tại sao lại lựa chọn nhóm Lie đặc biệt SO(n) này? Tại sao không phải SU(n) hay Sp(n)? Sự lựa chọn này ảnh hưởng như thế nào đến hiệu suất của thuật toán cuối cùng?"

Câu hỏi này anh đã suy nghĩ suốt hai mươi phút rồi.

Lý do mà tác giả bài luận đưa ra là biểu diễn luận của SO(n) đơn giản hơn, tính toán hiệu quả hơn.

Nhưng trực giác của Alex mách bảo anh rằng, có thể ở đây còn ẩn chứa một lời giải thích hình học sâu xa hơn.

Anh đứng dậy, bước đến tấm bảng trắng ở góc phòng.

Tấm bảng này anh chuyên dùng để suy nghĩ về những vấn đề khó nhằn, giờ đây đã đầy những công thức.

Anh lau sạch một vùng nhỏ, bắt đầu suy luận.

Đặt G=SO(n), H là một nhóm con đóng, không gian thuần nhất M=G/H...

Cây bút của anh lướt nhanh trên bảng trắng, phát ra tiếng xào xạc.

Ánh nắng từ khe rèm chiếu vào, tạo thành những dải sáng dài hẹp trên những công thức.

Hai mươi phút sau, Alex ngừng bút.

Anh nhìn chằm chằm vào kết quả mình vừa suy luận ra, ánh mắt phức tạp.

Lựa chọn của tác giả bài luận là đúng.

Với loại bài toán phân đoạn đồ thị vốn đòi hỏi phải giữ được mối quan hệ khoảng cách tương đối giữa các nút, tính trực giao của nhóm SO(n) chính xác đã cung cấp cấu trúc hình học tự nhiên nhất.

Nếu chọn SU(n) hay Sp(n) thì lại chỉ mang đến những phức tạp không cần thiết.

"Họ không phải chọn bừa vậy đâu."

Alex thì thầm.

"Họ thực sự hiểu được bản chất hình học của vấn đề."

Anh quay lại bàn, lật sang phần thí nghiệm.

Dữ liệu ở đây tốt đến mức khó tin: trên sáu bộ dữ liệu quy mô lớn, mức độ cải thiện chất lượng phân đoạn dao động từ 38% đến 47%, còn thời gian chạy giảm từ 25% đến 34%.

Phản ứng đầu tiên của Alex là sự hoài nghi.

Anh mở laptop, đăng nhập vào máy chủ của phòng thí nghiệm, tìm thấy kho mã nguồn do tác giả bài luận chia sẻ.

Tải xuống, biên dịch, chạy thử—những động tác quen thuộc đến mức không thể quen hơn.

Anh chọn một bộ dữ liệu mà phòng thí nghiệm vừa thu thập gần đây.

Một mạng hợp tác học thuật với một trăm hai mươi triệu nút, bốn trăm triệu cạnh, vốn là một trong những chuẩn mực để thử nghiệm thuật toán mới của anh.

Chương trình bắt đầu chạy.

Trên màn hình hiện lên từng dòng nhật ký.

Alex nhìn chằm chằm vào thanh tiến trình, ngón tay vô thức gõ nhịp xuống mặt bàn.

Mười lăm phút sau, chương trình kết thúc.

Alex mở tập tin kết quả, đọc từng dòng.

Biểu cảm của anh chuyển từ bình tĩnh sang ngạc nhiên, rồi từ ngạc nhiên sang kinh ngạc.

Chất lượng phân đoạn cải thiện: 41,7%.

Thời gian chạy giảm: 29,3%.

Mức sử dụng bộ nhớ: thấp hơn 12% so với thuật toán cơ sở.

"Chuyện này không thể nào..."

Alex lẩm bẩm.

Anh chạy lại lần nữa, đổi sang hạt giống ngẫu nhiên khác, kết quả vẫn tương tự.

Anh dựa lưng vào ghế, nhắm mắt lại.

Trong tâm trí hiện lên cái tên trong danh sách tác giả: Tiêu Tú, mười lăm tuổi, Đại học Kinh thành.

Alex nhớ lại mình năm mười lăm tuổi đang làm gì.

Lúc ấy, anh vẫn còn lo lắng cho kỳ thi tích phân cấp ba, thành tích lớn nhất của mình chỉ là tham gia một cuộc thi toán.

Còn chàng trai Hoa Quốc ấy, cậu bé đã thực hiện một nghiên cứu có thể thay đổi toàn bộ lĩnh vực này. Cậu mở mắt ra, kích hoạt hệ thống phản biện, rồi bắt đầu viết nhận xét của mình. Những ngón tay lướt trên bàn phím lâu lắm, mới gõ được câu đầu tiên:

“Đây là một bài luận phi thường, có lẽ là công trình sáng tạo nhất tôi từng đọc trong mười năm qua.”

Cùng lúc ấy, tại trường Đại học Princeton, tòa nhà Khoa Toán.

Giáo sư Michael Johnson vừa kết thúc buổi hội thảo chiều, trở về văn phòng đã gần năm giờ. Năm nay ông sáu mươi hai tuổi, dáng người cao gầy, mái tóc trắng thưa nhưng chải chuốt gọn gàng. Ông mặc chiếc áo khoác len caro cổ điển, ngay cả khi trời ấm xuân vẫn không chịu cởi ra.

Mở hộp thư, ông nhìn thấy ngay lời mời phản biện từ tạp chí TOIS. Thông thường ông sẽ từ chối ngay. Phản biện bài báo khoa học máy tính tốn quá nhiều thời gian, và vô số bài luận có phần toán học đầy lỗ hổng, khiến người đọc phát cáu lên.

Nhưng từ khóa “Lý thuyết nhóm Lie” khiến ông ngần ngừ. Ông là chuyên gia hàng đầu trong lĩnh vực này, đã viết ba cuốn chuyên khảo, đào tạo mười hai tiến sĩ. Thấy có người thử áp dụng nhóm Lie vào vấn đề máy tính, phản ứng đầu tiên của ông là tò mò, phản ứng thứ hai là hoài nghi. Đa số những nỗ lực kiểu này đều hời hợt, chỉ dùng cái tên toán học ấy như một thứ trang trí.

Ông bấm vào bài luận, định lướt qua nhanh, nếu chất lượng tồi thì từ chối sớm cho xong.

Phần giới thiệu khiến ông có chút hứng thú. Tác giả mô tả vấn đề rõ ràng, phân tích hạn chế của phương pháp hiện có rất thuyết phục. Rồi ông lật đến phần toán học.

Năm phút sau, Michael ngồi thẳng người lên.

Mười phút sau, ông đứng dậy đóng cửa văn phòng.

Nửa giờ sau, ông đã quên bẵng mất thời gian.

Toán học trong bài luận không phải là ứng dụng đơn giản như ông tưởng, mà là sự mở rộng thực sự. Tác giả không chỉ hiểu rõ lý thuyết cơ bản về nhóm Lie và không gian thuần nhất, mà còn tạo nên sáng kiến, đưa ra khái niệm “tác động nhóm mềm”, nới lỏng tính đối xứng chặt chẽ thành tính đối xứng gần đúng—điều này trong ứng dụng thực tế rõ ràng hợp lý hơn.

Điều khiến Michael ngạc nhiên hơn cả là tính nghiêm ngặt của phần chứng minh. Mỗi định lý đều có chứng minh hoàn chỉnh, mỗi bổ đề đều được trích dẫn nguồn gốc. Ông dừng lại ở một bổ đề quan trọng, một bổ đề ông nhận ra ngay—đó là thứ ông đã chứng minh hai mươi năm trước trong một bài luận không mấy nổi tiếng.

Michael lật đến danh mục tham khảo, và quả nhiên ở mục thứ hai mươi tám tìm thấy bài luận của mình:

[28] Johnson, M. (2003). “On the homogeneous spaces of compact Lie groups.” Journal of Differential Geometry, 64(2), 301-330.

Một cảm giác kỳ lạ trào dâng trong lòng ông.

Bản luận văn ấy khi được công bố, tác giả có tên là Tiêu Tú vẫn chưa chào đời. Thế mà giờ đây, cậu thiếu niên ấy không chỉ đọc hiểu được bài viết chuyên sâu đến tận xương tủy ấy, mà còn áp dụng nó vào một lĩnh vực hoàn toàn khác biệt.

Michael mở tủ tài liệu, lấy ra từ ngăn dưới cùng cuốn tạp chí hợp tuyển đã ngả màu vàng ố. Lật đến trang 301, chứng minh ông viết năm ấy hiện ra rõ ràng trước mắt.

Đối chiếu cách sử dụng bổ đề trong luận văn, ngắn gọn, chính xác, lại còn đưa ra cách giải thích hình học mới mẻ.

"Cậu ấy đã đọc hiểu, và còn lĩnh hội được nữa." Michael thì thầm.

Đây không đơn thuần là sự trích dẫn, mà là sự tiếp thu và tiêu hóa thực sự.

Ông tiếp tục đọc.

Chương bốn của luận văn đưa ra mô tả chi tiết về thuật toán cùng phân tích độ phức tạp. Là một nhà toán học, Michael thường không quan tâm đến những chi tiết triển khai thuật toán, nhưng lần này ông đọc rất cẩn thận, bởi ông muốn xem những lý thuyết toán học thanh nhã ấy đã được hiện thực hóa thành mã code như thế nào.

Sau khi đọc xong, ông buộc phải thừa nhận rằng tác giả còn có tố chất lập trình xuất sắc không kém.

Thuật toán được thiết kế rõ ràng, kỹ thuật tối ưu tinh tế, phân tích độ phức tạp vô cùng chặt chẽ.

Michael nhìn đồng hồ, bảy giờ tối.

Ông đã dành hai tiếng đồng hồ cho bài luận văn ấy, nhưng chẳng hề cảm thấy mệt mỏi chút nào.

Ngược lại, ông cảm thấy một niềm hứng khởi xa lạ, thứ niềm vui thuần khiết khi được chiêm ngưỡng vẻ đẹp toán học.

Ông mở hệ thống phản biện, bắt đầu viết nhận xét.

Viết chậm rãi, thận trọng, từng từ đều được cân nhắc kỹ lưỡng.

Trong đoạn cuối, ông viết:

"Từ góc độ toán học thuần túy, bài luận văn này còn có đóng góp cho lý thuyết nhóm Lie. Khái niệm 'tác động nhóm mềm' là một sự tổng quát thú vị, có thể có giá trị ứng dụng trong những nhánh toán học khác. Tôi mạnh mẽ đề nghị chấp nhận bài luận văn này, và mong chờ được trao đổi học thuật sâu hơn với tác giả."

Sau khi nhấn "Gửi", Michael dựa lưng vào ghế, nhìn ra ngoài cửa sổ.

Đêm ở Princeton thật yên tĩnh, chỉ còn ánh đèn xa xa từ thư viện.

Ông nhớ lại niềm đam mê toán học thuở trẻ, thứ xung lực muốn khám phá thế giới vô biên ấy.

Và hôm nay, ông nhìn thấy cùng một ánh sáng ấy nơi một thiếu niên mười lăm tuổi.

Hai tuần sau, tại phòng biên tập tạp chí TOIS.

Mark dụi mắt khi nhìn thấy bốn bản nhận xét trả về trên màn hình. Phản ứng đầu tiên của anh là dụi mắt lần nữa.

Bốn bản nhận xét, tất cả đều là "mạnh mẽ đề nghị chấp nhận".

Không có yêu cầu chỉnh sửa, không có lời phê bình thực chất, chỉ có vài đề xuất nhỏ nhặt, bổ sung chi tiết chứng minh, tăng thêm thí nghiệm so sánh, vân vân.

Anh mở từng bản một, đọc kỹ.

Ý kiến của Alex Chen dài tới ba trang, phân tích chi tiết đóng góp thuật toán của bài luận văn, gọi đó là "có thể mở ra một mô hình mới cho nghiên cứu thuật toán đồ thị".

Maria Rodriguez đã đính kèm kết quả chạy mã của chính mình, xác nhận tính tái lập của thí nghiệm và nhấn mạnh rằng “bộ khung này mang giá trị kỹ thuật thực tế”. David Lee đánh giá cao từ góc độ ứng dụng, cho rằng “điều này sẽ thúc đẩy mạnh mẽ sự phát triển của lĩnh vực phân tích mạng xã hội”. Ý kiến của Michael Johnson khiến Mark ngạc nhiên nhất. Nhà toán học nổi tiếng khắt khe này không tiếc lời ca ngợi trong nhận xét, thậm chí còn nói rằng “chỉ riêng phần toán học đã xứng đáng được đăng trên các tạp chí toán học hàng đầu”.

Mark thở dài nhẹ nhõm, dựa lưng vào ghế.

Sarah tiến lại gần, xem xong cũng im lặng.

“Tình huống này… lần đầu tiên tôi gặp trong sự nghiệp,” Mark nói.

“Tôi cũng vậy,” Sarah thì thầm. “Bốn vị phản biện, đều là những chuyên gia hàng đầu trong lĩnh vực, đưa ra những đánh giá cao nhất gần như đồng nhất. Bài báo này…”

“Bài báo này sẽ gây chấn động,” Mark tiếp lời.

Anh mở mẫu thư quyết định, bắt đầu viết.

Anh viết rất cẩn trọng, cẩn trọng hơn bất kỳ lần nào trước đây.

Không chỉ chấp nhận bài báo chính thức, anh còn đặc biệt khen ngợi tính đổi mới liên ngành của nó. Ở cuối thư, anh thêm một đoạn nhận xét cá nhân:

“Với tư cách là biên tập viên, tôi hiếm khi bày tỏ quan điểm cá nhân trong thư quyết định. Nhưng lần này, xin phép được nói: bài báo này nhắc nhở chúng ta rằng sự đổi mới thực sự thường xuất hiện ở ranh giới giữa các ngành, và những bộ óc vĩ đại nhất có thể tự do vượt qua những ranh giới ấy. Tôi mong chờ sẽ sớm thấy nhiều công trình đột phá hơn của anh trên TOIS trong tương lai.”

Khi nhấn “Gửi”, bàn tay Mark run lên nhè nhẹ, không phải vì lo lắng, mà bởi một niềm hứng khởi khi chứng kiến lịch sử.

Thông báo gửi thành công hiện lên.

Mark dựa lưng vào ghế, nhắm mắt lại.

“Xong rồi à?” Sarah hỏi.

“Không,” Mark mở mắt, ánh mắt lấp lánh. “Mọi chuyện vừa mới bắt đầu.”