Giả thuyết abc đã được giải đáp!

Dù đối với toán học Giới hay đối với tương lai của nền văn minh loài người, đây chắc chắn là một ngày đánh dấu bước ngoặt trong lịch sử.

Và đối với Đại học Cornell của Hoa Kỳ – nơi quản lý kho lưu trữ tài liệu điện tử arxiv – thì đây thực sự là một niềm vinh dự lớn; họ cảm nhận được điều này sớm hơn và sâu sắc hơn bất kỳ ai khác.

Học viện Khoa học Máy tính của Đại học Cornell…

Sự yên bình của buổi sáng bỗng nhiên bị phá vỡ bởi một sự cố bất ngờ.

Cơ sở dữ liệu arxiv, vốn luôn hoạt động ổn định, đột nhiên gặp phải áp lực truy cập lớn đến mức gần như bị “tê liệt”.

“Chết tiệt! Hôm nay có lễ gì đặc biệt à? Tại sao lại cứ vào được vào lúc này thôi…?”

“Lượng truy cập tăng gấp một trăm lần… Lạy Chúa, tối qua đã xảy ra chuyện gì vậy?”

“Ai mà biết được! Nhanh lên, gọi cho Phòng thí nghiệm Quốc gia Los Alamos, bảo họ kích hoạt các máy chủ dự phòng đi!”

“Đã kích hoạt rồi… Thôi đi, lượng truy cập lớn như vậy chắc chắn có vấn đề gì đó, không thể do hoạt động bình thường được!”

Phòng thí nghiệm trở nên hỗn loạn hoàn toàn.

Trước tình trạng máy chủ bị “tê liệt”, một số giáo sư được mời đến nhưng vẫn không tìm ra cách giải quyết.

Lượng truy cập vào arxiv vốn luôn ổn định, với hai đỉnh cao vào buổi sáng và buổi tối; hầu hết mọi người đều chọn thời gian này để tìm kiếm thông tin mới về các lĩnh vực nghiên cứu mình quan tâm.

Chính vì vậy, Phòng thí nghiệm Quốc gia Los Alamos, nơi quản lý hệ thống máy chủ, đã được cung cấp thêm nguồn lực để hỗ trợ arxiv. Nhưng không ngờ rằng, mọi kế hoạch vẫn không kịp thích ứng với sự thay đổi.

Những máy chủ dự phòng được bổ sung chỉ có thể giúp ích rất ít; lượng truy cập bùng nổ đã khiến toàn bộ trang web bị “tê liệt”, và hiện tại không ai có thể truy cập được nữa…

Tiến sĩ Osmond, người chịu trách nhiệm bảo trì cơ sở dữ liệu, đang vô cùng lo lắng; khi thấy tình hình không thể kiểm soát được, ông lập tức gọi cho Phòng thí nghiệm Quốc gia Los Alamos, yêu cầu các kỹ sư ở đó tắt hệ thống máy chủ xuống, sau đó mới bắt đầu kiểm tra bộ nhớ máy chủ và tìm nguyên nhân sự cố trong chế độ ngoại tuyến.

Khác với các cơ sở dữ liệu thương mại có mục đích lợi nhuận, arxiv là một kho lưu trữ tài liệu điện tử mở, mang tính chất từ thiện; vì vậy, dù lượng truy cập tăng gấp vài lần, họ cũng không hề mong đợi thu lợi từ điều này. Vì vậy, trước tình huống này, ông Osmond chỉ cảm thấy lo lắng mà thôi, chẳng hề có chút hào hứng nào cả.

Nhìn thấy kỹ sư hệ thống đang bước tới, Tiến sĩ Osmond lập tức chặn lại anh ta và hỏi một cách vội vàng:

“Cái phía Phòng thí nghiệm Quốc gia Los Alamos thì sao rồi? Họ đã tìm ra nguyên nhân sự cố với máy chủ chưa?”

Biểu hiện trên khuôn mặt người kỹ sư cũng đầy lo lắng. Mặc dù trước đây họ cũng từng gặp phải những tình huống tương tự, nhưng mức độ của chúng không hề so sánh được với tình hình hiện tại.

“Nguyên nhân sự cố vẫn đang được điều tra… Hiện vẫn chưa có thông tin mới nào.”

“Chết tiệt!” Tiến sĩ Osmond tức giận mà chửi thề, “Rốt cuộc là ai đó rảnh rỗi quá mà đi tấn công vào kho tài liệu điện tử đó à? Định đi hack Fed chứ gì!”

“Có lẽ là vì bài báo bị từ chối đăng, nên họ muốn tìm cách giải tỏa cơn giận,” người kỹ sư nhún vai và đưa ra một giả thuyết, nhưng Tiến sĩ Osmond lập tức bác bỏ nó mà không suy nghĩ gì.

“Không thể nào… Những kẻ ngu ngốc như vậy chẳng biết cách sử dụng máy tính đâu.”

Việc bài báo bị arxiv từ chối đăng là một chuyện khá khó xảy ra, bởi vì ngay cả những nghiên cứu thuộc lĩnh vực “toán học dân gian” cũng được phân loại riêng, để tạo ra một không gian dành cho các nhà nghiên cứu tự do tham gia nghiên cứu. Chỉ những người không xác định rõ định hướng nghiên cứu của mình mới có thể bị từ chối đăng bài vì không tuân thủ các quy định, vì vậy Tiến sĩ Osmond gần như không do dự khi loại bỏ khả năng này.

Đúng lúc mọi người đều đang sốt ruột như kiến trên nồi nước sôi, bỗng nhiên có tiếng bước chân vang lên bên ngoài phòng thí nghiệm. Một người đàn ông mặc suit chạy vào và nói ngay lập tức:

“Kết quả điều tra từ Phòng thí nghiệm Quốc gia Los Alamos đã xuất hiện rồi!”

Nghe thấy điều này, Tiến sĩ Osmond không chần chừ một giây nào, lập tức quay sang hỏi:

“Tình hình là thế nào vậy?!”

“Bằng chứng chứng minh giả thuyết abc…” Người đàn ông đó ngập ngừng, nhìn Tiến sĩ Osmond một cách ngạc nhiên và nói tiếp:

“Bằng chứng chứng minh giả thuyết abc?! Ý bạn là gì…?”

“Các kỹ sư ở Los Alamos đã kiểm tra nhật ký lỗi và phát hiện ra rằng toàn bộ lưu lượng truy cập đều hướng về cùng một tên miền cấp ba,” người đó nói với vẻ hoảng sợ, “Thật là không thể tin được! Một bài báo, chỉ là bản dự báo đăng trước, mà lại khiến máy chủ phải ngừng hoạt động… Lần đầu tiên trong đời tôi gặp phải chuyện kỳ lạ như vậy!”

“…

Sự cố mà máy chủ arxiv gặp phải chỉ là bắt đầu thôi.

Thông tin về việc giả thuyết ABC đã được chứng minh nhanh chóng lan truyền khắp toàn bộ giới toán học, và những tiếng ngạc nhiên như sóng thần bắt đầu lan rộng.

Vì máy chủ arxiv hoàn toàn bị tê liệt, không thể truy cập vào trang web được, nhiều người không thể tải xuống các bài báo nghiên cứu nên đành phải đổ xô vào diễn đàn lspm mà Lục Chu đã thiết lập trên trang cá nhân của mình để chia sẻ và trao đổi thông tin về giả thuyết ABC.

Đồng thời, tại Cao đẳng nghiên cứu viện Princeton,

Tiến sĩ Woolly Farnell, sinh viên khoa toán học, nhanh chóng bước vào văn phòng của Giáo sư Snark.

Vì quá hào hứng, anh ta thậm chí quên mất việc gõ cửa, và đẩy cửa bước vào, rồi báo cáo với giọng nói run rẩy:

“Giáo sư!”

Nghe thấy tiếng vang từ cửa, Giáo sư Snark nhẹ nhàng nhíu mày, dừng lại việc viết bằng bút bi và nhìn về phía sinh viên của mình:

“Chào buổi sáng, ông Farnell. Tôi muốn biết đã có chuyện gì xảy ra đến mức khiến ông quên mất phép lịch sự là gõ cửa trước khi bước vào?”

“Xin lỗi! Nhưng điều này thực sự quá bất ngờ!” Farnell nuốt nước bọt, cố gắng ổn định hơi thở và tiếp tục nói với giọng run rẩy, “Ông chắc chắn sẽ không thể tưởng tượng được—”

Tiếng nắp bút đập vào mặt bàn ngắt lời anh ta. Giáo sư Snark nói với giọng không kiên nhẫn:

“Tôi hy vọng ông có thể giải thích rõ ràng trong vòng một phút, nếu không—“

“Là nhóm nghiên cứu lspm! Chỉ cách đây một giờ, họ đã đăng toàn bộ quá trình chứng minh giả thuyết ABC lên arxiv!”

Nhóm nghiên cứu lspm...

Bằng chứng minh đầy đủ cho giả thuyết ABC?!

Ngay khi nghe thấy điều này, đôi mắt của Giáo sư Snark tròn lên to bằng quả bóng bàn, và ông lập tức đứng dậy, nói với vẻ vội vàng:

“Bài báo đó đâu? Ông đã tải xuống chưa?”

“Chưa…” Farnell nuốt nước bọt, khuôn mặt hiện rõ vẻ đau khổ, “Khi tôi phát hiện ra chuyện này, trang web arxiv đã bị quá tải và không thể truy cập được.”

Bị quá tải?!

Nghe thấy thông tin hoàn toàn bất ngờ này, Giáo sư Snark đứng ngẩn ngơ không biết phải nói gì.

Phải mất khoảng năm phút, ông mới dần lấy lại bình tĩnh.

Ánh mắt vô thức hướng về góc bàn trong văn phòng, nhìn vào cuốn lịch đặt trên đó – ngày 30 tháng Tư hiện rõ trên trang giấy.

Nhớ lại những lời Giáo sư Phí Phất Mạn đã nói cách đây không lâu, ánh mắt Sanaak dần hiện rõ vẻ kinh ngạc; đồng tử của anh ta đầy sự không thể tin được.

Thật là họ đã hoàn thành công việc này trước khi kết thúc tháng?! Thật là phi thường!

Cùng lúc đó, gần như trong cùng một tòa nhà…

Giáo sư Phí Phất Mạn, ngồi trong văn phòng của mình, sau khi biết tin giả thuyết abc đã được chứng minh, cũng nhìn về cuốn lịch trên bàn. Anh thở dài nhẹ và tự nhủ với vẻ tiếc nuối:

“Thật là đáng tiếc…”

Nếu lúc đó mình kiên trì thêm một chút nữa… Biết đâu Sanaak kia, với tính cách ham cá cược của mình, sẽ chấp nhận cái cược với mình chăng? Không chỉ vậy, ít ra tuần này chi phí uống cà phê cũng sẽ do ai đó thanh toán cho mình rồi…

–

(Hãy theo dõi kênh “Chen Xing ll” để đọc những câu chuyện nhỏ đằng sau những học sinh giỏi nhé.)