Tuyên bố Leiden: Định hình tương lai của AI trong nghiên cứu Toán học

Tuyên bố Leiden về Trí tuệ Nhân tạo và Toán học vừa được chính thức công bố, đánh dấu một bước tiến quan trọng trong việc thảo luận về vai trò của công nghệ AI trong nghiên cứu toán học. Văn bản này được phát triển sau một hội thảo chuyên đề diễn ra vào năm 2025 tại Trung tâm Lorentz ở Leiden (Hà Lan), với sự tham vấn và đóng góp từ một nhóm các nhà nghiên cứu quốc tế.

Tuyên bố tập trung vào việc mô tả nhiều cách thức mà các hệ thống AI đang được áp dụng trong toán học, đặc biệt là trong việc hình thức hóa các chứng minh toán học (formalisation of proofs). Tuy nhiên, bên cạnh những lợi ích tiềm năng, tài liệu cũng chỉ ra những lo ngại sâu sắc về việc AI có thể ảnh hưởng như thế nào đến các quy trình nghiên cứu toán học truyền thống đã được thiết lập từ lâu.

Những thách thức đặt ra

Các tác giả của Tuyên bố Leiden đã xác định một số vấn đề tiềm ẩn mà cộng đồng toán học phải đối mặt trong kỷ nguyên AI. Một trong những mối lo ngại hàng đầu liên quan đến độ tin cậy của các kết quả được tạo ra tự động. Khi AI đóng vai trò lớn hơn trong việc đưa ra các giả thuyết hoặc chứng minh, việc đảm bảo tính chính xác trở nên quan trọng hơn bao giờ hết.

Ngoài ra, vấn đề về quyền tác giả và sự ghi nhận công lao (attribution) đối với các kết quả được sản xuất bằng cách sử dụng các mô hình độc quyền (proprietary models) cũng gây nhiều tranh cãi. Tuyên bố cũng đề cập đến tác động của các công cụ mới đối với các thực hành xuất bản và quy trình đánh giá ngang hàng (peer review), cũng như vai trò ngày càng lớn của các tổ chức thương mại trong lĩnh vực này.

Khuyến nghị cho các bên liên quan

Để giải quyết các vấn đề trên, Tuyên bố Leiden đưa ra các khuyến nghị cụ thể nhắm đến các nhóm đối tượng khác nhau:

Đối với các nhà nghiên cứu cá nhân:

• Cần minh bạch trong việc tiết lộ việc sử dụng các công cụ AI trong công việc của mình.
• Phải chịu trách nhiệm đảm bảo tính chính xác của các kết quả nghiên cứu, không hoàn toàn phụ thuộc vào AI.
• Đảm bảo trích dẫn phù hợp các công trình tiền nhiệm và các công cụ AI đã sử dụng.

Đối với các tổ chức chuyên môn và cơ quan tài trợ:

• Đề xuất phát triển các chính sách rõ ràng về việc sử dụng AI trong xuất bản và đánh giá khoa học.
• Duy trì các tiêu chuẩn kiểm duyệt và giám sát hiện có để đảm bảo chất lượng nghiên cứu.

Đối với các nhà hoạch định chính sách:

• Cần xem xét các vấn đề liên quan đến quy định pháp lý, đầu tư công vào cơ sở hạ tầng nghiên cứu.
• Sử dụng lời khuyên từ các chuyên gia để đánh giá các tuyên bố về khả năng của các hệ thống AI.

Tuyên bố Leiden được xem là một khung tham chiếu quan trọng để đảm bảo rằng sự tích hợp AI vào toán học được thực hiện một cách có trách nhiệm, minh bạch và có lợi cho sự tiến bộ của khoa học.