AI Toán học, lần này không chỉ đến để giải bài tập.
Trước đó, nhóm nghiên cứu của Giáo sư Liu Yang, Viện trưởng Viện Nghiên cứu Công nghiệp Thông minh (AIR) thuộc Đại học Thanh Hoa, đã công bố một hệ thống tác nhân thông minh hướng đến nghiên cứu toán học——
AIM.

Khác với nhiều agent tập trung vào giải bài toán trước đây, AIM không chỉ trả lời câu hỏi toán học, mà còn cố gắng tham gia vào công việc nghiên cứu ở bước sớm hơn:
Nó có thể giúp các nhà nghiên cứu mở rộng tư duy, tổ chức định lý, tạo bản nháp chứng minh, và giao những nội dung này cho con người tiếp tục xem xét.
Và gần đây, xoay quanh AIM, nghiên cứu sinh liên kết AIR-Học viện Chân Lý Wang Yanqiao, và Phó giáo sư Liu Jinpeng của Học viện Chân Lý, đã hoàn thành một nghiên cứu thuật toán lượng tử tiên phong có sự tham gia sâu của AI——
Sign Embedding Quantum Algorithms for Matrix Equations and Matrix Functions.

Nghiên cứu này bắt đầu từ một trực giác mơ hồ: liệu phép xấp xỉ hữu tỷ có thể trở thành một nguyên tắc thiết kế thuật toán lượng tử hay không?
Trong quá trình nghiên cứu, AI trước tiên giúp các nhà nghiên cứu con người mở rộng các hướng đi tiềm năng, sau đó con người sàng lọc phương hướng, kiểm tra giả định, sửa chữa phép suy luận. AIM tham gia vào giai đoạn sau để tổ chức định lý, tạo bản nháp chứng minh và phân tích độ phức tạp.
Cuối cùng, nhóm nghiên cứu đề xuất Thuật toán lượng tử nhúng dấu (Sign Embedding Quantum Algorithms), hình thành một bài báo thuật toán lượng tử dài 84 trang.
Có thể nói, so với việc chủ yếu giải quyết các bài toán mở do nhà nghiên cứu đưa ra trước đây, lần này, AIM bắt đầu tham gia vào việc đề xuất và khám phá hướng đi của vấn đề nghiên cứu.
Điều này được thực hiện như thế nào?
Năng lực toán học của AI đang chuyển từ “giải bài” sang “nghiên cứu”
Những năm gần đây, AI tiếp tục đạt được tiến bộ trong các hướng như suy luận toán học, tìm kiếm thuật toán, kiểm tra giả thuyết và hỗ trợ chứng minh.
Nhiều trường hợp đã có chủ yếu hướng đến các nhiệm vụ tương đối rõ ràng: cho trước một mệnh đề cần chứng minh hoặc bác bỏ, một hàm mục tiêu cần tối ưu hóa, hoặc một không gian tìm kiếm có thể thực thi và cho điểm bằng chương trình.
Nhưng trong nghiên cứu toán học tiên phong thực tế, những tiến bộ quan trọng thường xảy ra trước khi định lý chính thức xuất hiện.
Các nhà nghiên cứu có thể trước tiên có một trực giác mơ hồ, một sự tương tự liên ngành hoặc một sở thích kỹ thuật chưa định hình, sau đó mới dần dần đánh giá nó nên chuyển hóa thành vấn đề gì, sử dụng những giả định nào, đi theo hướng nào, và cuối cùng hình thành họ định lý như thế nào.
Giai đoạn này thường khó đánh giá bằng đáp án chuẩn hoặc chỉ số giá trị đơn lẻ, nhưng lại trực tiếp ảnh hưởng đến giá trị và hướng đi của nghiên cứu.
Xoay quanh câu hỏi "AI có thể hỗ trợ hình thành vấn đề hay không", nghiên cứu này cung cấp một mẫu quan sát tương đối đầy đủ:
AI và AIM được đặt trong vòng lặp nghiên cứu do nhà nghiên cứu con người kiểm soát, vừa tham gia khám phá và suy luận, vừa chịu sự kiểm tra, sửa đổi và tích hợp liên tục.

Từ một siêu ý tưởng đến họ định lý có thể kiểm tra
Đáng chú ý là, nghiên cứu không bắt đầu từ một định lý thuật toán lượng tử đã được định nghĩa chính xác, mà bắt nguồn từ một trực giác vĩ mô do nhà nghiên cứu con người đề xuất:
Phép xấp xỉ hữu tỷ có lợi thế khi xử lý các hàm dạng bậc thang, đặc biệt là hàm dấu, ý tưởng này liệu có thể trở thành một nguyên tắc thiết kế thuật toán lượng tử?
Trong giai đoạn khám phá ban đầu, các nhà nghiên cứu thông qua tương tác với mô hình AI tổng quát, đã mở rộng trực giác này thành một tập hợp các hướng nghiên cứu tiềm năng và các chiều so sánh.
Sau đó, nhà nghiên cứu con người dựa trên gu toán học, tính khả thi kỹ thuật và đóng góp tiềm năng để sàng lọc, dần tập trung vào hướng đi "Nhúng dấu" (Sign-Embedding).
AIM ở giai đoạn sau, với tư cách là một phần của hệ thống nghiên cứu hợp tác người-máy, đã giúp tổ chức hướng đi đã chọn thành các mục tiêu định lý và tài liệu suy luận có thể kiểm tra.
Bài báo thuật toán lượng tử cuối cùng hình thành dài 84 trang, hình dưới đây minh họa vai trò của AI/AIM trong quá trình hình thành bài báo này.

Cần lưu ý rằng, các chức năng mở rộng hướng đi, tổ chức hướng tiềm năng và so sánh dựa vào đối thoại AI tổng quát trong giai đoạn đầu, đã được tích lũy thêm thành năng lực hệ thống hóa trong AIM v2 tiếp theo.
Nói cách khác, trường hợp này không chỉ trình bày một quá trình nghiên cứu cụ thể, mà còn phản ánh sự phát triển của AIM từ hỗ trợ tương tác tiến đến hỗ trợ quy trình làm việc nghiên cứu hoàn chỉnh hơn.
Quy trình làm việc hợp tác người-máy: Khám phá thông lượng cao của AI dưới sự kiểm soát giá trị con người
Từ góc độ nghiên cứu AI, trọng tâm của nghiên cứu này không phải là thể hiện "khám phá toán học hoàn toàn tự động", mà là trình bày một quy trình hợp tác người-máy có thể theo dõi, kiểm tra và tái sử dụng.
Toàn bộ quy trình có thể tóm tắt thành năm bước.
Mở rộng hướng đi phân kỳ (Divergent Route Expansion): Nhà nghiên cứu con người cung cấp ý tưởng siêu cấp hoặc trực giác nghiên cứu vĩ mô, AI mở rộng nó thành nhiều vấn đề tiềm năng, hướng đi kỹ thuật và kết nối liên ngành, giúp nhà nghiên cứu nhanh chóng nhìn thấy không gian nghiên cứu xung quanh.
Kiểm soát giá trị con người (Human Value Gate): Đối mặt với các nhánh tiềm năng do AI tạo ra, nhà nghiên cứu con người dựa trên đánh giá học thuật, giá trị vấn đề và tính khả thi kỹ thuật để sàng lọc và tập trung, quyết định hướng đi nào đáng tiếp tục đầu tư.
Hình thành định lý và suy luận (Theorem Formation and Derivation): Sau khi xác định hướng đi chính, AIM giúp chuyển hóa ý tưởng cấp cao thành các tài liệu có thể kiểm tra như phát biểu định lý, phân tích bổ đề, bản nháp chứng minh và biểu thức độ phức tạp.
Kiểm tra và sửa chữa độ phức tạp (Complexity Audit and Repair): Trong nghiên cứu thuật toán lượng tử, chứng minh đúng không tự động có nghĩa là đóng góp thuật toán đầy đủ; các giả định có tự nhiên hay không, mô hình truy cập có hợp lý hay không, độ phức tạp có quá lỏng lẻo hay không, đều cần được kiểm tra lặp đi lặp lại. Quá trình sửa chữa, tối ưu hóa hoặc tái cấu trúc vẫn có thể tiếp tục sử dụng năng lực suy luận, đối chiếu và viết lại của AI/AIM, nhưng các đánh giá then chốt và xác nhận cuối cùng phải do nhà nghiên cứu con người đảm nhận.
Xác minh và tích hợp (Validation and Integration): Tất cả các phát biểu toán học, chứng minh, giả định, ước tính độ phức tạp và biểu đạt đóng góp, cuối cùng đều cần được nhà nghiên cứu con người xem xét, chọn lọc, sửa đổi và tích hợp, mới có thể đưa vào bài báo công khai.

Kết nối khám phá, tạo sinh suy luận và kiểm tra thận trọng
Tóm lại, ý nghĩa của AIM không phải là thay thế nhà toán học con người để hoàn thành nghiên cứu độc lập, mà là nâng cao mật độ khám phá và hiệu quả suy luận trong một vòng lặp do con người kiểm soát.
AI/AIM có thể nhanh chóng mở rộng các hướng đi tiềm năng, tổ chức kết nối giữa các khái niệm liên quan, và tạo ra các bản nháp chứng minh và độ phức tạp để xem xét;
Nhà nghiên cứu con người chịu trách nhiệm quyết định hướng đi nào có giá trị nghiên cứu, giả định nào có thể chấp nhận, phép suy luận nào cần sửa chữa.
Mô hình hợp tác này làm cho quá trình nghiên cứu gần gũi hơn với "tạo sinh ứng viên thông lượng cao + kiểm soát giá trị con người + hỗ trợ kiểm tra sửa chữa bởi AI + tích hợp cuối cùng bởi con người".
Ưu thế của nó không nằm ở việc để đầu ra AI trở thành kết luận cuối cùng, mà ở việc chuyển hóa việc khám phá hướng đi, tổ chức kết nối và suy luận cục bộ vốn khó thể khám phá hết thành các tài liệu trung gian có thể kiểm tra, so sánh và sửa đổi dần dần.
Đối với nghiên cứu AI4Math và AI Scientist, điều này cũng gợi ý: Tín hiệu phản hồi trong nghiên cứu lý thuyết thường không phải là điểm số thí nghiệm, mà là phán đoán toán học.
Hệ thống cần hỗ trợ trí nhớ dài hạn, quản lý hướng đi, ghi chép giả định, kiểm tra độ phức tạp và kiểm tra tính phản bác, để nhà nghiên cứu con người có thể kiểm soát hướng đi, phát hiện lỗi và ổn định kết quả cuối cùng một cách hiệu quả hơn.
Thuật toán lượng tử nhúng dấu
Là kết quả kỹ thuật được hình thành từ quá trình hợp tác này, Wang Yanqiao và Liu Jinpeng đề xuất "Thuật toán lượng tử nhúng dấu" hướng đến một lớp vấn đề phương trình ma trận và hàm ma trận, bao gồm các phương trình Sylvester, Lyapunov, Riccati, cũng như các đối tượng như căn bậc hai ma trận, căn bậc hai nghịch đảo và trung bình hình học.
Những vấn đề này có vị trí cơ bản trong đại số tuyến tính số, lý thuyết điều khiển, hệ động lực và tính toán khoa học.
Đối với độc giả không chuyên về lượng tử, có thể hiểu ý tưởng cốt lõi của bài báo này là: trước tiên nén nhiều loại vấn đề ma trận có cấu trúc vào hàm dấu hoặc phép chiếu dấu của một ma trận mở rộng nào đó,
sau đó thực hiện đối tượng tương ứng thông qua các nguyên thủy thuật toán lượng tử như phép xấp xỉ hữu tỷ và nghịch đảo dịch chuyển. Hướng đi "nhúng trước, xấp xỉ sau" như vậy cung cấp một cách tổ chức thống nhất cho nhiều vấn đề tưởng chừng khác nhau.
Đóng góp kỹ thuật của bài báo lượng tử này bao gồm: thiết lập các giả định và biểu đạt độ phức tạp có thể sử dụng trong điều kiện đầu vào tổng quát hơn như không chuẩn tắc, không chéo hóa được;
Đẩy đầu ra từ trạng thái vector đơn lẻ sang mã hóa khối ma trận có thể được gọi bởi mạch lượng tử hạ nguồn; và thông qua việc thu phóng, cân bằng lại và kiểm tra độ phức tạp của lớp thực hiện nghịch đảo dịch chuyển, hình thành khung đại số tuyến tính lượng tử toán tử đầu ra tương đối hệ thống.
Phán đoán con người và năng suất AI trong nghiên cứu lý thuyết
Tóm lại, nghiên cứu trình bày một cách thực tế về sự tham gia của AI vào nghiên cứu toán học:
AI có thể giúp các nhà nghiên cứu mở rộng hướng đi, sắp xếp mối liên hệ, phác thảo chứng minh và phân tích độ phức tạp sơ bộ nhanh hơn, từ đó giảm chi phí hiển hiện của một phần suy luận cơ bản và khám phá cục bộ trong nghiên cứu lý thuyết.
Nhưng đồng thời, hướng nghiên cứu có đáng đi sâu hay không, giả định có tự nhiên hợp lý hay không, kết quả có đủ giá trị lý thuyết hay không, vẫn phụ thuộc vào phán đoán chuyên môn và sự kiểm tra liên tục của nhà nghiên cứu.
Khi các tác nhân thông minh có thể nhanh chóng tạo ra lượng lớn hướng đi tiềm năng, bản nháp chứng minh và biểu đạt kỹ thuật, trọng tâm công việc của nhà khoa học lý thuyết cũng có thể thay đổi.
Sau khi chi phí của phần suy luận phức tạp được nén lại, nhà nghiên cứu có thể dành nhiều tinh lực hơn cho việc lựa chọn hướng đi, định nghĩa vấn đề, kiểm soát giả định và kiểm tra kết quả.
Nói cách khác, khả năng phán đoán "vấn đề nào thực sự đáng nghiên cứu", và nhận diện những hướng đi có vẻ hợp lý nhưng tồn tại điều kiện ẩn, lỗ hổng kỹ thuật hoặc đóng góp không đủ, sẽ trở thành năng lực then chốt hơn.
Điều này cũng cung cấp gợi ý quan trọng cho sự phát triển tiếp theo của AIM. Trong tương lai, đáng để tăng cường không chỉ là khả năng chứng minh điểm đơn lẻ hoặc suy luận cục bộ, mà còn bao gồm các năng lực hệ thống hỗ trợ toàn bộ quá trình nghiên cứu:
Ví dụ như ghi chép và so sánh các hướng nghiên cứu khác nhau, quản lý rõ ràng các giả định then chốt, lưu lại dấu vết suy luận có thể kiểm tra, phát hiện các điều kiện ẩn và lỗ hổng độ phức tạp, và hỗ trợ nhà nghiên cứu dưới sự trợ giúp của AI để hoàn thành việc sửa chữa, tối ưu hóa và tái cấu trúc tiếp theo.
Trường hợp này cho thấy, giá trị của AI trong nghiên cứu lý thuyết tiên phong, đang dần mở rộng từ hỗ trợ nhiệm vụ cục bộ đến các quy trình nghiên cứu hoàn chỉnh hơn.
AIM tổ chức các khả năng như mở rộng hướng đi, khám phá mối liên hệ, phác thảo chứng minh và phản hồi kiểm tra, giúp khả năng tạo sinh và suy luận của AI có thể phục vụ tốt hơn cho việc phán đoán hướng đi và kiểm soát toán học của nhà nghiên cứu con người.
Cách hợp tác như vậy, cung cấp khả năng mới để nâng cao hiệu quả nghiên cứu lý thuyết và mở rộng tầm nhìn nghiên cứu.
Các liên kết liên quan
Báo cáo ứng dụng hệ thống AIM: From Meta Idea to Advanced Mathematical Discovery: Human-AI Co-Discovery of Sign-Embedding Quantum Algorithms(https://arxiv.org/abs/2606.24899)
Bài báo thuật toán lượng tử: Sign Embedding Quantum Algorithms for Matrix Equations and Matrix Functions (http://arxiv.org/abs/2604.25333)
AIM repo:https://github.com/TheoryFoundry/AIMv2AIM
blog:https://ai-mathematician.net
Bài viết từ tài khoản công chúng WeChat "QbitAI", tác giả: Đội ngũ AIR Đại học Thanh Hoa






