Chương 231: Sự tập trung và đam mê dành cho bản thân học thuật

Hạ Hùng Hạc đứng sau Tiêu Tú, ánh mắt dán chặt vào mấy dòng chữ trên màn hình, môi khẽ mấp máy như đang lẩm nhẩm điều gì. Đôi mắt anh càng trừng càng lớn, hơi thở trở nên gấp gáp.

Anh đã nghiên cứu môn hình học Tần gần mười năm nay, những bài luận anh công bố trong giới chuyên môn cũng được coi là có trọng lượng. Nhưng chưa bao giờ anh nhìn thấy ai có thể, trong mười lăm phút, nhúng trực tiếp bài toán Erdős vào khung phân loại quỹ đạo của không gian metric có trọng số, rồi sử dụng phương pháp sàng phân tầng và phương pháp vòng yên ngựa đưa ra một hướng chứng minh hoàn chỉnh.

Điều khiến anh kinh ngạc hơn cả là hướng suy nghĩ đó không chỉ hoàn chỉnh, mà còn cực kỳ có khả năng đúng.

Hứa Minh cũng chẳng khá hơn là bao. Anh nhìn chằm chằm vào đoạn mô tả về biến đổi Fourier-Mikusinski trên màn hình, trong đầu cuồng cuồng lật lại tất cả những giáo trình phân tích điều hòa mình từng học, cố tìm ra lỗ hổng trong hướng suy nghĩ của Tiêu Tú.

Nhưng tìm mãi, anh chẳng tìm ra được cái nào.

Dư Ngụy môi mấp máy, phát ra một giọng khàn khàn: "Biến đổi này... biến đổi Fourier-Mikusinski, sao tôi chưa từng thấy nó trong bất cứ tài liệu nào vậy?"

Tiêu Tú không quay đầu, giọng điềm tĩnh: "Bởi vì chưa ai đặt tên cho nó cả. Nó là một sản phẩm phụ tôi vừa mới suy luận ra."

Phòng thí nghiệm lại chìm vào im lặng chết chóc.

"Sản phẩm phụ" ba chữ ấy, như ba chiếc búa, từng nhát một giáng xuống tim mỗi người.

Đến nỗi mọi người đều quên mất rằng Tiêu Tú vừa nói về một suy luận mới.

Hứa Minh hít sâu một hơi, hỏi bằng một giọng gần như thành kính: "Thế... chứng minh này, có thể chạy được không?"

Tiêu Tú nhìn anh, không trả lời trực tiếp, mà quay người, sao chép toàn bộ hướng chứng minh vừa viết vào khung nhập liệu của phần mềm Tiểu Trí.

"Thử xem."

Vừa dứt lời, anh bấm nút chạy.

Trên màn hình, phần mềm Tiểu Trí bắt đầu vận hành. Mô-đun giải ràng buộc tách lần lượt tầng ngữ nghĩa, tầng logic, tầng ký hiệu trong hướng chứng minh; mô-đun trích xuất đặc trưng chuyển hóa mọi tầng thông tin thành vector đặc trưng đa chiều; mô-đun ánh xạ hình học Tần nhúng những vector ấy vào không gian metric có trọng số; rồi mô-đun đồng điều Floer bắt đầu tính toán phân loại quỹ đạo của nhóm đối xứng cục bộ.

Thanh tiến trình từ từ tiến lên. Mười phần trăm, hai mươi phần trăm, ba mươi phần trăm.

Phòng thí nghiệm im lặng đến mức nghe rõ tiếng quạt máy tính vo ve.

Bên cạnh, Hạ Hùng Hạc căng thẳng đến nỗi lòng bàn tay ướt đẫm mồ hôi, vô thức siết chặt thành nắm đấm.

Trong lòng anh hỗn độn vô cùng, vừa mong phần mềm Tiểu Trí có thể làm được, vừa cảm thấy... kinh khiếp.

Nếu trí tuệ nhân tạo thực sự vượt qua trí tuệ con người, vậy con người sẽ trở thành cái gì?

Còn toán học mà anh kiên trì theo đuổi bấy lâu?

Anh đã mất mấy chục năm mới tới được chân núi toán học, thề dùng cả đời để leo lên ngọn núi ấy, bởi tin rằng phong cảnh trên đỉnh núi xứng đáng đổi bằng mọi thứ.

Nhưng giờ đây, một trí tuệ nhân tạo có thể chỉ mất vài tiếng đồng hồ để vượt qua mọi nỗ lực của anh, thậm chí tới được nơi anh chẳng bao giờ với tới.

Chỉ nghĩ đến vậy thôi, anh đã thấy tràn trề sự bất mãn.

Anh nuốt nước bọt, móng tay đâm vào lòng bàn tay, khớp xương trắng bệch.

Năm mươi phần trăm.

Bảy mươi phần trăm.

Chín mươi phần trăm.

Đột nhiên, thanh tiến trình kéo thẳng tới cuối, một cửa sổ hiện lên ngay giữa màn hình.

Nền trắng, chỉ có một dòng chữ.

“Xác minh hình thức hoàn tất, chứng minh có hiệu lực, Bài toán Erdős số 228, đã được giải quyết.”

Phía dưới dòng chữ ấy còn có một chú thích: “Phát hiện hệ quả bổ sung: chứng minh này đồng thời đưa ra một cách kiểm chứng độc lập cho Giả thuyết số nguyên tố sinh đôi. Hai con đường ấy về mặt logic sâu xa là tương đương.”

Trong khoảnh khắc, bàn tay của Hứa Hồng Hổ run lên.

Nhưng không phải vì phấn khích, mà vì sợ hãi.

Một nỗi sợ thấu xương tủy, bắt nguồn từ sự thức tỉnh triệt để về nhận thức.

Trước đây, để giải một bài toán nhỏ về hình học symplectic, ông đã mất ba tháng trời, cuối cùng mới đăng được một bài trên *Journal of Symplectic Geometry*.

Và giờ đây, chưa đầy hai mươi phút, Tiêu Tú đã dùng AI do mình sáng tạo để giải quyết một vấn đề ngang tầm Giả thuyết số nguyên tố sinh đôi, vốn là thách thức cấp thế giới!

Vậy chúng ta thì sao? Chúng ta còn cần thiết phải tiếp tục nghiên cứu toán học nữa không?

Trong tâm trí Hứa Hồng Hổ, những suy nghĩ như thế tràn ngập khắp nơi.

Và những người có cùng suy nghĩ ấy chắc chắn không chỉ mình ông. Hầu như ngay khi kết quả vừa xuất hiện, cả văn phòng bỗng chìm vào im lặng.

Không nghi ngờ gì nữa, đây là một phát hiện có thể đảo lộn thế giới.

Nhưng không ai reo hò vì vui mừng.

Nỗi sợ hãi đến trước niềm hân hoan.

Dù vậy, Tiêu Tú vẫn khá hài lòng. Theo tính toán ban đầu của anh, dù bị hạn chế bởi sức mạnh tính toán, mức độ giải ràng của Tiểu Trí không đạt tới trăm phần trăm, nhưng chín mươi tám phần trăm cũng đủ rồi.

Quả nhiên vậy.

“Lại một bài nữa cho tạp chí đỉnh cao…”

Tiếng thở dài của Giang Minh Viễn phá vỡ bầu không khí im lặng bao trùm cả phòng.

Mọi người quay đầu lại, lúc ấy mới nhận ra ba người vừa bước vào cửa—Trần Cảnh Minh, Giang Minh Viễn, Cố Thanh Sâm.

Ba người họ cũng có những biểu cảm phức tạp.

Trần Cảnh Minh nhìn Tiêu Tú, rồi nhìn đám đông vây quanh anh, ánh mắt cuối cùng dừng lại trên dòng kết luận trên màn hình.

Mí mắt anh không thể kiểm soát được rung lên. Những thông tin nhận được hôm nay quả thực vượt quá sức tưởng tượng.

Giải quyết Giả thuyết Goldbach trong một tháng.

Tiện tay giải quyết luôn Bài toán Erdős cấp thế giới.

Mỗi chuyện đều khiến người ta ngỡ ngàng.

Có phải ngày hai mươi tháng Năm là một ngày đặc biệt gì đó không? Nhưng rồi chẳng mấy chốc, Trần Cảnh Minh đã bình tĩnh trở lại. Hiện tại, quan trọng hơn vẫn là giải quyết vấn đề Giả thuyết Goldbach.

"Tiêu Tú, luận văn tốt nghiệp của cậu..."

Tiêu Tú ngẩng đầu lên, "Có chuyện gì vậy?"

"Cậu... thật sự định lấy Giả thuyết Goldbach làm luận văn tốt nghiệp sao?"

Câu nói vừa dứt, không khí trong phòng thí nghiệm bỗng chốc đông cứng lại.

"Giả thuyết Goldbach?"

Giọng nói của Lưu Hạo Nhiên sắc nhọn như tiếng kêu của một con mèo bị giẫm phải đuôi.

"Cái Giả thuyết Goldbach ấy à? Cái 1+1 ấy hả?"

Bên cạnh, Cố Thanh Trần gật đầu, "Đúng vậy."

"Đợi đã, đợi đã..."

Lưu Hạo Nhiên đôi tay ở không trung lung tung khoa tay múa chân, "Ông chủ, để tôi suy nghĩ một chút. Ý ông là Tiêu ca đã viết xong một bài luận văn tốt nghiệp, và nội dung của bài ấy... là chứng minh Giả thuyết Goldbach?"

Cố Thanh Trần lại gật đầu lần nữa.

Lưu Hạo Nhiên ngồi phịch xuống ghế, đôi mắt vô hồn.

"Tôi cảm thấy hôm nay mình cần phải nhìn nhận lại thế giới này."

Giọng nói của Trần Lâm cũng thoáng chút lâng lâng: "Vậy nên Tiêu ca suốt hơn một tháng nay bận rộn là để chứng minh Giả thuyết Goldbach?"

Hơn nữa, anh ấy còn có thời gian để tối ưu hóa Tiểu Trí, lại còn tiện tay giải quyết được một vấn đề khó khăn cấp thế giới. Rốt cuộc, đây là loại hiệu suất gì vậy!? Người khác có thể suốt đời cũng không chắc đã làm được bất cứ việc nào trong số đó, vậy mà anh ấy chỉ trong hơn một tháng đã hoàn thành tất cả?

Nhưng Tiêu Tú lại chẳng có biểu cảm gì phấn khích. Niềm vui khi giải quyết được Giả thuyết Goldbach, anh ấy đã nếm trải từ hôm qua rồi, đến mức khi nhắc đến bài luận văn ấy, người ta cảm thấy anh ấy bình tĩnh đến lạ thường.

"Có vấn đề gì với luận văn sao?"

Trần Cảnh Minh sững người một lát, rồi lắc đầu.

"Không, tôi mới xem qua lần đầu, phép suy luận vô cùng chặt chẽ, phương pháp cũng rất sáng tạo. Nếu hội đồng phản biện thông qua, đó sẽ là một cột mốc lịch sử trong ngành toán học."

Ông ấy dừng lại một chút, rồi bổ sung thêm:

"Tuy nhiên, quy cách của hội đồng phản biện có lẽ phải nâng cấp lên rồi."

Tiêu Tú không nói gì, chỉ gật đầu, rõ ràng chẳng mấy quan tâm.

Giang Minh Viễn cuối cùng cũng thoát khỏi cơn cuồng nhiệt, anh nhanh chóng tiến đến trước mặt Tiêu Tú, đôi tay bắt lấy Tiêu Tú tay, đôi mắt sáng ngời như vừa phát hiện ra mỏ vàng.

“Tiêu Tú à, bài luận văn này cậu định gửi tới tạp chí nào thế? Đây đúng là chuyện trọng đại, nhất định phải chọn một nền tảng tốt mới được! *Annals of Mathematics* thì sao? Hay là *Inventiones Mathematicae*? Nếu không được, chúng ta có thể gửi cùng lúc tới bốn tạp chí hàng đầu, xem ai phản biện nhanh thì gửi trước!”

Tiêu Tú liếc nhìn Giang Minh Viễn một cái, giật tay thoát khỏi bàn tay ông ta, lùi lại hai bước. “Được cả.”

“Được cả? Sao lại nói ‘được cả’? Đây là giả thuyết Goldbach đấy! Đăng ở đâu còn liên quan tới vị thế lịch sử của bài luận văn nữa!”

Tiêu Tú ngẩng mắt nhìn ông ta, nói nghiêm túc: “Giá trị của toán học không phụ thuộc vào việc đăng ở đâu, mà phụ thuộc vào bản thân nó có đúng hay không, có hữu dụng hay không.”

Giang Minh Viễn chợt cạn lời. Những lời ấy quá đúng, ông ta không thể phản bác được.

Trần Cảnh Minh đứng bên cạnh cười lớn.

“Minh Viễn, cậu vẫn chưa hiểu Tiêu Tú à? Cậu ấy chẳng quan tâm những thứ ấy, nhưng…”

Ông nhìn Tiêu Tú, giọng trở nên trang trọng.

“Tiêu Tú, tớ có một đề xuất. Khoa Toán của trường Đại học Kinh Đại vừa được phê duyệt thành lập tạp chí *Kỷ Nguyên Toán Học*, số đầu tiên đang trong giai đoạn chuẩn bị. Nếu cậu đồng ý, có thể đăng bài luận văn này như một bài quan trọng trong số đầu tiên. Như vậy, lấy chứng minh của giả thuyết Goldbach làm khởi đầu cho tạp chí mới, chúng ta sẽ không còn phải lo lắng về tương lai của nó nữa.”

*Kỷ Nguyên Toán Học* là một tạp chí mới, thứ nó cần nhất chính là một bài luận văn quan trọng có thể tạo nên tiếng vang. Nếu số đầu tiên có thể đăng chứng minh của giả thuyết Goldbach, vị thế học thuật của tạp chí sẽ ngay lập tức vươn tới đẳng cấp quốc tế hàng đầu, hệ số ảnh hưởng của số đầu tiên thậm chí có thể chễm chệ trong tốp đầu của các tạp chí toán học.

Tiêu Tú không quan tâm, gật đầu đồng ý ngay.

“Được.”

Trần Cảnh Minh và Giang Minh Viễn nhìn nhau, đều thấy niềm vui bất ngờ trong ánh mắt đối phương.

Giang Minh Viễn xúc động đến mức giọng nói run run.

“Tuyệt! Quá tuyệt! Tớ sẽ sắp xếp ngay! Việc sắp xếp trang, thiết kế bìa, quy trình phản biện, tất cả đều phải đạt tiêu chuẩn cao nhất! Bài luận văn này sẽ là báu vật trấn ấn của *Kỷ Nguyên Toán Học*!”

Trần Cảnh Minh gật đầu, rồi quay sang Tiêu Tú: “Ừ, nhưng vẫn nên đăng trước trên arxiv đã, cậu chưa tải lên chứ?”

Tiêu Tú gật đầu.

Bên cạnh, Lưu Hạo Nhiên nhanh mắt lấy chiếc laptop của Tiêu Tú đưa tới, dưới ánh mắt của mọi người, Tiêu Tú nhanh chóng hoàn tất việc tải lên.

“Xong rồi! Từ hôm nay, cả thế giới sẽ biết rằng, giả thuyết Goldbach đã bị phá giải bởi Tiêu Tú, người Hoa Hạ của chúng ta!”

Trần Cảnh Minh cũng nở nụ cười, nhưng ngay lập tức thu lại.

“Tiếp theo mới là quan trọng nhất, phản biện từ đồng nghiệp, bảo vệ công khai, sự kiểm định của giới học thuật, mỗi bước đều không thể sai sót. Chứng minh của Tiêu Tú có đúng hay không, cuối cùng cần sự kiểm định chung của toàn giới toán học.”

Anh nhìn về phía Cố Thanh Đạm.

“Thanh Đạm, con là người hướng dẫn của Tiêu Túc. Trong khoảng thời gian tới, con phải giúp anh ấy ngăn chặn mọi sự quấy rầy không cần thiết. Phỏng vấn truyền thông, hội nghị học thuật, mọi lời mời gọi đều từ chối hết, để anh ấy chuyên tâm chuẩn bị bảo vệ luận án.”

Cố Thanh Đạm gật đầu, vẻ mặt nghiêm túc.

“Con hiểu.”

Anh nhìn về phía Tiêu Túc, ánh mắt tràn đầy niềm tự hào xen lẫn sự quan tâm.

Đứa trẻ này, mới mười sáu tuổi, đã đứng trên đỉnh cao của thế giới toán học.

Nhưng càng đứng cao, gió càng lớn.

Con đường phía trước, chẳng hề bằng phẳng.

Sau này, sẽ còn nhiều điều phải lo lắng.

Dù vậy, Tiêu Túc lại hoàn toàn không bận tâm đến những điều đó. Anh ấy đã mở lại phần hậu trường của Tiểu Trí.

Anh ấy nhìn chằm chằm vào con số giải ràng ấy một lúc, rồi suy nghĩ đã bay xa tới chốn khác.

Hiệu suất của Tiểu Trí dù đã đạt tới 98%, nhưng tốc độ vẫn còn quá xa nhu cầu của anh ấy.

Nếu muốn triển khai Tiểu Trí lên cụm quy mô lớn, hiệu quả tính toán hiện tại không thể đáp ứng phản hồi thời gian thực.

Sự không hoàn hảo ấy, Tiêu Túc vốn không hề thích.

Và mọi vấn đề đều bắt nguồn từ sức mạnh tính toán.

Sau khi giải ràng tăng lên, chiều kích không gian đặc trưng bị nén lại, khối lượng tính toán thực ra đã giảm xuống.

Nhưng thuật toán điều phối sức mạnh tính toán hiện có không được tối ưu hóa cho không gian đặc trưng chiều thấp này, nên tốc độ vận hành thực tế không tăng lên được bao nhiêu.

Nếu có thể thiết kế lại chiến lược điều phối sức mạnh tính toán, về lý thuyết tốc độ vẫn có thể tăng thêm ba đến năm lần nữa.

Sức mạnh tính toán…

Tiêu Túc chống tay lên cằm, chìm đắm trong dòng suy nghĩ của mình, thậm chí không phản ứng khi bên cạnh Lưu Hạo Nhiên cùng mọi người gọi anh ấy.

Mấy người thấy vậy đều biết Tiêu Túc bắt đầu suy nghĩ rồi, nên tự động hạ thấp giọng, mỗi người làm mỗi việc.

Giang Minh Viễn đứng bên cạnh, nhìn bóng lưng Tiêu Túc quay trở lại với công việc, đột nhiên thấy cổ họng mình hơi nghẹn.

Anh ấy nhớ lại hồi mới vào Đại học Kình Đại, mình cũng từng có sự thuần khiết như vậy.

Sự thuần khiết không bị danh lợi vướng bận, chỉ quan tâm đến vấn đề bản thân.

Chỉ là sau này, khi ngồi vào vị trí hành chính lâu rồi, sự thuần khiết ấy dần dần bị mài mòn đi.

Còn Tiêu Túc, dù đã trải qua bao lâu, vẫn giữ nguyên vẹn được sự thuần khiết ấy.

Có lẽ đó mới chính là điều quý giá nhất nơi anh ấy.

Không phải tài năng, mà là sự tập trung và niềm đam mê đối với học thuật bản thân.