Chương 334: Cần bình tĩnh lại

“Hàn Bǎiyán giọng run lên hẳn: ‘Tiếu giáo sư, anh… anh làm thế nào mà tính ra được số liệu gốc chúng tôi chưa từng công bố?’”

Tiếu Tú blinked.

Anh không hiểu tại sao Hàn Bǎiyán và Lâm Cẩn đột nhiên lại có biểu cảm như vậy.

“Tôi suy luận ra thôi.” anh nói.

Lâm Cẩn hơi nghiêng người về phía trước, giọng điệu càng nghiêm túc hơn lúc nãy:

“Ông muốn nói, chỉ cần nhìn vào kết quả đầu ra của những mô hình này, ông có thể suy ngược lại được dữ liệu đầu vào gốc của thí nghiệm?”

“Chẳng phải rõ như ban ngày sao? Các ông tuy đã sửa đổi vài giá trị, nhưng những giá trị đó không khớp với logic tính toán tổng thể, tỷ lệ tỉ lệ trong cùng một ma trận ghép đôi với các biến khác hoàn toàn không nhất quán. Chỉ cần kiểm tra đơn giản là có thể biết được giá trị ban đầu là gì.”

Hàn Bǎiyán mím môi.

Kiểm tra đơn giản?

Mở hai chiếc máy chủ, chạy suốt mấy tiếng mới có thể khôi phục xấp xỉ dữ liệu gốc, đó là kiểm tra đơn giản à?

Đó là dữ liệu chạy từ siêu máy tính vài vạn nhân lõi, liên quan đến hàng chục biến ghép đôi, tỷ lệ giữa từng biến còn phải trải qua vài vòng lặp.

Vậy mà Tiếu Tú chỉ cần tính nhẩm là ra hết sao?!

Hàn Bǎiyán cảm thấy suốt đời này mình đã trải qua bao thăng trầm, nhưng lúc này, vẫn sinh ra một cảm giác bất lực sâu sắc.

Anh cố gắng trấn tĩnh hồi lâu, mới thoát khỏi cảm giác đó.

Rồi đột nhiên, anh nghĩ đến một chuyện khác.

“Tiếu giáo sư, nếu ông có thể suy ngược dữ liệu gốc từ dữ liệu đầu ra, vậy liệu ông có thể nhìn ra được giá trị thực và phương pháp tính toán của những dữ liệu thí nghiệm mà các phòng thí nghiệm khác công bố không?”

Tiếu Tú nhíu mày, không hiểu tại sao Hàn Bǎiyán đột nhiên chuyển chủ đề.

Chẳng phải đang bàn về phương án sửa đổi mô hình tính toán dòng nhiệt khi tàu vũ trụ tái nhập khí quyển sao? Sao lại nhảy sang dữ liệu thí nghiệm của người khác?

Nhưng Lâm Cẩn gần như ngay lập tức hiểu được ý đồ của Hàn Bǎiyán.

Mí mắt anh giật lên, thân hình hơi nghiêng về phía trước.

Nếu Tiếu Tú thật sự có khả năng này, có thể nhìn thấy những gì ẩn giấu phía sau dữ liệu đã được xử lý trong bài báo của người khác, thì giá trị của chuyện này có thể còn lớn hơn tất cả những vấn đề kỹ thuật họ đến nhờ tư vấn hôm nay cộng lại.

Anh tiếp lời Hàn Bǎiyán, đẩy vấn đề đi xa hơn:

“Tiếu giáo sư, ông nói những giá trị chúng tôi sửa đổi không khớp với logic tính toán tổng thể, nên ông nhìn ra ngay. Theo lẽ đó, những dữ liệu mà các phòng thí nghiệm khác công bố trong bài báo, nếu dữ liệu họ chỉnh sửa và phương pháp tính toán không khớp, liệu ông có thể nhìn ra được không?”

Tiếu Tú gật đầu, chỉ đơn giản “ừ” một tiếng.

Anh phát hiện ra điều đó từ rất lâu rồi.

Rất nhiều bài báo trên các tạp chí hàng đầu, khi lần theo công thức tính toán của họ mà suy ngược lại, giá trị họ báo cáo và giá trị thực tế thí nghiệm thu được hoàn toàn không giống nhau.

Có người vẽ thanh sai số ngắn đi, có người chỉ báo dữ liệu nhóm đối chứng, có người còn lén đổi phương pháp thống kê trong quá trình xử lý dữ liệu để P-value vừa đủ dưới 0.05.

Có lẽ càng ngày càng vô lý hơn là có những mô hình tính toán tối ưu được công bố trong vài bài báo ấy. Hôm nay, khi chạy thử trong đầu, Tiểu Túc phát hiện ra họ không chỉ dùng sai những công cụ toán học cơ bản, mà ngay cả khi dùng sai, kết quả họ đưa ra vẫn trông thật đẹp đẽ, trong khi mọi người chẳng ai nhìn thấy điều đó. Những bài báo như thế ấy lại còn được trao giải thưởng, đăng trang bìa, và được các đồng nghiệp trích dẫn vô số lần.

Từ hôm đó, Tiểu Túc hình thành thói quen kiểm tra lại mọi thứ. Mỗi khi đọc một bài báo có dữ liệu, anh vô thức lần theo công thức để truy ngược lại xem liệu dữ liệu họ đưa ra có nhất quán với khung tính toán của họ hay không.

Rồi anh phát hiện ra rằng, những bài báo thiếu nhất quán còn nhiều hơn hẳn những gì mình tưởng tượng.

Hán Bá Nhạc và Lâm Cẩn nhìn nhau. Trong cái khoảnh khắc giao tiếp bằng ánh mắt ấy chứa đựng quá nhiều thứ—sự kinh ngạc, sự cảnh giác, và cả niềm hứng khởi của kẻ săn mồi đột nhiên cầm trên tay một khẩu súng mới.

Hán Bá Nhạc đứng dậy, giọng nói hạ thấp xuống vài phần: “Thưa giáo sư Tiểu, liệu giáo sư có thể giúp chúng tôi xem xét một bộ dữ liệu được không?”

Gương mặt của Hán Bá Nhạc vô cùng nghiêm túc, như thể nếu hôm nay Tiểu Túc không giúp họ, họ sẽ không rời đi vậy.

“Bộ dữ liệu gì vậy?” Tiểu Túc hỏi.

“Xin chờ một chút, dữ liệu tôi không mang theo người. Tôi ra ngoài gọi điện một chút, sẽ quay lại ngay.”

Khi anh ấy đẩy cửa bước ra ngoài gọi điện, căn phòng thư viện chìm vào tĩnh lặng.

Tiểu Túc cầm lấy cây bút, lật lại tài liệu đã bị sửa đến dày đặc chữ.

Anh mở phần tính toán dòng nhiệt khi tàu vũ trụ tái xâm nhập bầu khí quyển, viết lại một khung tính toán gọn gàng bên cạnh những đoạn bị gạch bỏ.

So với việc trả lời câu hỏi của họ, anh cảm thấy trực tiếp sửa lại mô hình còn đơn giản hơn nhiều.

Một khi Tiểu Túc bắt đầu suy nghĩ về vấn đề, toàn bộ khí chất của anh thay đổi, dường như tự tạo thành một thế giới riêng.

Lâm Cẩn ngồi bên cạnh, nhìn Tiểu Túc chăm chú viết vẽ trên tài liệu, trong lòng bỗng thấy khó tả.

Căn phòng thư viện cứ thế yên tĩnh trong vài phút, cho đến khi Hán Bá Nhạc đẩy cửa bước vào.

“Tôi vừa nói chuyện xong với trợ lý, anh ấy sẽ mang tài liệu đến ngay, khoảng hai mươi phút nữa.”

Lâm Cẩn gật đầu.

Hai người cứ thế ngồi im, nhìn Tiểu Túc viết xong tất cả mọi thứ trên giấy.

Cho đến khi Tiểu Túc đặt bút xuống, Lâm Cẩn mới mở lời: “Thưa giáo sư Tiểu, dự án mô hình tính toán mà trước đây chúng tôi nhờ giáo sư thiết kế, hiện nay tiến triển thế nào rồi?”

Tiểu Túc đứng dậy, đi đến chiếc tủ bên cạnh, lấy ra chiếc vali nhỏ mà trước đây Lâm Cẩn đưa cho anh.

“Nó đây.”

Lâm Cẩn mắt sáng lên ngay lập tức, mở laptop ra, xem qua mô hình ấy.

Bỗng nhiên, anh như sực nhớ ra điều gì, hỏi: “Mô hình này, liệu có thể ứng dụng vào tối ưu từ trường của động cơ đẩy Hall, phân tích dòng chảy buồng đốt của động cơ siêu thanh, và cả tính toán dòng nhiệt khi tàu vũ trụ tái xâm nhập bầu khí quyển hay không?”

Tiểu Túc suy nghĩ một lát, rồi trả lời: “Về bản chất, các mô hình tính toán đều là phổ quát cả. Dù anh làm tối ưu từ trường động cơ đẩy hay phân tích dòng chảy động cơ, cấu trúc toán học nền tảng đều là sự phân tích phổ của hệ thống ghép trong không gian chế độ. Sự khác biệt giữa các ứng dụng khác nhau không nằm ở khung toán học, mà là cấp độ của tham số đầu vào và độ phức tạp của mối quan hệ ghép.”

Anh ấy chỉ vào chiếc máy tính xách tay: “Về lý thuyết thì cái mô hình này cũng có thể giải quyết những vấn đề đó, chỉ là sẽ chậm hơn thôi. Ban đầu nó không được thiết kế cho những vấn đề ấy, giao diện tham số và định dạng đầu ra đều khác biệt, mỗi vòng chạy tốn khá nhiều thời gian cho việc chuyển đổi dữ liệu.”

Lâm Cẩn thúc giục: “Vậy có cách nào để nó chạy nhanh hơn không?”

Tiêu Tú nhìn anh ta một cái.

“Có chứ. Chỉ cần tiền xử lý ma trận ghép đa vật lý ở tầng đầu vào một lần, dùng phân rã QR song song để trích xuất cấu trúc thưa của ma trận ghép, rồi thêm vào giữa hai mô-đun truyền nhiệt và lưu thể một lớp mô-đun điều chỉnh bước thời gian thích ứng. Thế là xong.

Sau hai bước ấy, hiệu suất của mô hình có thể tăng gấp bảy tám lần, gần ngang bằng với việc viết hẳn một mô hình chuyên biệt cho những vấn đề ấy.”

Anh nói một cách thật nhẹ nhàng, nhưng Lâm Cẩn nghe đến hai từ “phân rã QR song song” và “mô-đun điều chỉnh bước thời gian thích ứng” thì đầu óc đã quay cuồng.

Phân rã QR song song trong toán tính toán không phải là hiếm, nhưng phải xử lý một ma trận ghép mạnh đa vật lý, vừa phân rã song song vừa trích xuất cấu trúc thưa, thao tác ấy về độ phức tạp toán học mà nghĩ đến đã đủ khiến người ta đau đầu.

Huống chi điều chỉnh bước thời gian thích ứng, đó là một nhánh lớn được công nhận trong lĩnh vực tính toán số, biết bao nhiêu nghiên cứu sinh đã vật vã năm năm chỉ để tiến thêm một chút trong hướng ấy.

Thế mà khi đến tai Tiêu Tú, nghe nó đơn giản như chuyện thường tình.

Hàn Bá Nhạc và Lâm Cẩn im lặng một cách tự nhiên, không tiếp tục truy hỏi chi tiết nữa.

Hôm nay họ đã chịu đủ cú sốc rồi, cần phải nghỉ ngơi thôi.