Lý Đông lên tàu chưa được bao lâu đã bắt đầu gõ code, cứ thế gõ ròng rã suốt hơn bốn tiếng đồng hồ.
Với một "người mới" mà nói, việc lồng ghép hoàn hảo thuật toán giảm chiều Riemann vào hệ thống quản lý bộ nhớ cấp thấp của C++, lại còn phải gọi thư viện FFT để tính toán đa điểm, quả thực vô cùng hại não.
"Cạch!"
Lý Đông gõ phím Enter chốt lại dòng code cuối cùng, sau đó vươn vai một cái.
Hắn cẩn thận kiểm tra lại từ đầu đến cuối việc giải phóng con trỏ bộ nhớ và các thiết lập điều kiện biên.
"Không vấn đề gì, quá hoàn hảo."
Hắn hít sâu một hơi, nhẹ nhàng nhấn nút "Run".
Trên màn hình, cửa sổ console màu đen lập tức bật lên.
Dòng đầu tiên hiển thị rõ ràng các thông số tìm kiếm ban đầu: 【Target Interval: t∈[10^20, 10^20 + 1.5×10^6]】
Ngay sau đó, từng dòng số màu xanh lá cây tuôn rơi như thác đổ.
10,000...
100,000...
1,000,000...
Mỗi lần con số nhảy bậc đều đại diện cho hàng trăm, hàng ngàn điểm không không tầm thường của hàm Zeta Riemann được nắm bắt và xác minh, số lượng tích lũy tăng vọt với tốc độ chóng mặt.
Nhìn chằm chằm vào màn hình, Lý Đông cũng không giấu nổi sự kích động.
"Chạy mượt luôn! Thật sự chạy được rồi!"
Hơn nữa, nhờ độ phức tạp thời gian của thuật toán đã giảm từ O(t^(1/2)) của công thức Riemann-Siegel xuống mức còn thấp hơn cả O(t^(1/3+ε)) của thuật toán Odlyzko–Schönhage, cộng thêm cơ chế tái sử dụng bộ nhớ cực kỳ tinh tế, nên chiếc laptop mỏng nhẹ này hoàn toàn không bị đơ hay xanh màn hình như trước nữa.
"Hướng đi của mình chuẩn rồi! Thuật toán Riemann thực sự có thể áp dụng vào..."
Ngay lúc Lý Đông đang dán mắt vào màn hình máy tính, hắn không hề để ý chiếc điện thoại bị vứt lăn lóc ở góc bàn bỗng sáng lên.
Trong giao diện chạy ngầm của WeChat, tại "Nhóm học tập Thanh Long".
Bên cạnh ảnh đại diện của Lý Đông, danh hiệu 【quản trị viên (thực tập)】 có chút biến đổi.
Hai chữ "(thực tập)" đang mờ dần đi từng chút một.
Trong nhóm chat...
【John von Neumann】: Sắp rồi.
【Albert Einstein】: Thằng cháu ngu ngốc của Ngài Cao Tam xem ra cũng không đến nỗi hết thuốc chữa.
【Niels Bohr】: Albert, đừng có lảng tránh chủ đề. Giữa tôi và ông, chắc chắn phải có một người đúng, một người sai.
【Dmitri Ivanovich Mendeleev】: [Đeo kính râm hóng hớt].
【Isaac Newton】: Rốt cuộc các ông đang nói cái gì thế?
Thế nhưng, mấy tin nhắn này chỉ hiện trên màn hình chưa đầy ba giây.
Rồi nhanh chóng biến mất không tăm hơi.
Tất nhiên, Lý Đông hoàn toàn không hay biết gì về chuyện này.
Tàu cao tốc vẫn lao vun vút trên đồng bằng Hoa Bắc, chớp mắt đã ba tiếng đồng hồ trôi qua.
Điều đáng kinh ngạc là chiếc laptop mỏng nhẹ ThinkBook vốn chuyên dùng cho dân văn phòng này, dù phải chịu cường độ tính toán cực hạn suốt ba tiếng đồng hồ, bề mặt bàn phím tuy có hơi nóng lên nhưng hoàn toàn không có dấu hiệu bị treo máy.
Bộ thuật toán mà Lý Đông viết quá "sạch"! Nó không tạo ra bất kỳ phân mảnh bộ nhớ thừa thãi nào, cơ chế tái sử dụng bộ nhớ cực kỳ hiệu quả, hầu như không lãng phí chút băng thông nào, cũng không gây thêm gánh nặng điều phối cho CPU.Lúc này, bộ đếm điểm không trong khoảng tìm kiếm trên màn hình máy tính đã nhảy vọt lên con số —— 10^7!
Mười triệu điểm không không tầm thường trong khoảng cực cao 10^20!
Còn Tần Phi ngồi ở ghế sát cửa sổ bên cạnh, lúc này đã hoàn toàn đứng hình.
Hắn tháo tai nghe chống ồn ra, cứ thế ngây ngốc nhìn chằm chằm vào màn hình.
"Mười triệu? Vượt mốc mười triệu rồi cơ á?"
Thực ra đánh giá khách quan thì con số này không tính là nhiều, nhưng mới có ba tiếng đồng hồ trôi qua thôi mà!
"Ba tiếng đồng hồ, cậu dùng một chiếc laptop mỏng nhẹ cùi bắp, mà chạy ra được mười triệu điểm không không tầm thường của hàm Zeta Riemann trong khoảng cực cao 10^20 á?"
"Cậu đang đùa cái quái gì thế hả!!!"
Phải biết rằng, lúc Tần Phi ở phòng thí nghiệm tính toán Bắc Lý Công, dùng cụm máy chủ nhỏ trị giá mấy trăm nghìn tệ, trang bị CPU kép 32 nhân để chạy thuật toán Odlyzko-Schönhage, dù chỉ tính mười triệu điểm không ở cấp độ t ≈ 10^15 thì ít nhất cũng phải mất 1,5 tiếng! Huống hồ đây lại là khoảng cực cao 10^20!
Nhìn bề ngoài, 1,5 tiếng của phòng thí nghiệm quả thực nhanh hơn 3 tiếng của chiếc laptop mỏng nhẹ.
Nhưng bài toán này tuyệt đối không thể tính như vậy được!
Bên kia là cụm máy chủ nhỏ có năng lực xử lý hàng nghìn tỷ phép tính mỗi giây cơ mà!
Còn cái thứ trước mắt này, chỉ là một chiếc laptop mỏng nhẹ chuyên dùng gõ văn bản, đến card đồ họa rời còn chẳng có! Hiệu năng phần cứng của nó thậm chí chưa bằng một phần hai mươi của một máy chủ đơn lẻ trong phòng thí nghiệm!
Dùng một phần hai mươi hiệu năng, chỉ tốn thêm gấp đôi thời gian, mà đã xử lý xong lượng dữ liệu khủng khiếp ở cấp độ cao hơn ư?
Dựa theo kiến thức khoa học máy tính thông thường, đây là chuyện tuyệt đối không thể xảy ra! Chẳng có bất kỳ thuật toán hiện hành nào đạt được bước nhảy vọt về cấp độ ảo ma như thế này! Trừ phi đối phương đang dùng một thuật toán đè bẹp tất cả các thuật toán hàng đầu hiện nay xuống đất, tạo ra một đòn Đả kích hạ chiều!
"Giả... Chắc chắn là giả!"
Tần Phi không ngừng tự an ủi bản thân trong lòng.
"Cậu ta căn bản không phải đang chạy chương trình! Cậu ta đang mở video! Đúng rồi, đây chắc chắn là một đoạn video làm màu được quay sẵn!"
Thực ra, với tư cách là sinh viên xuất sắc năm ba chuyên ngành HPC, sao Tần Phi có thể không phân biệt được sự khác nhau giữa việc biên dịch chạy thời gian thực trên console và phát video chứ?
Chỉ là lòng tự tôn học thuật của một học bá chính quy khiến hắn sinh ra bản năng từ chối tin vào cảnh tượng trước mắt!
"Chưa từng có vị giáo sư nào dạy mình thuật toán này, cũng chẳng có bất kỳ bài luận văn hội thảo hàng đầu nào nhắc đến thao tác này cả!"
Tần Phi hít sâu một hơi, nghiêng người ghé sát về phía Lý Đông.
Hắn định nhìn cho kỹ xem đây có phải là một chương trình chơi khăm hay không.
Hắn vừa mới ló đầu sang...
"Phụt!"
Màn hình máy tính tối đen không một điềm báo!
Đèn nền bàn phím tắt ngóm, tiếng quạt gió cũng im bặt.
Chiếc laptop Lenovo này trực tiếp đình công luôn...
"Đệch!"
"Đệch!"
Tiếng chửi thề của hai người đồng thời vang lên trong toa tàu.
Lúc này Lý Đông mới phát hiện ra cậu nam sinh đeo tai nghe bên cạnh đang ghé sát vào mặt mình, vẻ mặt trông còn kích động hơn cả chủ nhân chiếc máy tính là hắn.
Lý Đông giật nảy mình.
"Này ông bạn, làm cái gì thế?"
Lúc này Tần Phi mới nhận ra tư thế của mình hình như rất dễ gây hiểu lầm.
Nhưng giờ phút này hắn cũng chẳng màng đến phép lịch sự nữa, lắp bắp hỏi:
"À... Chào cậu, cậu... vừa nãy cậu đang chạy cái... chạy cái xác minh điểm không không tầm thường của hàm Zeta Riemann đúng không?"Lý Đông hơi bất lực gật đầu.
“Ừm, đúng vậy.”
Nhận được câu trả lời xác nhận, Tần Phi tiếp tục hỏi:
“Vậy... vậy cái bộ thuật toán siêu phức tạp thấp sử dụng khai triển lưới FFT để xử lý các số hạng chính và phụ mà cậu vừa dùng ấy, cậu xem được ở đâu thế?”
Lúc này Lý Đông mới biết, hóa ra nãy giờ anh bạn này vẫn luôn nhìn trộm mình viết code.
Đúng là biến thái!
Cơ mà, thấy thì cũng thấy rồi.
Nhưng cậu hiểu nổi không?
Dù sao bản thân hắn cũng phải nghiên cứu bao lâu, cộng thêm thuộc tính cơ bản cao thì mới miễn cưỡng chắp vá ra được.
Nhưng mà, người ta đã hỏi thẳng vào mặt rồi...
Lý Đông thầm nghĩ trong bụng.
“Ở thế giới này, Riemann đã qua đời hơn một trăm năm rồi.”
“Nếu thuật toán này đã phải đưa ra ánh sáng, thì ắt hẳn phải có người đứng ra gánh vác trọng trách.”
Thế là, Lý Đông nhìn Tần Phi, mặt không đỏ tim không loạn nhịp, thốt ra bốn chữ!
“Tôi tự nghĩ ra.”
“...”
Tần Phi: ...
Cậu tự nghĩ ra á? Cậu tự nghĩ ra được một bộ thuật toán cấp thần, đủ sức đè bẹp dí cả giới toán học tính toán hiện nay xuống đất á?
Nếu cậu mà nghĩ ra được cái thứ này, Hội đồng giám khảo Giải Turing chắc phải chạy tới dập đầu lạy cậu ngay trong đêm mất!
Tần Phi hít sâu một hơi, vừa định gặng hỏi tiếp xem con trỏ bộ nhớ của bộ thuật toán này rốt cuộc được quản lý và giải phóng ra sao.
“Kính coong.”
Trong toa tàu bỗng vang lên giọng nữ dịu dàng từ loa phát thanh:
“Kính thưa quý khách, đoàn tàu sắp tới ga cuối, Ga Tây Bắc Kinh. Xin quý khách vui lòng thu dọn hành lý mang theo và chuẩn bị xuống tàu...”
Bao nhiêu lời Tần Phi định nói đều bị tiếng loa phát thanh này ép nuốt ngược vào bụng.
Hắn nhìn chiếc máy tính màn hình đen ngòm, rồi lại nhìn Lý Đông.
Dù trong lòng cảm thấy vô cùng kinh ngạc và hoang đường, nhưng trước khi chương trình chạy xong hoàn toàn, chưa xuất ra báo cáo phân tích sai số cuối cùng, thì chẳng ai biết được liệu bộ thuật toán kia sau vài trăm triệu điểm không có bị sập độ chính xác hay báo lỗi hệ thống hay không.
Đó là chân lý động trời, hay chỉ là trò mèo lòe thiên hạ, hiện tại hắn thực sự không cách nào đưa ra phán đoán cuối cùng.
Nhưng có một điều hắn rất chắc chắn, tên nhóc trước mắt này tuyệt đối là một kẻ biến thái sành sỏi trong nghề!
Tần Phi rút điện thoại ra, mở mã QR WeChat.
“Ờ... chào cậu, tôi là sinh viên chuyên ngành Khoa học và Công nghệ Máy tính của Học viện Công nghệ Bắc Kinh, theo hướng Tính toán hiệu năng cao (HPC).”
“Tôi tên Tần Phi, kết bạn WeChat nhé? Sau này chúng ta có thể thường xuyên trao đổi về thuật toán!”
Lý Đông nhìn mã QR đưa tới trước mặt, hơi ngớ người.
Đây là lần đầu tiên hắn bị người khác xin WeChat, mà đối phương lại còn là con trai.
Nhưng hắn nhanh chóng tự phản bác lại chính mình trong lòng.
“Không đúng, đây là lần thứ hai rồi. Lần đầu tiên là ở Thái Cổ Lý, Dung Thành, cái cô Lâm Tâm Như kia...”
Nghĩ đến đây, Lý Đông rùng mình một cái, vội vàng gạt phắt mấy thứ linh tinh trong đầu đi.
Hắn rút điện thoại ra, quét mã QR của Tần Phi, gật đầu: “Được chứ.”
“Tít” một tiếng, kết bạn WeChat thành công.
Lý Đông nhét máy tính vào balo, đứng dậy.
“Đi thôi, xuống tàu nào.”