Thứ 237 chương Chân chính làm toán học suy luận
Ngay tại lúc đó, một chiếc màu đen xe thương vụ chậm rãi lái vào sân trường, vững vàng dừng ở phòng thí nghiệm dưới lầu.
Cửa xe mở ra, một cái thân mặc màu xám đậm âu phục, khuôn mặt già dặn trung niên nam nhân bước nhanh đi xuống.
Lâm Chính Hoành hôm qua đêm khuya nhận được Giang Minh truyền xa tới tin tức, nói Tiêu Túc bên kia AI trí năng thể nghiên cứu cuối cùng kết đề.
Không chút do dự, hắn lập tức từ chối đi tất cả hành trình, mua sớm nhất ban một bay hướng kinh thành vé máy bay, đi suốt đêm đi qua.
Nửa năm này, Lâm Chính Hoành từ đầu đến cuối chú ý khóa đề tổ tiến triển, ngẫu nhiên cũng biết thông qua Giang Minh Viễn hỏi thăm tình huống.
Hắn cũng biết, giống Tiêu Túc dạng này thiên tài, tâm tư toàn ở trên nghiên cứu khoa học, đối với thương nghiệp hợp tác không có hứng thú chút nào, cho nên chưa từng có chủ động đến nhà quấy rầy qua.
Thẳng đến hôm qua tiếp vào tin tức, biết được Tiêu Túc đã hoàn thành kỹ thuật đột phá, hắn cũng không kiềm chế được nữa, chạy suốt đêm tới, chính là nghĩ trước tiên chứng kiến phần này thành quả, đã định cuối cùng hợp tác sự nghi.
“Lâm tổng, ngài có thể tính đến!”
Giang Minh Viễn sớm đã tại phòng thí nghiệm dưới lầu chờ, bên cạnh còn đứng Lâm Vũ.
“Giang thư ký, Lâm chủ nhiệm, khổ cực hai vị chờ lâu!”
Lâm Chính Hoành bước nhanh về phía trước, trên mặt lộ ra nụ cười nhiệt tình, trong giọng nói tràn đầy vội vàng.
“Tiêu Túc đồng học nghiên cứu, thật sự triệt để kết đề? Tiểu Trí tính năng, thật sự đạt đến dự trù?”
Giang Minh Viễn cười nghiêng người dẫn đường, ngữ khí chu đáo đúng mức.
“Lâm tổng yên tâm, Tiêu Túc năng lực, ngươi còn không hiểu rõ? Tuyệt đối vượt qua mong muốn.
Bất quá cảnh cáo nói ở phía trước, Tiêu Túc đứa nhỏ này, tâm tư toàn ở trên học thuật, phiền nhất thương nghiệp hợp tác việc vặt, một hồi nhìn thấy hắn, chúng ta thiếu đàm luận khách sáo, nói chuyện nhiều thành quả, cụ thể hợp tác chi tiết, sau này ta tới cùng ngươi đối tiếp, cam đoan không chậm trễ chuyện.”
Lâm Chính Hoành liên tục gật đầu, “Biết rõ biết rõ! Ta lần này tới, chủ yếu là tận mắt nhìn tiểu Trí tính năng, tuyệt không quấy rầy Tiêu Túc đồng học làm nghiên cứu!”
3 người bước nhanh đi vào phòng thí nghiệm.
Trong phòng thí nghiệm rất yên tĩnh, chỉ có bàn phím đánh nhẹ vang lên cùng trang giấy phiên động âm thanh.
Tô Nhuế, Lâm Nghiễn, Chu Cẩn đang chuyên tâm mà sửa sang lấy thí nghiệm số liệu, Lưu Hạo Nhiên ghé vào Tiêu Túc bên cạnh, thò đầu ra nhìn xem hắn diễn toán, trong miệng còn nhỏ giọng thì thầm cái gì.
Cố Thanh Trần từ giữa ở giữa văn phòng đi ra, nhìn thấy Lâm Chính Hoành, trên mặt lộ ra nụ cười ấm áp: “Lâm tổng tới, mau mời ngồi.”
Lời này vừa nói ra, đám người lúc này mới phát hiện Lâm Chính Hoành mấy người.
Lâm Chính Hoành liền vội vàng tiến lên, nắm chặt Cố Thanh Trần tay, ngữ khí cung kính: “Cố giáo sư, lại gặp mặt. Tiêu Túc đồng học thành quả, ta đã sớm muốn tận mắt xem, hôm nay cuối cùng có cơ hội.”
Cố Thanh Trần gật đầu cười, lập tức ra hiệu Lưu Hạo Nhiên.
“Hạo nhiên, ngươi tới biểu diễn một lượt tiểu Trí tính năng, thuận tiện cho Lâm tổng nói một chút, Tiêu Túc hạch tâm học thuật mạch suy nghĩ.”
Lưu Hạo Nhiên lập tức tinh thần tỉnh táo, hắn bước nhanh đi đến trước máy vi tính, ấn mở biểu thị chương trình.
Lưu Hạo Nhiên hắng giọng một cái, ngón tay tại trên Touchpad hoạt động, điều ra sớm đã chuẩn bị xong biểu thị giới diện.
“Lâm tổng, ta trước tiên cho ngài một cái trực quan so sánh.”
Trên màn hình bắn ra hai cái cửa sổ, bên trái là tiểu Trí Giải Ngẫu dàn khung vận hành nhật ký, bên phải là một tổ tiêu chuẩn khảo thí số liệu.
“Đây là chúng ta dùng tiêu chuẩn tự nhiên ngôn ngữ lý giải tập dữ liệu làm khảo thí.
Trước mắt toàn cầu công khai số liệu bên trong, chiều sâu tìm kiếm giải ngẫu tỷ lệ là 76%, Google Pathways là 71%, OpenAI GPT-4 ước chừng tại trên dưới 68% .”
Hắn ấn mở tiểu Trí kết quả khảo nghiệm.
“Tiểu Trí, 98.47%.”
Lâm Chính Hoành con ngươi bỗng nhiên co rụt lại.
Hắn mặc dù sớm đã có chuẩn bị tâm lý, nhưng chân chính nhìn thấy cái số này thời điểm, vẫn là không nhịn được hít sâu một hơi.
76% Đến 98%, nhìn chỉ là hai mươi hai phần trăm chênh lệch, nhưng ở AI lĩnh vực, giải ngẫu tỷ lệ mỗi đề thăng một cái phần trăm, đều mang ý nghĩa tầng dưới chót cơ cấu chất biến.
Hơn 70 giải ngẫu tỷ lệ mang ý nghĩa mô hình có thể đại khái phân rõ khái niệm ở giữa biên giới, nhưng gặp phải phức tạp suy luận lúc vẫn sẽ “Xuyên vị”.
Mà 98%......
“Điều này có ý vị gì, ta cho ngài lấy một thí dụ.”
Lưu Hạo Nhiên rõ ràng đã sớm chuẩn bị, hắn mở ra một cái mới cửa sổ, thâu nhập một hàng chữ.
“‘ Chứng minh: Nếu như một vài có thể bị 3 chia hết, như vậy nó các vị con số chi cùng cũng có thể bị 3 chia hết.’ đây là một cái sơ trung cấp bậc toán học đầu đề, thuyết minh rất đơn giản, nhưng dính đến tự nhiên ngôn ngữ và hình thức hóa lôgic ở giữa chuyển đổi.”
Hắn trước tiên ở một cái khai nguyên thông dụng Đại Mô Hình bên trên vận hành.
Mô hình rất nhanh cấp ra đáp án, văn tự lưu loát, trình tự rõ ràng, thậm chí còn tri kỷ mà tăng thêm “Từ đó có thể biết” Dạng này quá độ từ.
“Nhìn không có vấn đề, đúng không?” Lưu Hạo Nhiên cười cười, ngón tay chỉ ở trên màn ảnh, “Nhưng ngài nhìn ở đây.”
Hắn phóng đại trong đó một nhóm.
Mô hình tại suy luận quá trình bên trong viết một câu “Thiết lập nên đếm vì abc, trong đó a, b, c phân biệt là trăm vị, mười vị, một chữ số chữ”.
“Nó đem ‘Các vị Số Tự Chi cùng’ lý giải trở thành ‘Ba chữ số các vị con số ’, cho nên nó chứng minh đối với ba chữ số thành lập. Nó không có thật sự lý giải ‘Nhậm Ý số nguyên dương’ cái khái niệm này, chỉ là trong từ kho ngữ liệu phối hợp đến một cái thường thấy nhất dạy học án lệ.”
Lâm Chính Hoành nhíu mày.
Vấn đề này hắn quá quen thuộc.
Trên thị trường Đại Mô Hình, viết văn, làm tổng kết, trả lời phổ biến vấn đề đều rất lưu loát, chỉ khi nào đề cập tới cần nghiêm mật lôgic suy luận nội dung, sẽ bị bại lộ ra “Ra vẻ hiểu biết” Bản chất.
Lưu Hạo Nhiên đóng lại khai nguyên mô hình cửa sổ, mở ra tiểu Trí khảo thí giới diện, thâu nhập vấn đề giống như trước.
Tiểu Trí đáp lại xuất hiện ở trên màn ảnh.
“Đầu đề: Đối với tùy ý số nguyên dương n, nếu 3|n, thì 3|S(n), trong đó S(n) biểu thị n các vị con số chi cùng.
Chứng minh: Thiết lập n thuật toán biểu thị vì n=a_k10^k + a_{k-1}10^{k-1} +... + a_110 + a_0, trong đó 0≤a_i≤9.
Chú ý tới 10≡1(mod 3), nguyên nhân 10^m≡1(mod 3) đối với tùy ý không phải phụ số nguyên m thành lập.
Bởi vậy n≡a_k + a_{k-1} +... + a_0 = S(n)(mod 3).
Nếu 3|n, thì n≡0(mod 3), từ đó S(n)≡0(mod 3), tức 3|S(n). Chứng minh xong.”
Lưu Hạo Nhiên quay đầu nhìn xem Lâm Chính Hoành.
“Lâm tổng, nhìn đến đây, có lẽ ngài đã phát hiện khác biệt a.”
Lâm Chính Hoành là làm kỹ thuật xuất thân, mặc dù không phải toán học chuyên nghiệp, nhưng trụ cột lôgic tố dưỡng còn tại.
Hắn nhìn chằm chằm trên màn hình chứng minh, con mắt càng ngày càng sáng.
“Nó...... Nó dùng chính là mô hình tính toán, thích hợp với tùy ý số nguyên dương.”
“Đúng.” Lưu Hạo Nhiên gật đầu, “Nó không có sử dụng bất luận cái gì có sẵn dạy học án lệ, mà là từ thuật toán bày tỏ đồng dạng hình thức xuất phát, bắt được ‘10 mô hình 3 còn lại 1’ cái này bản chất thuộc tính. Điều này nói rõ nó thật sự hiểu được vấn đề kết cấu, mà không phải đang làm hình thức phối hợp.”
“Trước mắt trên thị trường tất cả Đại Mô Hình, trên bản chất cũng là ‘Cực kỳ cao cấp điền vào chỗ trống ’. Bọn chúng căn cứ vào tiền văn dự đoán cái tiếp theo từ, dự đoán hơn nhiều, nhìn giống như là đang tự hỏi.
Nhưng chúng nó không có chân chính năng lực phân tích.”
“Mà tiểu Trí không giống nhau.”
Hắn cắt đến tiểu Trí hệ thống cơ cấu đồ.
“Bộ này dàn khung, hạch tâm mạch suy nghĩ là đem tự nhiên ngôn ngữ, lô-gich toán học, toán học kết cấu cái này tầng ba hoàn toàn Giải Ngẫu.
Thông thường mô hình xử lý một câu nói, là đem tất cả tin tức quấy cùng một chỗ, giống hỗn loạn.
Tiểu Trí xử lý một câu nói, sẽ trước tiên đem ngữ nghĩa tầng lột ra, làm rõ ràng ‘Câu nói này đang nói cái gì ’.
Sau đó đem lôgic tầng tách ra, phân tích ‘Câu nói này lôgic kết cấu là cái gì ’.
Cuối cùng đem ký hiệu tầng lấy ra, xác định ‘Câu nói này đối ứng cái nào toán học đối tượng cùng tính toán quy tắc ’.”
“Tầng ba phân biệt xử lý xong sau đó, lại thông qua tân bao nhiêu chiếu rọi module, đem những tin tức này khảm vào đến một cái thêm quyền độ lượng trong không gian.
Tại trong cái không gian này, ngữ nghĩa tương cận khái niệm khoảng cách gần, lôgic tương quan kết cấu có đặc định bao nhiêu đối ứng quan hệ.
Tiếp đó không Lohr đồng điệu module tại trong cái không gian này làm quỹ đạo phân loại, trên bản chất chính là đang tìm kiếm lúc trước xách thông hướng kết luận tối ưu đường đi.”
“Cho nên nó không phải đang làm trò chơi văn tự, nó là tại chính thức mà làm toán học suy luận.”