Chương 160: Toán học giới sôi trào, AI sáng tạo ra mới toán học công cụ
Uông Lỵ trong miệng "Một món lớn" Giang Dương đã sớm nghĩ kỹ.
Giả thuyết Riemann.
Hơn 160 năm, không có người có thể gặm động khối này xương cốt cứng rắn.
Riemann hàm ζ không thông thường 0 điểm, có phải hay không toàn ở giới hạn trên đường, vấn đề này treo toàn thế giới số học gia một cái nửa đời kỷ.
Hilbert nói qua, nếu như hắn ngủ say năm trăm năm sau tỉnh lại, cái thứ nhất muốn hỏi, liền là giả thuyết Riemann chứng minh không có.
Treo thưởng nó người, theo viện khoa học xếp tới Clay sở nghiên cứu, tiền thưởng đằng sau mang theo một chuỗi con số 0.
Có thể tiền là một chuyện, mặt mũi là một chuyện khác.
Đạo đề này tựa như toán học giới Chomolungma, ai cũng thấy được, ai cũng không bò lên nổi.
Đưa đi Uông Lỵ cùng Lâm Tuyết Nhi, Giang Dương trở lại phòng máy, đem cái này thế kỷ nan đề, gõ vào sơn hà số một khung chat.
Toàn bộ mô hình, bản địa bố trí, chỉ chiếm100 cái G.
Không có phòng máy tụ quần, không có hàng vạn tấm card màn hình, liền một đài trò chơi bút ký.
Về xe đập xuống, trên màn hình con trỏ bắt đầu tránh.
Một giây.
Mười giây.
Một phút đồng hồ.
Con trỏ dừng lại, không nhúc nhích, như người đang ngó chừng trần nhà khổ tư.
Giang Dương cũng không thúc, dời cái ghế ngồi ở bên cạnh, ngâm chén trà, chậm rãi các loại.
Sau một tiếng, trên màn hình bắt đầu tới phía ngoài đọc nhấn rõ từng chữ.
Ra ngoài ý định, nó trước phun ra không phải đáp án, mà là ba cái hỏi vặn lại.
【 ngươi cần cấu tạo tính chứng minh, vẫn là tính tồn tại chứng minh? 】
【 hiện hữu văn hiến bên trong, cái nào dẫn lý có thể ngầm thừa nhận thành lập? 】
【 nếu như hiện hữu công cụ không đủ, phải chăng cho phép ta dẫn vào mới hệ thống? 】
Giang Dương nhìn kỹ cái này ba hàng chữ, chớp chớp lông mày.
Từ lúc đêm hôm đó nó hỏi ra cái thứ nhất không có người dạy qua vấn đề, thứ này liền càng ngày càng sẽ vấn đề.
Hắn trở về bốn chữ: Cho phép, bắt đầu đi.
Lần này, con trỏ lại ngừng thật lâu.
Lại động thời điểm, đầu tiên là một nhóm kết luận, sau đó là suy luận, lại tiếp đó, là một chút Giang Dương chưa từng thấy qua phù hiệu.
Hắn bưng lấy chén trà tay dừng lại.
Những ký hiệu này không thuộc về bất luận cái gì hiện hữu toán học hệ thống.
Sơn hà số một làm gặm động giả thuyết Riemann, dĩ nhiên tự mình động thủ, phối một bộ hoàn toàn mới toán học công cụ.
Nó đem 0 điểm phân bố, lần nữa tổ chức thành một bộ trước sau như một với bản thân mình kết cấu, đặt tên, có thể gọi 0 điểm hệ thống.
Tại cái này hệ thống bên trong, giả thuyết Riemann không còn là cô lập nan đề, mà là một cái tự nhiên mà nhưng liền có thể đẩy ra suy luận.
Tựa như đứng trên đất bằng nhìn mê cung, thế nào đi đều là tường.
Nó trực tiếp tạo tòa tháp cao, đứng lên trên xem xét, lối ra vừa xem hiểu ngay.
...
Giang Dương tiêu ba ngày, đem toàn bộ suy luận từ đầu tới đuôi nghiệm chứng một lần.
Diêu Trí Kỳ tại phòng máy bên trong bồi ba ngày.
Hắn xem không hiểu những cái kia mới phù hiệu, nhưng hắn nhìn hiểu Giang Dương biểu tình, ngày thứ nhất là kinh ngạc, ngày thứ hai là ngưng trọng, ngày thứ ba, Giang Dương hướng trên ghế dựa khẽ nghiêng, cười.
"Lão Diêu, thành."
Gấp trăm lần tăng phúc phía dưới, Giang Dương toán học công lực sớm đã xưa đâu bằng nay, có thể càng là nghiệm chứng, trong lòng càng là chấn động.
Mỗi một bước đều vừa khớp.
Mỗi một bước đều tìm không ra mao bệnh.
Càng khiến người ta da đầu tê dại là, cái này 0 điểm hệ thống bày ra phương thức tư duy, không phải vũ lực liệt kê, không phải lực tính toán nghiền ép, mà là chân chính mang theo nhân loại hương vị sáng tạo, trước tạo công cụ, lại giải đề.
Đây là số học gia làm mấy ngàn năm sự tình, hiện tại, một đài bút ký làm.
Giang Dương đem kết quả chỉnh lý thành luận văn, gửi cho quốc tế đỉnh cấp toán học tập san.
Thẩm vấn bản thảo người cầm tới bản thảo, phản ứng đầu tiên là trò đùa quái đản.
Một cái tới từ Long quốc tiểu thành thị sở nghiên cứu đoàn đội, dùng vẫn là một đài bút ký chạy đến mô hình, nói muốn chứng minh giả thuyết Riemann?
Phòng biên tập trong nhóm, có người phát ba cái nghi vấn.
Có thể nhìn xuống, không người cười đến ra tới.
Phản ứng thứ hai, là trong đêm triệu tập đồng hành.
...
Một tuần lễ sau, tin tức nổ.
Terence Tao tại xã giao trên truyền thông gửi công văn đi.
【 ta tiêu bốn ngày nghiệm chứng thiên luận văn này, không có tìm được bất kỳ sai lầm nào. Nếu như nó là đúng, như thế chúng ta đối mặt, tuyệt không chỉ là giả thuyết Riemann chứng minh, mà là một loại hoàn toàn mới toán học. 】
Giải Fields đoạt giải Myers lời nói càng trực tiếp.
【 một lần trước AI đụng toán học, là OpenAI danh xưng giải quyết giả thuyết Goldbach một cái yếu hình thức, trong vòng tranh cãi tới bây giờ. Lần này không giống nhau, hoàn toàn khác biệt. Nó không phải tính ra, là nghĩ ra được. 】
Quốc tế toán học liên minh trong đêm tổ chức đặc biệt hội nghị.
Tất cả đề tài thảo luận gộp lại chỉ có một câu: 0 điểm hệ thống, đến cùng là cái gì?
Hội nghị chạy đến sau nửa đêm, một vị tóc trắng xoá lão giáo sư gõ bàn, nói một đoạn như vậy lời nói.
"Các vị, chúng ta một chuyến này, mấy trăm năm mới ra một bộ mới công cụ. Vi phân và tích phân lúc đi ra, vật lý học lật trời. Nhóm luận lúc đi ra, toàn bộ đại số đổi nhân gian. Hôm nay, trước mặt chúng ta bày biện, khả năng liền là tiếp một cái."
Trong hội trường không một người nói chuyện.
Xúc động, lại không cam lòng.
Cái này đồ vật không phải bọn hắn bất cứ người nào làm ra, thậm chí, nghiêm chỉnh mà nói, đều không phải "Nhân" làm ra.
Có thể đếm được học không nhận mặt mũi, chỉ nhận đúng sai.
Nó là đúng.
Toàn cầu các số học gia điên rồi đồng dạng nhào tới, trục đi trục câu nghiên cứu thiên kia luận văn.
Càng nghiên cứu, càng là cuồng hỉ.
Nếu như chỉ là chứng minh một cái phỏng đoán, đó bất quá là một cái ngọn núi bị dẹp xong.
Có thể 0 điểm hệ thống là một bộ đầy đủ công cụ, là có thể dọn đi tiến đánh tất cả đỉnh núi vũ khí.
Đã nó có thể giải giả thuyết Riemann, vậy cái khác nan đề đây?
Goldbach, sinh đôi số nguyên tố, nạp duy - này Tox...
Những cái kia treo mấy chục trên trăm năm treo thưởng, trong vòng một đêm, tất cả đều lung lay sắp đổ.
...
Sơn Hà thị, sở nghiên cứu.
Giang Dương hòm thư triệt để luân hãm.
Toàn thế giới số học gia, như hẹn xong như vậy, đem mỗi người lĩnh vực cứng rắn nhất xương cốt, một khối tiếp một mảnh đất gửi tới.
【 tôn kính Giang tiên sinh, đây là khốn nhiễu chúng ta đoàn đội ba mươi năm vấn đề... 】
【 Giang viện trưởng, van cầu ngươi, để sơn hà số một nhìn một chút cái này phương trình a! 】
Còn có mấy phong bưu phẩm, phụ số tiền thưởng.
Một cái Châu Âu uy tín lâu năm toán học hội ngân sách, ra giá một trăm vạn Euro, chỉ cầu sơn hà số một "Nhìn một chút" bọn hắn cái kia treo nửa cái thế kỷ phỏng đoán.
Giang Dương lật lên bưu phẩm, khóc cười không được.
Điệu bộ này, là đem sơn hà số một làm Hứa Nguyện trì.
Chính giữa nhìn xem, một cái số xa lạ đánh vào.
Quốc tế đường dài.
Bên đầu điện thoại kia người tự giới thiệu, là quốc tế toán học liên minh chủ tịch, ngữ khí khách khí quá mức.
Hàn huyên nửa phút, hắn cuối cùng nói đến chính đề.
"Giang tiên sinh, bốn năm một giới quốc tế số học gia đại hội, sang năm tổ chức. Chúng ta muốn mời ngài, làm một giờ đại hội báo cáo."
Một giờ báo cáo, toán học giới vinh dự cao nhất, xưa nay chỉ ban trên cái tinh cầu này đứng đầu nhất mấy khỏa đại não.
"Mặt khác, " chủ tịch dừng một chút, lại bồi thêm một câu, "Liên minh ngay tại thảo luận, làm '0 điểm hệ thống' thiết lập một cái đặc biệt mới giải thưởng. Lần thứ nhất ban ai không trọng yếu, trọng yếu là, cái này công cụ cần một cái tên, lưu tại toán học trong lịch sử."
Giang Dương cầm di động, nhìn về phía ngoài cửa sổ.
Sơn Hà thị bóng đêm im lặng, xa xa là thập nhất trung phương hướng, ban mười tám đèn, có lẽ vẫn sáng.
Hắn một cái cao đẳng tốt nghiệp cao trung lão sư, muốn đi cho toàn thế giới số học gia lên lớp?
Việc này nếu là để La Siêu biết...
Giang Dương suy nghĩ một chút, nhịn không được, cười ra tiếng.
---.