Bầu trời ngoài cửa sổ hửng sáng.

Lục Chu nằm bò trên bàn sách, chậm rãi mở hai mắt ra.

Xoa xoa vùng ấn đường có chút ê ẩm, cậu nhìn sang cuốn lịch đặt ở góc bàn.

Đã tháng năm rồi nhỉ...

Lục Chu hơi lắc lắc cái đầu có chút nhức mỏi.

Từ lúc cậu đến Princeton vào tháng 2 cho đến nay, gần như hơn một nửa thời gian cậu đều ở trong căn phòng mười mét vuông này, ngoại trừ lái xe ra siêu thị mua thức ăn, cơ bản cậu chẳng bước chân ra khỏi cửa.

Điều khiến cậu tiếc nuối nhất chính là chiếc thẻ câu lạc bộ trị giá 5000 đô la Mỹ kia, cậu thậm chí còn chưa dùng được mấy lần.

Kể từ khi nhận nhiệm vụ đó đến nay, trong khoảng thời gian gần nửa năm này, cậu vẫn luôn khiêu chiến Giả thuyết Goldbach.

Giờ đây, tất cả điều này cuối cùng cũng đã có kết quả.

Hít sâu một hơi, Lục Chu đứng dậy từ chiếc ghế.

Đã đi đến bước cuối cùng, cậu ngược lại không còn vội vàng như thế nữa.

Vừa huýt sáo vừa bước vào phòng bếp, tự làm cho mình chút đồ ăn, Lục Chu thậm chí còn lấy một chai sâm panh từ trong tủ lạnh ra, mở nắp chai rót cho mình một ly.

Sâm panh đã được mua từ hai tháng trước, chính là vì khoảnh khắc này.

Yên tĩnh thưởng thức xong bữa tối này, Lục Chu thong thả đi vào phòng bếp rửa tay, sau đó trở lại bàn sách, bắt đầu thu dọn đoạn kết cho công việc trong khoảng thời gian này của mình.

Lật qua gần năm mươi trang giấy viết luận văn, ở chỗ hôm qua viết chưa xong thì đã chìm vào giấc ngủ sâu, cậu cầm bút viết tiếp.

……Hiển nhiên, chúng ta có px1, 1px, x11612pxx, p,xq2xlog4……30

……Từ công thức 30, bổ đề 8, bổ đề 9, bổ đề 10, có thể chứng minh định lý 1 thành lập.

Cái gọi là định lý 1, chính là biểu thức toán học của Giả thuyết Goldbach mà cậu đã định nghĩa trong luận văn.

Tức là, cho trước một số chẵn n đủ lớn, tồn tại số nguyên tố p1 và p2, thỏa mãn np1p2.

Tương tự với điều này chính là Định lý Chen np1p2p3, cùng với một loạt định lý về pa, b.

Đương nhiên, mặc dù hiện tại trong luận văn của cậu, công thức này được gọi là định lý 1, nhưng có lẽ chẳng bao lâu nữa, đợi đến khi giới toán học phổ biến chấp nhận quá trình chứng minh của cậu, định lý này phỏng chừng sẽ được nâng cấp thành thứ gì đó như "Định lý Lục".

Tuy nhiên, chu kỳ thẩm định bản thảo của những giả thuyết toán học trọng đại thế này thường sẽ tương đối dài.

Luận văn Perelman chứng minh Giả thuyết Poincaré mất ba năm mới được giới toán học công nhận, chứng minh của Mochizuki Shinichi về Giả thuyết abc vì lẫn lộn một lượng lớn "thuật ngữ thần bí", ngưỡng cửa thẩm định bản thảo ít nhất cũng phải đọc hiểu "Lý thuyết vũ trụ kỷ" của ông ấy mới coi như nhập môn, cho nên cho đến nay vẫn chưa có ai đọc xong, dự kiến tương lai cũng sẽ rất khó khăn.

Tốc độ thẩm định bản thảo của một giả thuyết trọng đại, phần lớn phụ thuộc vào độ hot của mệnh đề này, cùng với việc công tác này rốt cuộc "mới" đến mức độ nào.

Khi chứng minh Định lý số nguyên tố sinh đôi, Lục Chu không hề ứng dụng lý thuyết mới mẻ đặc biệt nào, chỉ tiến hành đổi mới đối với phương pháp tôpô được nhắc tới trong bài luận văn mà Giáo sư Selberg công bố năm 95, những ai đã nghiên cứu qua bài luận văn này có thể nhanh chóng nắm bắt được những công việc mà cậu đã làm.

Mà bài luận văn chứng minh Định lý Polignac-Lục, chu kỳ thẩm định bản thảo rõ ràng đã kéo dài thêm một đoạn lớn.

Cho dù phương pháp cấu trúc nhóm của cậu đã được thể hiện trong việc chứng minh Định lý số nguyên tố sinh đôi, nhưng thành phần ma quái được cải biên trong đó cũng khiến nó hoàn toàn lệch khỏi phạm vi của sàng pháp, ngay cả khi người thẩm định bản thảo là đại thụ như Deligne, cũng mất không ít thời gian mới đưa ra kết luận cuối cùng.

Mà bài luận văn về chứng minh Giả thuyết Goldbach này, Lục Chu viết tổng cộng năm mươi trang, trong đó chí ít có một nửa dung lượng là để bàn luận về khung lý thuyết mà cậu đã xây dựng cho toàn bộ quá trình chứng minh.

Công việc của phần này, thậm chí có thể được tách ra công bố như một bài luận văn độc lập.

Chu kỳ thẩm định bản thảo của cậu, phần lớn phụ thuộc vào sự hứng thú của người khác đối với khung lý thuyết mà cậu đề xuất, cũng như mức độ chấp nhận đối với khung lý thuyết mà cậu đưa ra.

Còn về việc cụ thể cần bao lâu, thì không phải là thứ cậu có thể khống chế.

Thực ra trước kia Lục Chu vẫn luôn suy nghĩ, tiêu chuẩn phán định của hệ thống đối với việc hoàn thành nhiệm vụ, rốt cuộc là gì.

Nếu cậu đã hoàn thành chứng minh đối với một định lý, nhưng mười năm hay thậm chí mấy chục năm, cũng không có ai công nhận công việc của cậu, chẳng lẽ có nghĩa là nhiệm vụ của cậu sẽ bị kẹt lại từng ấy thời gian sao?

Hơn nữa điều khiến cậu khó hiểu nhất chính là,Ký nhiên trong cơ sở dữ liệu của hệ thống lưu trữ dữ liệu khổng lồ, vậy thì nó tất nhiên đến từ một nền văn minh bậc cao — ít nhất nền văn minh này phát triển hơn văn minh trên Trái Đất.

Tạm không bàn đến động cơ tồn tại của nó, Lục Chu cảm thấy, việc xác định một vấn đề có được giải quyết hay không, hệ thống đến từ văn minh bậc cao chắc cũng sẽ không tham khảo ý kiến của "thổ dân".

Phân tích như vậy, kết luận mà Lục Chu rút ra chính là, việc hoàn thành nhiệm vụ của hệ thống nên được phán định bởi hai yếu tố.

Một là tính chính xác.

Thứ hai, chính là công khai!

Thực ra, có một cách rất đơn giản để kiểm chứng, chứng minh của cậu có chính xác hay không.

Nếu chỉ vì công khai mà nói, không nhất thiết phải đăng lên tạp chí...

---❊ ❖ ❊---

Hoàn thành luận văn chứng minh Giả thuyết Goldbach xong, Lục Chu đã mất trọn ba ngày để sắp xếp những thứ trên giấy vào máy tính, đồng thời chuyển thành tệp định dạng pdf, sau đó đăng nhập trang web chính thức của arXiv, tải luận văn lên.

Tính chính xác, cậu nắm chắc trên chín phần mười, bởi vì thói quen của cậu là tiến hành kiểm toán nghiêm ngặt đối với mọi kết luận, suy xét lặp đi lặp lại đối với tất cả những nơi có khả năng xuất hiện sai sót.

Còn về công khai.

arXiv không có khâu bình duyệt ngang hàng, không nghi ngờ gì nữa chính là lựa chọn nhanh nhất!

Điểm tệ duy nhất có lẽ chính là xung đột với nguyên tắc nộp bản thảo của một số tạp chí, hội nghị, ví dụ như tải luận văn lên trước thời hạn chót có thể sẽ vi phạm quy tắc song mù v.v., tuy nhiên hiện tại Lục Chu cũng không mấy quan tâm đến những thứ này, hơn nữa cậu tin rằng những tạp chí tiếp nhận bản thảo kia cũng sẽ không để ý đến những tiểu tiết vụn vặt đó.

Dù sao thì người nộp bản thảo không còn là cái tên vô danh tiểu tốt nào nữa, mà là người đạt giải thưởng lý thuyết số Cole. Thành quả học thuật được báo cáo cũng không phải công việc vô danh tiểu tốt gì, mà là Giả thuyết Goldbach trong 23 vấn đề của Hilbert, một trong những vương miện của giới lý thuyết số giải tích chỉ đứng sau các bài toán thiên niên kỷ!

Mấy ngày tới, cậu sẽ sắp xếp lại luận văn một lần nữa, giải quyết vấn đề về định dạng, để nó trông thoải mái hơn một chút, sau đó gửi bản thảo cho Annals of Mathematics.

Bài luận văn chứng minh Định lý Last của Fermat do Wiles chứng minh lúc trước, do sáu vị thẩm định viên đồng thời thẩm định, Lục Chu không biết luận văn của mình sẽ do mấy vị đại lão thẩm định, nhưng nghĩ đến thì chắc cũng không ít hơn bốn người nhỉ?

Nhìn cửa sổ pop-up nhắc nhở tải lên hoàn tất bật ra trên trang web, Lục Chu thở phào một hơi dài.

Cứ như vậy, coi như là hoàn thành công khai rồi nhỉ?

Sau khi luận văn được công bố, những người hoặc đơn vị nghiên cứu quan tâm đến lĩnh vực này, đều sẽ nhận được một alert — tương tự như nhắc nhở. Nếu không có gì bất ngờ xảy ra, ở một góc nào đó trên Trái Đất, phỏng chừng đã có người đang đọc bài viết của cậu rồi.

Chỉ là không biết hệ thống có tồn tại giá trị phán định đối với lượng đọc luận văn hay không, nếu có tồn tại, vậy thì phải đợi mấy ngày mới có thể kiểm chứng phỏng đoán của cậu rồi.

Ngồi trước máy tính, đợi một nén nhang pha cà phê, Lục Chu nhắm hai mắt lại, hít sâu một hơi, khẽ thì thầm trong lòng.

“Hệ thống.”

Khi cậu mở mắt ra lần nữa, đập vào mắt đã là một một mảnh trắng xóa.

Cách lần cuối cùng trở lại nơi này, đã là một khoảng thời gian khá dài, đến mức lần này bước vào nơi này, Lục Chu thậm chí còn có cảm giác có chút không quen.

Đi đến cạnh màn hình ảo bán trong suốt, cậu mang theo tâm trạng thấp thỏm lo âu, đưa tay ấn vào vị trí thanh nhiệm vụ.

Rất nhanh cậu có thể kiểm chứng phỏng đoán của mình...

Đồng thời, cũng có thể biết được, tư duy của bản thân rốt cuộc có chính xác hay không.

Đợi đã...

Đúng lúc này, Lục Chu bỗng nhận ra một vấn đề.

Nếu hệ thống không đưa ra phản hồi cho mình, vậy rốt cuộc là biểu thị phân tích của mình về điều kiện phán định hoàn thành nhiệm vụ bị sai, hay là biểu thị bản thân luận văn tồn tại vấn đề?

Thế nhưng, hệ thống lại không cho cậu thời gian để suy nghĩ về vấn đề này.

Âm thanh nhắc nhở vang lên tựa như tiếng trời.

Ngay sau đó, một dòng chữ đập vào mắt cậu.

Chúc mừng ký chủ, hoàn thành nhiệm vụ!