Menu
Đăng ký
Truyện
← Trước Sau →
Truyen.Free

(Đã dịch) Học Bá Đích Hắc Khoa Kỹ Hệ Thống - Chương 235: Chứng minh Giả thuyết Goldbach!

Ngoài cửa sổ, trời đã lờ mờ sáng.

Lục Chu đang nằm nhoài trên bàn sách, chậm rãi mở đôi mắt.

Xoa xoa vầng trán hơi nhức mỏi, hắn nhìn về phía cuốn lịch đặt ở góc bàn.

Đã là tháng Năm rồi...

Lục Chu hơi đau đầu, lắc nhẹ đầu một cái.

Kể từ tháng Hai khi hắn đặt chân đến Princeton cho đến nay, phần lớn thời gian hắn đều ở trong căn phòng mười mét vuông này, ngoại trừ lái xe đi siêu thị mua thức ăn, cơ bản hắn chưa từng bước chân ra khỏi cửa.

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

Kể từ khi nhận nhiệm vụ kia, trong suốt gần nửa năm qua, hắn vẫn luôn miệt mài chinh phục Giả thuyết Goldbach.

Giờ đây, rốt cuộc mọi thứ cũng đã có kết quả.

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

Khi đã đi đến bước cuối cùng, ngược lại hắn không còn sốt ruột như trước nữa.

Vừa khẽ hát vừa đi vào nhà bếp, hắn lấy một ít đồ ăn cho mình, thậm chí còn lấy từ trong tủ lạnh ra một chai Champagne, mở nắp và rót vào ly.

Chai Champagne này đã được mua từ hai tháng trước, chính là để dành cho khoảnh khắc này.

Sau khi thong thả thưởng thức bữa tối, Lục Chu ung dung đi vào nhà bếp rửa tay, rồi trở lại bàn sách, bắt đầu hoàn thành phần cuối cho công trình nghiên cứu của mình trong suốt quãng thời gian qua.

Lướt qua gần năm mươi trang luận văn giấy, hắn dừng lại ở chỗ hôm qua chưa viết xong rồi chìm vào giấc ngủ, sau đó lại cầm bút tiếp tục viết.

(... Cho thấy, chúng ta có Px(1, 1)≥P(x, x^{1/16})-(1/2)∑Px(x, p, x)-Q/2-x^(log4)... (30) )

(... Do công thức (30), dẫn lý 8, dẫn lý 9, dẫn lý 10, có thể chứng minh định lý 1 thành lập. )

Cái gọi là Định lý 1, chính là sự minh họa toán học cho Giả thuyết Goldbach mà hắn định nghĩa trong luận văn.

Tức là, với một số chẵn N đủ lớn cho trước, tồn tại các số nguyên tố P1 và P2 thỏa mãn N=P1+P2.

Cũng như định lý Trần thị N=P1+P2·P3 tương tự, và một loạt các định lý liên quan đến P(a, b).

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

Tuy nhiên, chu kỳ thẩm định cho những giả thuyết toán học trọng đại như thế này thường khá dài.

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

Tốc độ thẩm định một giả thuyết trọng đại, phần lớn phụ thuộc vào mức độ "nóng hổi" của đề tài, cùng với mức độ "mới mẻ" thực sự của công trình nghiên cứu này.

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

Còn luận văn chứng minh Định lý Polignac - Lục, chu kỳ thẩm định rõ ràng đã kéo dài hơn một đoạn đáng kể.

Mặc dù Quần cấu pháp của hắn đã được thể hiện trong chứng minh Định lý số nguyên tố sinh đôi, nhưng những yếu tố cải tiến ma thuật trong đó cũng khiến nó vượt xa khỏi phạm trù phương pháp sàng. Ngay cả khi người thẩm định là một học giả vĩ đại như Deligne, cũng phải mất không ít thời gian mới đưa ra được kết luận cuối cùng.

Còn bản luận văn chứng minh Giả thuyết Goldbach này, Lục Chu tổng cộng viết năm mươi trang, trong đó ít nhất một nửa độ dài dùng để trình bày và phân tích dàn giáo lý thuyết mà hắn đã xây dựng cho toàn bộ chứng minh.

Phần công việc này, thậm chí có thể độc lập trở thành một luận văn riêng để công bố.

Chu kỳ thẩm định của hắn sẽ phụ thuộc rất nhiều vào sự quan tâm của người khác đối với dàn giáo lý thuyết mà hắn đề xuất, cũng như mức độ chấp nhận dàn giáo lý thuyết đó.

Còn cụ thể sẽ mất bao lâu, thì không phải điều hắn có thể kiểm soát được nữa.

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

Nếu như hắn đã hoàn thành chứng minh một định lý, nhưng mười năm, thậm chí vài chục năm sau đó cũng không có ai công nhận công trình của hắn, liệu điều đó có nghĩa là nhiệm vụ của hắn sẽ bị "treo" lâu đến vậy không?

Hơn nữa, điều khiến hắn không hiểu nhất là, nếu hệ thống chứa đựng kho dữ liệu khổng lồ, vậy thì nó chắc chắn phải đến từ một nền văn minh cao cấp — ít nhất là một nền văn minh phát triển hơn so với trên Trái Đất.

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 giải quyết hay chưa, hệ thống đến từ nền văn minh cao cấp hẳn là cũng sẽ không tham khảo ý kiến của "thổ dân".

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

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

Hai là sự công khai!

Kỳ thực, có một cách rất đơn giản để kiểm chứng xem chứng minh của hắn có chính xác hay không.

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

Sau khi hoàn thành luận văn chứng minh Giả thuyết Goldbach, Lục Chu đã dành trọn ba ngày để chuyển những gì trên giấy vào máy tính, định dạng thành tài liệu PDF, sau đó đăng nhập trang web chính thức của Arxiv và tải luận văn lên.

Về tính chính xác, hắn nắm giữ hơn chín mươi phần trăm, bởi vì thói quen của hắn là tiến hành kiểm tra lại nghiêm ngặt từng kết luận một, và xem xét kỹ lưỡng những chỗ có thể phát sinh sai sót.

Còn về sự công khai.

Arxiv, nơi không có giai đoạn bình duyệt bởi đồng nghiệp, không nghi ngờ gì chính là lựa chọn nhanh nhất!

Tác hại duy nhất có thể là nó sẽ mâu thuẫn với nguyên tắc gửi bài của một số tạp chí và hội nghị, ví dụ như việc tải luận văn trước giai đoạn bình duyệt có thể vi phạm quy tắc bình duyệt hai chiều, vân vân. Tuy nhiên, hiện tại Lục Chu cũng không mấy bận tâm đến những điều đó, hơn nữa hắn tin rằng những tạp chí chấp nhận bài viết cũng sẽ không để ý đến những chuyện nhỏ nhặt ấy.

Dù sao, người gửi bài không còn là một kẻ vô danh tiểu tốt, mà là người đã giành được giải Cole trong lĩnh vực lý thuyết số. Thành quả học thuật được báo cáo cũng không phải là một công trình vô danh tiểu tốt, mà là Giả thuyết Goldbach, câu hỏi thứ tám trong 23 vấn đề của Hilbert, một trong những đỉnh cao của giới lý thuyết giải tích số, chỉ đứng sau các bài toán Thiên niên kỷ!

Hai ngày nữa, hắn sẽ chỉnh sửa lại luận văn một lần nữa, giải quyết các vấn đề về định dạng để nó trông thuận mắt hơn, sau đó sẽ gửi đăng trên (Annals of Mathematics).

Trước đây, luận văn chứng minh Định lý lớn Fermat của Wiles đã được sáu nhà bình duyệt cùng lúc thẩm định. Lục Chu không biết luận văn của mình sẽ được bao nhiêu vị học giả lớn bình duyệt, nhưng hẳn là cũng sẽ không ít hơn bốn người chứ?

Nhìn cửa sổ bật lên thông báo đã tải lên hoàn tất trên trang web, Lục Chu khẽ thở dài một tiếng.

Cứ như vậy, xem như đã hoàn thành việc công khai rồi chứ?

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 cảnh báo (tương tự với một thông báo nhắc nhở). Nếu không có gì bất ngờ, ở một góc nào đó tr��n Trái Đất, hẳn là đã có người đang đọc bài viết của hắn rồi.

Chỉ là không biết hệ thống có tồn tại một giá trị phán định đối với lượng truy cập (views) của luận văn hay không. Nếu có, thì phải chờ thêm vài ngày nữa mới có thể kiểm chứng suy đoán của hắn.

Ngồi trước máy tính, trong lúc chờ đợi tách cà phê, Lục Chu nhắm hai mắt lại, hít một hơi thật sâu, nhẹ giọng đọc thầm.

"Hệ thống."

Khi hắn một lần nữa mở mắt ra, đập vào mắt đã là một không gian thuần trắng.

Đã khá lâu kể từ lần trước hắn trở lại nơi này, đến mức lần này bước vào, Lục Chu thậm chí còn cảm thấy hơi không thích ứng.

Hắn đi đến bên cạnh màn hình hiển thị toàn ảnh bán trong suốt, mang theo một chút thấp thỏm, đưa tay đặt vào vị trí cột nhiệm vụ.

Rất nhanh, hắn sẽ có thể kiểm chứng được suy đoán của mình...

Đồng thời, cũng sẽ biết liệu dòng suy nghĩ của mình rốt cuộc có chính xác hay không.

Khoan đã...

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

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

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

Một tiếng nhắc nhở vang lên, tựa như tiếng trời.

Tiếp đó, một dòng chữ hiện ra trước mắt hắn.

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

Mỗi con chữ nơi đây, đều là tâm huyết độc quyền được truyen.free cẩn trọng gửi trao.

Trước Sau
Nghe truyện
Nữ
Nam

Cài đặt đọc truyện

Màu nền:
Cỡ chữ:
Giãn dòng:
Font chữ:
Ẩn header khi đọc
Vuốt chuyển chương

Danh sách chương

Truyen.Free