lore Đọc truyện online

Chương 239: Chứng minh anh trai đoán đúng

7,357 Nhấn vào nội dung để bình luận hoặc báo lỗi.

Bên ngoài cửa sổ, bình minh đang bắt đầu ló rạng.

Lục Chu, ngồi phía trên bàn học, từ từ mở mắt ra.

Anh xoa nhẹ vùng trán hơi đau nhức, rồi nhìn chiếc lịch được đặt ở góc bàn.

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

Lục Chu lắc đầu, cảm thấy đầu hơi đau.

Kể từ khi anh đến Princeton vào tháng Hai, gần một nửa thời gian đã trôi qua trong căn phòng chỉ có diện tích mười mét vuông này. Ngoại trừ việc lái xe đến siêu thị mua thực phẩm, anh hầu như chưa bao giờ ra khỏi nhà.

Điều khiến anh tiếc nuối nhất chính là tấm thẻ câu lạc bộ trị giá 5000 đô la Mỹ – anh gần như chưa sử dụng nó lần nào cả.

Kể từ khi nhận nhiệm vụ đó, suốt gần nửa năm trời, anh liên tục nghiên cứu và thách thức Định lý Goldbach.

Và bây giờ, mọi thứ cuối cùng cũng đã có kết quả.

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

Người đã đi đến bước cuối cùng này, không còn cảm thấy vội vàng nữa.

Anh hát một bài hát nhỏ, bước vào bếp, chuẩn bị bữa ăn cho mình. Thậm chí, anh còn lấy ra một chai champagne từ tủ lạnh, mở nút và rót cho mình.

Champagne này được anh mua hai tháng trước, chính để đợi đến khoảnh khắc này.

Yên tĩnh thưởng thức bữa tối, Lục Chu đi vào bếp rửa tay, sau đó quay lại bàn học và bắt đầu hoàn thành công việc của mình trong thời gian vừa qua.

Qua hàng chục trang giấy đầy công thức toán học, anh tiếp tục viết ở đoạn mà ngày hôm trước anh chưa kịp hoàn thành.

...Rõ ràng, chúng ta có px1, 1px, x11612pxx, p, xq2xlog4… 30…

…Từ công thức 30, định lý 8, định lý 9 và định lý 10, có thể chứng minh Định lý 1 là đúng.

Định lý 1 mà anh đề xuất trong luận án chính là cách biểu diễn toán học cho Định lý Goldbach mà anh đã định nghĩa.

Nói cách khác, với một số chẵn lớn, luôn tồn tại các số nguyên tố p1 và p2 sao cho np1 × p2 = số đó.

Tương tự như Định lý Chen: np1 × p2 × p3, cùng với nhiều định lý khác liên quan đến pa, b.

Tất nhiên, mặc dù hiện tại trong luận án của anh, 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 quá trình chứng minh của anh, định lý này có thể sẽ được đổi tên thành “Định lý Lục Chu” hay thứ gì đó tương tự.

Tuy nhiên, quá trình xem xét và phê duyệt các định lý toán học quan trọng thường mất khá nhiều thời gian.

Luận án của Perelman chứng minh Định lý Poincaré đã mất ba năm mới được giới toán học công nhận; còn chứng minh của Yukihiro Miyazaki về Định lý abc thì do chứa quá nhiều thuật ngữ “huyền bí”, người đọc cần phải hiểu rõ “Thuyết V

Tốc độ xem xét một giả thuyết quan trọng phần lớn phụ thuộc vào mức độ “hot” của giả thuyết đó, cũng như mức độ “mới mẻ” của công trình nghiên cứu đó.

Khi chứng minh định lý về các số nguyên sinh song sinh, Lục Chu không sử dụng bất kỳ lý thuyết mới lạ nào; ông chỉ áp dụng một cách sáng tạo các phương pháp topo học được đề cập trong bài báo của Giáo sư Zerberge vào năm 1995. Những ai đã từng nghiên cứu bài báo đó đều có thể hiểu rõ những gì Lục Chu đã làm.

Trong khi đó, quá trình xem xét bài báo chứng minh định lý Polynack-Luc lại kéo dài đáng kể. Mặc dù phương pháp cấu trúc nhóm mà Lục Chu sử dụng đã được áp dụng trong việc chứng minh định lý về các số nguyên sinh song sinh, nhưng những điểm sửa đổi đáng kể trong phương pháp này khiến nó hoàn toàn ra khỏi phạm vi của các phương pháp lọc số. Ngay cả những người xem xét như Deligne cũng mất khá nhiều thời gian để đưa ra kết luận cuối cùng.

Còn bài báo về việc chứng minh giả thuyết Goldbach, Lục Chu đã viết tổng cộng 50 trang, trong đó ít nhất một nửa nội dung được dành để trình bày cái khung lý thuyết mà ông xây dựng cho toàn bộ bài chứng minh đó. Phần công việc này thậm chí có thể được xuất bản thành một bài báo riêng biệt.

Phần lớn, thời gian xem xét bài báo của Lục Chu phụ thuộc vào mức độ quan tâm và sự chấp nhận của người khác đối với cái khung lý thuyết mà ông đề xuất. Về việc cụ thể cần bao lâu để hoàn thành quá trình xem xét, thì điều đó không nằm trong tầm kiểm soát của ông.

Thực ra, trước đây Lục Chu đã từng suy nghĩ về tiêu chuẩn mà hệ thống sử dụng để đánh giá việc hoàn thành nhiệm vụ. Nếu ông đã chứng minh được một định lý, nhưng sau hàng chục năm mà vẫn không ai công nhận công sức của mình, liệu điều đó có nghĩa là nhiệm vụ của ông sẽ bị trì hoãn mãi không? Điều khiến ông càng không hiểu là, vì cơ sở dữ liệu của hệ thống chứa đựng rất nhiều thông tin, thì chắc chắn nó đến từ một nền văn minh cao cấp – ít nhất là nền văn minh này phải phát triển hơn nền văn minh trên Trái Đất.

Không cần phải bàn về động cơ tồn tại của nó, Lục Chu cho rằng một hệ thống đến từ một nền văn minh cao cấp chắc chắn sẽ không dựa vào ý kiến của những người “bản địa” để xác định liệu một vấn đề có được giải quyết hay không. Dựa trên phân tích này, Lục Chu kết luận rằng việc hoàn thành nhiệm vụ của hệ thống phải được đánh giá dựa trên hai yếu tố: đúng đắn và sự công khai.

Thực ra, có một cách rất đơn giản để kiểm tra xem liệu bài chứng minh của ông có đúng hay không. Nếu chỉ nhằm mục đích công bố, thì không nhất thiết phải đăng trên các tạp chí khoa

Về việc công bố…

Arxiv, nơi không có quá trình đánh giá từ các đồng nghiệp, chắc chắn là lựa chọn nhanh nhất!

Điểm trừ duy nhất có thể là nó xung đột với một số nguyên tắc gửi bài của các tạp chí hoặc hội nghị; ví dụ, việc tải lên bài báo trước hạn nộp có thể vi phạm quy tắc “đôi mù”, v.v. Tuy nhiên, Lục Chu hiện tại cũng không quá quan tâm đến những điều đó nữa, và anh tin rằng những tạp chí chấp nhận bài báo của mình cũng sẽ không để ý đến những chi tiết nhỏ nhặt đó.

Dù sao thì người gửi bài bây giờ không còn là một người vô danh nào đó nữa, mà là người đoạt giải Thưởng Toán họcKhoa Nhĩ. Những thành tựu khoa học được công bố cũng không phải là những công trình vô danh, mà chính là Giả thuyết Goldbach – một trong những vấn đề then chốt trong Bài toán Hilbert thứ 23, chỉ đứng sau Các bài toán thiên niên kỷ trong lĩnh vực Số học Analytic!

Trong vài ngày nữa, anh sẽ sắp xếp lại bài báo một lần nữa, giải quyết những vấn đề về định dạng để nó trông đẹp mắt hơn, sau đó sẽ gửi nó đến Tạp chí Toán học hàng năm.

Bài báo mà Wiles đã sử dụng để chứng minh Định lý Fermat lớn đã được sáu người xem xét đồng thời; Lục Chu không biết bài báo của mình sẽ được bao nhiêu người lớn có uy tín xem xét, nhưng có lẽ cũng không ít hơn bốn người chứ?

Nhìn thấy thông báo “Tải lên đã hoàn tất” xuất hiện trên trang web, Lục Chu thở phào nhẹ nhõm.

Như vậy, có lẽ việc công bố đã hoàn tất rồi phải không?

Sau khi bài báo được công bố, những người quan tâm đến lĩnh vực này hoặc các đơn vị nghiên cứu sẽ nhận được 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, chắc hẳn đã có người đang đọc bài báo của anh rồi.

Chỉ là không biết hệ thống có một giá trị đánh giá cụ thể cho lượng người đọc bài báo hay không; nếu có, thì anh sẽ phải chờ vài ngày nữa mới có thể kiểm chứng giả thuyết của mình.

Ngồi trước máy tính, sau khi uống xong một tách cà phê, Lục Chu nhắm mắt lại, hít một hơi thật sâu, rồi thầm nói:

“Hệ thống.”

Khi anh mở mắt ra lần nữa, mọi thứ xung quanh đều trở nên trắng tinh.

Kể từ lần cuối cùng anh trở lại nơi này, đã qua khá nhiều thời gian, đến nỗi lần này bước vào đây, Lục Chu thậm chí còn cảm thấy hơi không quen thuộc.

Đi đến bên cạnh màn hình hologramBàn trong suốt, anh với tâm trạng hồi hộp, đặt tay lên vị trí thanh tác vụ.

Rất nhanh sau đó, anh sẽ có thể kiểm chứng giả thuyết của mình…

Đồng thời, cũng sẽ biết liệu suy luận của mình có đúng đắn hay không.

Chờ đã…

Đúng lúc này, Lục

1/1 0%