AI Toán học của Đại học Thanh Hoa đã đến, từ ý tưởng đến định lý, tham gia hoàn thành bài báo 84 trang về thuật toán lượng tử
AI toán học từ Đại học Thanh Hoa đã xuất hiện, không chỉ để giải các bài toán đã biết mà còn tham gia sâu vào quá trình nghiên cứu tiền đề, từ ý tưởng mơ hồ đến định lý hoàn chỉnh. Hệ thống tác nhân thông minh AIM (trực thuộc Viện Nghiên cứu Công nghiệp Thông minh - AIR) do nhóm Giáo sư Lưu Dương phát triển đã hỗ trợ đắc lực trong một nghiên cứu thuật toán lượng tử dài 84 trang với sự tham gia của nghiên cứu sinh Vương Ngạn Kiều và trợ lý giáo sư Lưu Cẩm Bằng.
Nghiên cứu bắt đầu từ một trực giác: "Phép xấp xỉ hữu tỉ liệu có thể trở thành một nguyên tắc thiết kế thuật toán lượng tử không?" AIM giúp mở rộng các hướng đi tiềm năng, tổ chức định lý, phát thảo chứng minh và phân tích độ phức tạp. Con người đóng vai trò then chốt trong việc sàng lọc hướng nghiên cứu, kiểm tra giả định và sửa chữa suy luận. Quy trình cộng tác này bao gồm năm bước: Mở rộng đường hướng, Cổng giá trị con người, Hình thành định lý, Kiểm toán độ phức tạp, và Xác minh tích hợp.
Kết quả là thuật toán lượng tử "Nhúng dấu" (Sign Embedding) được đề xuất, cung cấp một khung thống nhất cho các bài toán phương trình ma trận (Sylvester, Lyapunov, Riccati) và hàm ma trận. Nghiên cứu minh họa một mô hình hợp tác hiệu quả: AI tăng cường mật độ khám phá và hiệu suất suy diễn, trong khi nhà nghiên cứu giữ vai trò quyết định trong đánh giá giá trị, giả định và đóng góp cuối cùng. Điều này cho thấy tiềm năng của AI trong việc hỗ trợ toàn bộ quy trình nghiên cứu lý thuyết, chứ không chỉ dừng lại ở các nhiệm vụ cục bộ.
marsbit07/10 02:55
