Chương 343: Ôi

Tôi ngồi ngay giữa hàng ghế đầu tiên, nhưng tâm trạng tôi không háo hức như Vạn Hội Dương chút nào. Những công nghệ này, dù được coi là đỉnh cao trong ngành hiện nay, nhưng theo tôi vẫn còn rất nhiều chỗ cần tối ưu hóa. Khi Vạn Hội Dương đang thuyết trình trên bục, tôi đã đọc hết toàn bộ tài liệu từ đầu đến cuối. Dữ liệu không có vấn đề gì, kiến trúc của GeoSculpt cũng gần như đi theo con đường tôi đã vạch sẵn trong bài luận văn. Nhưng có vài chỗ, khi xem xét, tôi vô thức đã chạy qua trong đầu những phương án tối ưu và thấy vẫn có thể điều chỉnh thêm.

Chẳng hạn như mô-đun phân giải nhóm đối xứng phân tử thích ứng, hiện tại cách triển khai là dựa vào loại phân tử để tra bảng tra cứu nhóm điểm. Phương pháp này đủ dùng cho những phân tử thông thường, nhưng nếu gặp phải một cấu trúc phân tử hoàn toàn mới, không có trong bảng, thì buộc phải can thiệp thủ công để xác định nhóm đối xứng. Nếu có thể tự động hóa quá trình này, giao cho Tiểu Trí nhận diện tính đối xứng của phân tử, tốc độ có thể tăng thêm ít nhất hai mươi phần trăm. Tiểu Trí hiện đã chạy thử nghiệm giải ràng tỷ lệ trên robot, điện thoại và hệ thống ô tô của Hằng Khoa gần một tháng nay, khả năng nhận diện mẫu thông tin có cấu trúc của nó chắc chắn sẽ nhanh hơn.

Hay như phần tìm kiếm điểm yên ngựa, Vạn Hội Dương và nhóm sử dụng phiên bản cơ bản của phương pháp vòng yên ngựa mà tôi đã viết trong bài luận về phương trình Navier-Stokes. Nhưng phiên bản cơ bản có một nhược điểm nhỏ, đó là khi xử lý hệ thống đa điểm yên ngựa liên hợp, đường tìm kiếm đôi khi bị nhiễu, khiến tốc độ hội tụ của một vài điểm yên ngựa chậm đi. Vấn đề này sau đó tôi đã tìm ra giải pháp khi biên soạn mười bài luận văn về phương trình Navier-Stokes, chỉ là chưa kịp viết riêng vào ứng dụng hóa học tính toán. Nếu bổ sung phần này, hiệu quả hội tụ của hệ đa điểm yên ngựa chắc chắn sẽ được nâng cao thêm một bậc nữa.

Tiếng vỗ tay trong hội trường vẫn vang lên không dứt, phần hỏi đáp đã bắt đầu. Vạn Hội Dương đang trả lời câu hỏi của giám đốc nghiên cứu phát triển thuộc Dược Hiểu Tri về độ chính xác tính toán của phân tử protein lớn, dưới khán đài liên tục có người giơ tay. Tôi quay sang bên cạnh, thấy giám đốc của Roche đang tiến về phía đây, tay cầm danh thiếp.

Trong tình huống này, nếu để Tiểu Trí bị đám đông vây quanh, cả buổi chiều nay sẽ chẳng làm được việc gì nữa. Tôi gần như lập tức đưa ra quyết định rút lui. Tôi cúi xuống nói nhỏ vào tai Tiểu Trí. Anh ấy không quay đầu nhìn đám đông đang ùa tới, chỉ gật đầu, đứng dậy. Cảnh Thanh Dung cũng đứng lên cùng lúc, cả ba người chúng tôi thoát khỏi vòng vây trước khi đám đông kịp bao vây, lặng lẽ rời khỏi hội trường qua lối cửa an toàn nhỏ bé ở bên hông.

Khi Suphie bước tới hàng ghế đầu, chỗ ngồi có tên Tiểu Trí đã trống, chỉ còn lại tập tài liệu hội nghị đã đọc xong để trên bàn. Cô nhìn vào chỗ trống, rồi nhìn về phía cửa bên hông, mỉm cười một cách bất lực, bỏ danh thiếp vào túi.

Trong phòng thí nghiệm tầng ba của Viện Hóa học, vài chiếc trạm làm việc đang chạy dữ liệu thử nghiệm mới, tiếng quạt máy tính kêu đều đều như tiếng ồn trắng. Qua cửa kính có thể nhìn thấy dưới hành lang hội trường vẫn còn người tụ tập, vài đại biểu đang bàn luận về dữ liệu vừa rồi, phóng viên đang dựng máy quay phỏng vấn các giáo sư vừa bước ra.

Hứa Minh đẩy cửa phòng thí nghiệm, dẫn Tiểu Trí tới chiếc trạm làm việc ở giữa. Màn hình đang hiển thị giao diện vận hành của GeoSculpt, kết quả tính toán cấu trúc điện tử trạng thái cơ bản của phân tử benzen yên lặng hiển thị trên đó, cửa sổ nhật ký bên cạnh đang cuộn ghi lại các lần lặp tìm kiếm điểm yên ngựa.

"Hiện tại toàn bộ khung thuật toán cốt lõi đã ổn định, phiên bản miễn phí học thuật vừa lên mạng, chỉ vài phút đã vượt ngàn lượt tải, chúng tôi cũng đã chạy thử nghiệm áp lực máy chủ trước khi phát hành, tạm thời chưa bị sập. Nhưng có vài chỗ, chúng tôi vẫn cảm thấy có thể tối ưu thêm, chỉ là chưa tìm ra điểm đột phá cụ thể."

Hứa Minh chỉ tay vào sơ đồ kiến trúc trên màn hình, từ động cơ ánh xạ hình học tân, kéo tới bộ tối ưu điểm yên ngựa, đánh dấu hai điểm màu đỏ trên sơ đồ kiến trúc.

Tôi nhìn hai dấu mốc ấy, đúng là trùng khớp với hướng suy nghĩ vừa thoáng qua trong đầu khi xem tài liệu dưới khán đài.

Tôi bước tới hai bước, ngón tay chạm nhẹ vào dấu mốc thứ nhất.

"Phần nhận diện đối xứng này, hiện các anh đang dùng phương pháp tra bảng phải không?"

Hứa Minh gật đầu: "Đúng vậy, chúng tôi đã xây dựng sẵn bảng cho những phân tử phổ biến. Benzen khớp D6h, nước khớp C2v, amoniac khớp C3v. Nhưng khi gặp phân tử mới không có trong bảng, chúng tôi buộc phải dừng lại và chờ người phân tích bằng mắt thường."

"Tra bảng đủ dùng cho những phân tử quen thuộc," Tiểu Túc nói, "nhưng với những cấu trúc không có trong bảng, cứ gặp phân tử mới là quy trình tự động phải dừng lại chờ người phân tích—đoạn này tự động hóa bị đứt gãy."

Tôi tiến đến bảng trắng, nhặt lấy cây bút lông, vẽ nhanh một sơ đồ cấu trúc phân tử đơn giản bên cạnh, ghi chú các yếu tố đối xứng của nó.

"Nhận diện nhóm điểm phân tử về bản chất là một bài toán phán đoán hình học hữu hạn. Các phép đối xứng trong hệ tọa độ Descartes có thể biểu diễn bằng một nhóm ma trận ba nhân ba. Dấu vết và định thức của ma trận quyết định loại phép đối xứng. Chỉ cần quét tất cả phép đối xứng của phân tử ấy, tìm trục chính trước—trục chính lấy theo trục quay bậc cao nhất, rồi tìm trục C2 vuông góc với trục chính, sau đó kiểm tra sự tồn tại của mặt phẳng phản xạ và tâm đối xứng, cuối cùng dựa vào mối quan hệ tổ hợp của những yếu tố đối xứng ấy là có thể xác định trực tiếp nhóm điểm."

Tôi viết vài dòng mã giả đơn giản lên bảng.

"Đây là cách làm tiêu chuẩn. Đầu vào là tọa độ nguyên tử, đầu ra là nhãn nhóm điểm, chỉ cần hai ba trăm dòng mã là đủ để bao phủ mọi nhóm điểm phân tử phổ biến."

"Còn về vấn đề dao động tốc độ hội tụ trong hệ đa điểm yên ngựa."

Tôi vẽ vài điểm yên ngựa phân bố trong không gian đa tạp symplectic, cùng những đường dốc nhanh nhất xuất phát từ những giá trị khởi đầu khác nhau.

Đầu bút lông chạm nhẹ vào nơi những đường đi giao nhau.

"Phiên bản cơ sở của phương pháp vòng yên ngựa trong trường hợp đơn điểm yên ngựa là tối ưu toàn cục, tốc độ hội tụ có đảm bảo lý thuyết chặt chẽ. Nhưng trong trường hợp đa điểm yên ngựa, những miền hấp dẫn của mỗi điểm yên ngựa chia sẻ ranh giới, khiến đường tìm kiếm gần ranh giới đôi khi nhiễu loạn, biểu hiện thành những dao động cục bộ trong đường hội tụ, thậm chí một số giá trị khởi đầu cần thêm bước lặp."

Khi nghe "miền hấp dẫn chia sẻ ranh giới," Hứa Minh nhíu mày nhẹ.

Cụm từ ấy Tiểu Túc nói ra nhẹ nhàng, nhưng Hứa Minh biết rõ trong hệ đa điểm yên ngựa, cấu trúc hình học của ranh giới miền hấp dẫn vốn đã phi tuyến tính cao độ.

Trước đây khi họ truy tìm nguyên nhân dao động tốc độ hội tụ, Phương Thanh từng nghi ngờ liệu tham số thích ứng bước nhảy có bị cài sai, hay tiêu chuẩn hội tụ quá nghiêm, hay phân bố giá trị khởi đầu không đều—nhưng tất cả đều không đúng. Giờ đây, tất cả đều bị Tiểu Túc gom gọn trong một câu.

"Cách giải cũng không phức tạp."

Tiểu Túc vẽ một đường mới trong vùng giao nhau, theo hướng tiếp tuyến của ranh giới miền hấp dẫn.

"Chỉ cần sau mỗi bước tìm kiếm điểm yên ngựa, thêm một bước trực giao hóa: hướng tìm kiếm sinh ra từ bước lặp hiện tại được trực giao hóa với hướng tìm kiếm của điểm yên ngựa lân cận theo phương pháp Gram-Schmidt, loại bỏ thành phần trùng lặp, thế là mỗi hướng tìm kiếm sẽ nằm hoàn toàn trong miền hấp dẫn của chính nó, không còn bị nhiễu loạn bởi gradient miền hấp dẫn lân cận nữa."

Tôi viết thêm vài dòng suy luận lên bảng.

Bước trực giao hóa có logic thuật toán rất gọn, cốt lõi là thao tác loại bỏ trùng lặp dựa trên Gram-Schmidt, chỉ cần khoảng bốn mươi dòng mã.

"Phía bên kia, định lý 4.2 xử lý một vấn đề hội tụ đa điểm yên ngựa tương tự. Khung chứng minh có thể áp dụng trực tiếp, chỉ cần nới lỏng điều kiện từ đa tạp chặt sang đa tạp không chặt, phần khung chứng minh không cần thay đổi."

Hứa Minh đứng trước bảng trắng, nhìn từ đầu đến cuối tấm bảng đầy những điểm yên ngựa, đường đi, mã giả.

Phương Thanh đã thử vài phiên bản vá lỗi nhưng không thể khắc phục được dao động hội tụ đa điểm yên ngựa. Vậy mà Tiểu Túc chỉ với bốn mươi dòng mã và một bước trực giao hóa đã giải quyết xong, thậm chí chứng minh hội tụ chặt chẽ đã được viết sẵn trong bài báo khác, chỉ cần nới điều kiện từ đa tạp chặt sang đa tạp không chặt, sửa lại tiền đề là xong.

Còn vấn đề nhận diện đối xứng vốn khiến anh đau đầu mấy ngày nay, hóa ra chỉ cần một quy trình phán đoán hình học tiêu chuẩn là giải quyết được.

Vừa nãy trong phòng báo cáo, khi nhận được tràng pháo tay, Hứa Minh không khỏi lâng lâng—rốt cuộc, phần mềm tính toán nguyên lý đầu tiên nhanh nhất thế giới, công cụ làm thay đổi cả ngành, lại chính là do họ tạo ra. Ai nghe cũng không khỏi xúc động.

Thế nhưng tất cả những thành tựu tự hào ấy, trước mặt Tiểu Túc bỗng hóa thành toàn bộ vấn đề.

Xu Mingshi vốn đang hưng phấn, thoải mái bỗng chốc trở nên bình thản lạ thường. Cảm giác bất lực quen thuộc khi đối diện với Tiêu Túc lại ùa về, khiến anh không khỏi thở dài trong lòng.

“Ôi.”