"Này, cậu nói xem tại sao thầy Kiều lại đột nhiên bảo chúng ta dừng việc tìm lỗi sai lại thế nhỉ? Dạo gần đây tôi đang làm rất hăng say mà!" Ngay lúc Lữ Khâu Ấp đang tính toán chuyện dọn về lại căn hộ mà Đại học Kinh Sư đã sắp xếp cho mình, thì phía bên Viện sĩ Kiều cũng bắt đầu công việc kiểm chứng bản thảo diễn thuyết của cậu.

"Đó chẳng qua là vì Bộ trưởng Trương đã tìm đến tận nơi, tiện thể giúp Đại học Kinh Sư chúng ta trút giận, lấy vị Giáo sư Phùng nào đó ra làm gương để uy hiếp, tránh cho sau này có kẻ gây khó dễ tại buổi báo cáo!" Có người nhìn thấu đáo vấn đề, "Giờ mục đích cơ bản đã đạt được rồi, chúng ta cũng tích lũy được không ít bài viết, đến lúc đó gửi đi tự nhiên sẽ có kết quả, nên cũng không cần phải tiếp tục làm nữa!"

"Nhưng mà phương hướng hiện tại không giống với hướng nghiên cứu trước đây của Viện sĩ Kiều lắm nhỉ? Nhìn qua thì e rằng còn phải dùng đến siêu máy tính để tính toán kiểm chứng, thời gian gấp rút thế này, không dễ làm chút nào!" Vương Hạo Vũ, người vừa lên tiếng lúc nãy, vẫn đang suy ngẫm về nguyên nhân.

Lịch sử sử dụng máy tính trong nghiên cứu toán học đã có từ lâu, định lý bốn màu nổi tiếng chính là nhờ có máy tính mới được giải quyết triệt để.

Cách giải thích thông tục của định lý này là: Mọi bản đồ phẳng đều có thể chỉ dùng bốn màu để tô, mà không có hai vùng kề nhau nào có cùng màu.

Nghe có vẻ rất đơn giản đúng không? Khi giả thuyết này mới được đưa ra, mọi người cũng đều nghĩ như vậy. Những nhà toán học kiêu ngạo không thèm tốn sức vào một vấn đề đơn giản đến thế, cho đến khi nhân vật quan trọng của trường phái Göttingen, thầy giáo của Albert Einstein, người có đóng góp nổi bật cho thuyết tương đối tổng quát là Hermann Minkowski chú ý đến vấn đề này.

Trong một tiết học về tô pô, Hermann Minkowski đã tự phụ tuyên bố với các sinh viên: "Lý do lớn nhất khiến định lý này chưa được chứng minh là do đến nay chỉ có những nhà toán học hạng ba mới tốn thời gian vào nó. Sau đây tôi sẽ chứng minh nó."

Sau đó..., khi tiết học kết thúc, ông vẫn chưa chứng minh xong; đến tiết học sau, Hermann Minkowski tiếp tục chứng minh, vẫn không giải quyết được.

Cứ thế vài tuần trôi qua... vào một buổi sáng u ám, Hermann Minkowski bước vào lớp, đúng lúc đó một tia chớp rạch ngang bầu trời, tiếng sấm vang dội; ông rất nghiêm túc nói: "Ông trời đã nổi giận vì sự kiêu ngạo của tôi, chứng minh của tôi là không hoàn chỉnh..."

Năm 1942, Solomon Lefschetz đến Đại học Harvard thực hiện một bài báo cáo, George David Birkhoff là bạn tốt của ông. Sau khi bài giảng kết thúc, ông hỏi Solomon Lefschetz xem gần đây ở Đại học Princeton có gì thú vị không. Solomon Lefschetz nói có một người vừa chứng minh được giả thuyết bốn màu. George David Birkhoff cực kỳ không tin, nói rằng nếu chuyện này là thật, ông sẽ bò bằng tay và đầu gối đến tận tòa nhà khoa toán của Princeton.

Trong vài thập kỷ, quan điểm của giới toán học về định lý bốn màu đã thay đổi lớn đến thế; cho đến năm 1976, hai nhà toán học người Mỹ là Kenneth Appel và Wolfgang Haken đã sử dụng hai máy tính điện tử khác nhau tại Đại học Illinois, Mỹ, tốn 1200 giờ, thực hiện 10 tỷ phép tính, cuối cùng đã chứng minh được định lý bốn màu, gây chấn động thế giới.

Có được ví dụ thành công này, các nhà toán học sau này dần bắt đầu sử dụng máy tính để giải mã các vấn đề khác nhau; đề bài mà Viện sĩ Kiều đưa cho họ hôm nay cũng vừa hay phải dùng đến máy tính.

"Cậu thấy vấn đề này thế nào? Chúng ta có thể chứng minh được không?" Vương Giai Vũ thấy đối phương im lặng hồi lâu, không nhịn được lại hỏi một câu.

"Có thể chứng minh được hay không tôi không biết, nhưng tôi dám khẳng định vấn đề này là đúng!" Sư huynh Đổng Kiến Nghiệp trả lời chắc nịch, tỏ ra vô cùng tự tin.

"Cậu còn không rõ có chứng minh được không, sao lại dám khẳng định nó đúng chứ?" Vương Giai Vũ không hiểu nổi!

"Vì nó đẹp mà!" Đổng Kiến Nghiệp lộ ra vẻ si mê, chỉ vào công thức trên đề bài nói, "Cậu xem công thức này đi, nó tự nhiên, trôi chảy đến thế, từng khâu từng mắt xích đều toát lên sức hút độc bản của toán học, một công thức đẹp đẽ như vậy sao có thể sai được chứ?!"

"Nếu là công thức sai, thì chắc chắn sẽ khiến người ta cảm thấy khó chịu, giống như... giống như xem phim mà kịch bản xuất hiện bug vậy, khiến cả người không thoải mái!" Đổng Kiến Nghiệp vẫn đắm chìm trong mỹ cảm của công thức này, "Mà khi tôi nhìn thấy công thức này lần đầu tiên, lại không hề phát hiện ra bất cứ điểm nào khiến mình cảm thấy gợn lòng, nên chắc chắn nó đúng! Dù chúng ta không thể chứng minh, đó cũng là vì trình độ chúng ta chưa tới, chứ không phải do vấn đề của công thức!"

Lý do này thật sự quá mạnh mẽ! Vương Giai Vũ nhất thời không còn lời nào để nói. Các nhà khoa học "nhìn mặt bắt hình dong" nhiều vô kể, không biết có bao nhiêu thành quả học thuật bị người ta chê bai vì thiếu mỹ cảm; có những cái sau khi được "phẫu thuật thẩm mỹ", được người đời sau sửa chữa bổ sung mới được chấp nhận, còn có những cái bị người ta phát hiện ra lỗ hổng rồi cuối cùng chứng minh thành quả đó là sai.

Đổng Kiến Nghiệp có thiên phú này trong toán học, anh có thể dùng trực giác của mình để phát hiện ra mỹ cảm độc nhất trong các công thức toán học. Phàm là công thức anh thấy đẹp thì thường sẽ được chứng minh là đúng, còn những công thức bị anh chê xấu thì phần lớn đều tồn tại lỗi logic không thể cứu vãn.

Thiên phú này khiến Vương Giai Vũ vô cùng ghen tị, có trực giác như vậy dẫn đường, sẽ tiết kiệm được bao nhiêu thời gian vốn dĩ bị lãng phí chứ! Bản thân anh đã lén lút xem đi xem lại vô số công thức, định lý kinh điển trong lịch sử toán học, nhưng lại chẳng thu hoạch được gì.

"Thôi, vậy tôi đi điền đơn xin đăng ký đây, cũng không biết phải xếp hàng đến bao giờ nữa!" Siêu máy tính dù ở đâu cũng là tài nguyên khan hiếm, đương nhiên không thể muốn dùng là dùng được, bắt buộc phải điền đơn đăng ký; sau đó các bộ phận quản lý máy tính liên quan sẽ dựa vào thời gian nộp đơn, bối cảnh của người đăng ký và tính cấp bách của vấn đề để cân nhắc phân bổ thời gian.

"Đã chuẩn bị xong việc đo đạc trên máy chưa?" Đang nói chuyện, Viện sĩ Kiều vội vã đẩy cửa bước vào. Thời gian đến buổi báo cáo ngày càng gần, mấy người bạn cũ đều bàn nhau đến sớm để tụ họp với ông, nếu người diễn thuyết vẫn chưa quyết định thì e là không kịp nữa.

"Đã chuẩn bị xong rồi ạ, tôi đang điền đơn đăng ký!" Vương Giai Vũ vội vàng nói.

"Ừm!" Viện sĩ Kiều gật đầu, ánh mắt hướng về phía Đổng Kiến Nghiệp, "Cậu thấy vấn đề này thế nào?" Ông hiểu rất rõ thiên phú của học trò cưng này, trước đây chỉ coi là chuyện thú vị, nhưng giờ là lúc nước sôi lửa bỏng, ông hy vọng cậu có thể mang đến tin vui.

"Nếu định lý Pythagoras là một mỹ nhân như Helen, thì công thức này ít nhất cũng phải ở tầm cỡ Audrey Hepburn!" Đổng Kiến Nghiệp dùng chất giọng như đang ngâm thơ để tán dương.

Định lý Pythagoras hay còn gọi là định lý Pytago, ý nghĩa vĩ đại của công thức a²+b²=c² dù xếp thế nào cũng nằm trong top 10 lịch sử toán học. Nghe Đổng Kiến Nghiệp dùng Helen và Audrey Hepburn để so sánh với hai công thức này, Viện sĩ Kiều cũng vô cùng kinh ngạc! Học trò cưng của mình lại coi trọng công thức này đến vậy sao?

Vì tâm lý cấp bách muốn giải quyết vấn đề và sự tin tưởng vào thiên phú của học trò, Viện sĩ Kiều gõ ngón tay lên đơn đăng ký vài cái, cuối cùng hạ quyết tâm: "Tôi sẽ đích thân mang cái này đi, xem họ có thể sắp xếp cho chúng ta sớm hơn một chút không!"

Quả thực có rất nhiều lý thuyết khoa học vì thiếu mỹ cảm mà không được mọi người chấp nhận! Lời cảm ơn khi lên kệ đã nói sai rồi, hôm nay bù cho mọi người bốn chương vậy, cầu đăng ký, cầu phiếu tháng. Tiện thể giới thiệu hai cuốn sách, một cuốn là "Đại gian tặc" của bạn trong nhóm tác giả, kể về câu chuyện mang theo các võ tướng mưu thần thời hậu thế tranh bá thiên hạ cuối thời Tùy; cuốn còn lại là "Đỉnh phong người chơi" của bạn trong nhóm độc giả của tôi, một văn phong về game online do một cao thủ game lâu năm viết, trong văn có nhắc đến không ít kỹ thuật chơi game, ai thích chơi game có thể thử xem.

Cảm ơn sự ủng hộ của các đại gia teng1861 với 5888 và 1888, cập nhật thêm một chương cho Đà chủ đầu tiên của cuốn sách này. Cảm ơn sự ủng hộ 1888 của Nị ♂ Hồng Trần, cảm ơn sự ủng hộ 1888 của [tên người dùng], cảm ơn sự ủng hộ 588 của Phi Phú Phi Quý và Khinh Ngưu, cảm ơn sự ủng hộ của các độc giả: [danh sách các độc giả].