Chương 237: Thực sự làm suy diễn toán học

Cùng lúc ấy, một chiếc xe thương mại màu đen lặng lặng lướt vào khuôn viên trường, dừng ổn định ngay dưới tòa nhà phòng thí nghiệm. Cánh cửa xe mở ra, một người đàn ông trung niên diện vest xám sẫm, gương mặt sắc sảo bước xuống nhanh chóng.

Lâm Chính Hoành đêm qua vừa nhận được tin nhắn từ Giang Minh Viễn báo rằng nghiên cứu về trí tuệ nhân tạo của Tiêu Túc cuối cùng cũng đã kết thúc. Không chút do dự, ông lập tức hủy mọi lịch trình, đặt vé chuyến bay sớm nhất tới kinh thành, bay suốt đêm để đến đây.

Nửa năm qua, Lâm Chính Hoành luôn theo sát tiến độ của nhóm đề tài, thỉnh thoảng cũng nhờ Giang Minh Viễn hỏi thăm tình hình. Ông cũng hiểu rõ, những người như Tiêu Túc, tâm trí toàn dành cho nghiên cứu khoa học, chẳng mấy quan tâm đến hợp tác kinh doanh, nên từ trước tới nay chưa từng chủ động tìm đến quấy rầy.

Đến khi đêm qua nhận được tin, biết Tiêu Túc đã đạt được bước đột phá trong công nghệ, ông không thể kìm lòng được nữa, bay suốt đêm đến đây ngay, chỉ mong được tận mắt chứng kiến thành quả này, chốt hợp tác càng sớm càng tốt.

"Lâm tổng, cuối cùng ngài cũng đến rồi!" Giang Minh Viễn đã đứng chờ sẵn dưới tòa nhà phòng thí nghiệm, bên cạnh còn có Lâm Vũ.

"Giang bí thư, Lâm chủ nhiệm, hai vị vất vả chờ lâu rồi!" Lâm Chính Hoành bước nhanh lên phía trước, nét mặt lộ rõ vẻ nhiệt tình, giọng điệu đầy khẩn trương.

"Nghiên cứu của Tiêu Túc đồng nghiệp, thật sự đã hoàn toàn kết thúc rồi sao? Tiểu Trí hoạt động, thật sự đã đạt được như kỳ vọng rồi chăng?"

Giang Minh Viễn mỉm cười nghiêng người ra hiệu dẫn đường, giọng điệu lịch sự vừa phải.

"Lâm tổng cứ yên tâm, năng lực của Tiêu Túc, ngài còn chưa hiểu hết chứ? Chắc chắn vượt xa kỳ vọng. Nhưng thôi nói trước cho ngài biết, thằng bé Tiêu Túc này, tâm trí toàn ở mấy chuyện học thuật, ghét nhất là chuyện hợp tác kinh doanh phiền phức. Lát nữa gặp nó, chúng ta đừng nói chuyện xã giao, cứ tập trung vào thành quả, chi tiết hợp tác sau này tôi sẽ trao đổi với ngài, đảm bảo không làm mất thời gian."

Lâm Chính Hoành gật đầu lia lịa, "Tôi hiểu tôi hiểu! Lần này tôi đến, chủ yếu là để tận mắt xem Tiểu Trí hoạt động thế nào, tuyệt đối không quấy rầy Tiêu Túc đồng nghiệp nghiên cứu!"

Ba người nhanh chóng bước vào phòng thí nghiệm.

Bên trong phòng thí nghiệm rất yên tĩnh, chỉ nghe thấy tiếng gõ bàn phím nhẹ nhàng và tiếng giấy lật sột soạt. Tô Nhị, Lâm Nghiễn, Chu Cẩn đang chăm chú sắp xếp dữ liệu thí nghiệm, Lưu Hạo Nhiên chồm người vào cạnh Tiêu Túc, ngó nghiêng xem anh giải toán, miệng còn lẩm bẩm điều gì đó.

Cố Thanh Sâm từ phòng làm việc trong cùng bước ra, nhìn thấy Lâm Chính Hoành, nét mặt hiện rõ nụ cười dịu dàng: "Lâm tổng đến rồi, mời ngồi."

Lời vừa dứt, mọi người mới nhận ra sự có mặt của Lâm Chính Hoành cùng mọi người.

Lâm Chính Hoành vội vàng bước lên phía trước, nắm lấy tay Cố Thanh Sâm, giọng điệu cung kính: "Giáo sư Cố, lại được gặp ngài. Thành quả của Tiêu Túc đồng nghiệp, tôi từ lâu đã mong được tận mắt xem, hôm nay cuối cùng cũng có cơ hội."

Cố Thanh Sâm mỉm cười gật đầu, rồi ra hiệu cho Lưu Hạo Nhiên.

"Hạo Nhiên, cháu trình diễn năng lực của Tiểu Trí đi, đồng thời giải thích cho Lâm tổng về tư tưởng cốt lõi trong nghiên cứu của Tiêu Túc."

Lưu Hạo Nhiên lập tức hứng khởi, nhanh chóng bước đến trước máy tính, mở chương trình trình diễn.

Lưu Hạo Nhiên hắng giọng, ngón tay lướt trên bàn cảm ứng, mở giao diện trình diễn đã chuẩn bị sẵn.

"Lâm tổng, trước tiên tôi sẽ cho ngài xem một so sánh trực quan."

Màn hình hiện lên hai cửa sổ, bên trái là nhật ký chạy khung giải ghép của Tiểu Trí, bên phải là một nhóm dữ liệu kiểm thử tiêu chuẩn.

"Đây là bài kiểm thử chúng tôi thực hiện trên bộ dữ liệu hiểu ngôn ngữ tự nhiên tiêu chuẩn. Hiện nay, trong toàn bộ dữ liệu công khai toàn cầu, tỷ lệ giải ghép sâu của Diệp Tầm là 76%, Pathways của Google là 71%, GPT-4 của OpenAI vào khoảng 68%."

Anh ta mở kết quả bài kiểm tra của Tiểu Trí. “Tiểu Trí, 98.47%.” Đồng tử của Lâm Chính Hoành đột nhiên co lại. Dù đã chuẩn bị tâm lý từ trước, nhưng khi nhìn thấy con số này, anh vẫn không khỏi hít sâu một ngụm lạnh. Từ 76% lên 98%, thoạt nhìn chỉ là khoảng cách hai mươi hai điểm phần trăm, nhưng trong lĩnh vực AI, tỷ lệ giải cấu trúc tăng thêm một điểm phần trăm đã đồng nghĩa với sự thay đổi chất của kiến trúc nền tảng. Hơn bảy mươi điểm phần trăm giải cấu trúc nghĩa là mô hình có thể phân biệt được sơ lược ranh giới giữa các khái niệm, nhưng khi gặp phải suy luận phức tạp vẫn sẽ “lẫn lộn”. Còn 98%… “Điều này có nghĩa là gì, tôi xin đưa ra một ví dụ.” Lưu Hạo Nhiên rõ ràng đã chuẩn bị sẵn sàng, anh mở một cửa sổ mới, nhập vào một dòng chữ. “‘Chứng minh: Nếu một số chia hết cho 3 thì tổng các chữ số của nó cũng chia hết cho 3.’ Đây là một mệnh đề toán học cấp trung học cơ sở, cách diễn đạt rất đơn giản, nhưng liên quan đến sự chuyển đổi giữa ngôn ngữ tự nhiên và logic hình thức.” Anh ấy trước tiên chạy trên một mô hình tổng quát mã nguồn mở. Mô hình nhanh chóng đưa ra câu trả lời, lời văn trôi chảy, các bước rõ ràng, thậm chí còn tận tâm thêm những từ chuyển tiếp như “do đó có thể thấy”. “Có vẻ không có vấn đề gì phải không?” Lưu Hạo Nhiên mỉm cười, ngón tay chỉ vào màn hình, “nhưng ngài xem chỗ này.” Anh phóng to một dòng trong đó. Mô hình trong quá trình suy luận đã viết một câu “giả sử số đó là abc, trong đó a, b, c lần lượt là chữ số hàng trăm, hàng chục, hàng đơn vị.” “Nó đã hiểu ‘tổng các chữ số’ thành ‘các chữ số của số có ba chữ số’, nên chứng minh của nó chỉ đúng với số có ba chữ số. Nó thực sự không hiểu khái niệm ‘số nguyên dương bất kỳ’, nó chỉ khớp được với một trường hợp giảng dạy phổ biến nhất từ kho ngữ liệu.” Lâm Chính Hoành cau mày. Vấn đề này anh quá quen thuộc. Các mô hình lớn trên thị trường, viết bài, tóm tắt, trả lời các câu hỏi thông thường đều rất trôi chảy, nhưng chỉ cần liên quan đến nội dung cần suy luận logic chặt chẽ, sẽ lộ ra bản chất “giả vờ hiểu biết”. Lưu Hạo Nhiên đóng cửa sổ mô hình mã nguồn mở, mở giao diện bài kiểm tra của Tiểu Trí, nhập vào cùng câu hỏi. Phản hồi của Tiểu Trí xuất hiện trên màn hình. “Mệnh đề: Với mọi số nguyên dương n, nếu 3|n thì 3|S(n), trong đó S(n) biểu thị tổng các chữ số của n. Chứng minh: Giả sử biểu diễn thập phân của n là n=a_k·10^k+a_{k-1}·10^{k-1}+…+a_1·10+a_0, trong đó 0≤a_i≤9. Chú ý rằng 10≡1(mod3), nên 10^m≡1(mod3) với mọi số nguyên không âm m. Do đó n≡a_k+a_{k-1}+…+a_0=S(n)(mod3). Nếu 3|n thì n≡0(mod3), từ đó S(n)≡0(mod3), tức là 3|S(n). Chứng minh xong.” Lưu Hạo Nhiên quay đầu nhìn Lâm Chính Hoành. “Lâm tổng, đến đây chắc ngài cũng nhận ra sự khác biệt rồi.” Lâm Chính Hoành vốn xuất thân kỹ thuật, dù không phải chuyên ngành toán, nhưng nền tảng tư duy logic vẫn còn. Anh nhìn chằm chằm vào chứng minh trên màn hình, đôi mắt ngày càng sáng lên.

“Nó… nó dùng phép toán mô-đun, phù hợp với mọi số nguyên dương.”

“Đúng vậy.” Lưu Hạo Nhiên gật đầu, “Nó không dựa vào bất kỳ giáo án có sẵn nào, mà xuất phát từ dạng biểu diễn thập phân tổng quát, nắm bắt lấy thuộc tính cốt lõi ‘10 chia 3 dư 1’. Điều này chứng tỏ nó thực sự hiểu cấu trúc của vấn đề, chứ không phải chỉ đang khớp mẫu.”

“Hiện nay, tất cả các mô hình lớn trên thị trường về bản chất đều là ‘bài tập điền từ nâng cao’. Chúng dự đoán từ tiếp theo dựa vào đoạn văn trước đó, dự đoán càng nhiều thì trông càng giống như đang suy nghĩ. Nhưng chúng không hề có khả năng hiểu thực sự.”

“Còn Tiểu Trí thì khác.”

Anh chuyển sang sơ đồ kiến trúc hệ thống của Tiểu Trí.

“Bộ khung này, tư tưởng cốt lõi là tách rời hoàn toàn ba lớp: ngôn ngữ tự nhiên, logic ký hiệu và cấu trúc toán học. Các mô hình thông thường khi xử lý một câu, gộp tất cả thông tin vào chung, như một nồi cháo sền sệt. Tiểu Trí khi xử lý một câu, trước tiên sẽ bóc tách lớp ngữ nghĩa, làm rõ ‘câu này đang nói về cái gì’. Sau đó tách lớp logic, phân tích ‘cấu trúc logic của câu này là gì’. Cuối cùng trích xuất lớp ký hiệu, xác định ‘câu này tương ứng với những đối tượng toán học và quy tắc vận hành nào’.”

“Sau khi xử lý xong ba lớp, thông qua mô-đun ánh xạ hình học xinfoni, những thông tin này sẽ được nhúng vào một không gian metric có trọng số. Trong không gian này, những khái niệm có nghĩa tương tự sẽ ở gần nhau, những cấu trúc có liên hệ logic sẽ có mối quan hệ hình học tương ứng đặc biệt. Rồi mô-đun đồng điều Floer trong không gian này thực hiện phân loại quỹ đạo, về bản chất chính là tìm kiếm con đường tối ưu từ tiền đề dẫn đến kết luận.”

“Vì vậy, nó không chơi chữ, nó đang thực sự thực hiện suy diễn toán học.”