Nội dung bài viết
Liên minh Toán học Quốc tế tán thành cảnh báo về ảnh hưởng của ngành công nghệ Các nhà toán học cảnh báo về ảnh hưởng ngày càng tăng của ngành công nghệ trong một tuyên bố mô tả nhiều thách thức mà AI đặt ra cho nghiên cứu toán học.
Thời điểm đưa ra tuyên bố này diễn ra hai tuần sau khi OpenAI công bố một trong những mô hình AI của mình đã bác bỏ một giả thuyết toán học 80 năm tuổi về hình học.
Tuyên bố này được phát triển bởi một nhóm làm việc gồm 16 nhà nghiên cứu trong vòng 8 tháng sau hội nghị được tổ chức tại Đại học Leiden ở Hà Lan vào tháng 9 năm 2025.
Được xuất bản vào ngày 2 tháng 6 năm 2026, Tuyên bố Leiden về Trí tuệ nhân tạo và Toán học đã được xác nhận bởi Liên minh Toán học Quốc tế—tổ chức phi chính phủ quốc tế tổ chức các hội nghị và giám sát các giải thưởng uy tín nhất trong toán học như Huy chương Fields.
Kevin Buzzard, một nhà toán học tại Imperial College London, cho biết: “Các nhà toán học sẽ thấy khá ngạc nhiên khi các công ty công nghệ đột nhiên quan tâm đến công việc của họ”.
“Tuyên bố Leiden là một phản ứng được cân nhắc kỹ lưỡng đối với những gì hiện đang xảy ra, khi AI tiếp tục phá vỡ không gian này.” Th e Tuyên bố Leiden, đã thu hút hàng trăm bên ký kết, cảnh báo rằng những phát triển AI gần đây đang đe dọa “các giá trị đặc trưng” của nghiên cứu toán học, “thường theo những cách ảnh hưởng không tương xứng đến sinh viên và các nhà toán học mới bắt đầu sự nghiệp, và do đó ảnh hưởng đến tương lai lâu dài của ngành học”.
Đầu tiên, nó chỉ ra cách các mô hình AI có thể “tạo ra những lập luận hợp lý nhưng không đáng tin cậy (hoặc thậm chí không chính xác), rất khó phân biệt với các bằng chứng toán học chính xác”.
Tuyên bố cảnh báo những diễn biến như vậy khiến những người đánh giá chịu áp lực ngày càng tăng và đang “gây nguy hiểm cho khả năng của chúng tôi trong việc thực hiện các tiêu chuẩn truyền thống về tính chính xác, minh bạch và khả năng xác minh độc lập của bằng chứng”.
Leslie Ann Goldberg, người đứng đầu khoa học máy tính tại Đại học Oxford, cho biết: “Các bản thảo không chính xác do AI tạo ra có chi phí sản xuất rẻ và có nguy cơ làm lộn xộn tài liệu với các kết quả được xác nhận là sai”.
“Một khi điều đó xảy ra, các sai sót có thể sẽ lan rộng vì các kết quả mới được xây dựng trên nền tảng sai sót”. Thứ ba, tuyên bố mô tả việc sử dụng AI “có thể được khuyến khích vì lợi ích riêng của nó, làm gián đoạn các cơ chế tuyển dụng, tài trợ của chúng ta”.
nd được công nhận” trong khi loại bỏ những nhà nghiên cứu thiếu khả năng tiếp cận hoặc “không muốn sử dụng các công nghệ do các tổ chức có giá trị mà họ không chia sẻ” kiểm soát.
Thứ tư, tuyên bố cảnh báo chống lại nghiên cứu toán học “được truyền đạt thông qua các kênh không chính thức như thông cáo báo chí hoặc bài đăng trên blog, thường không có bất kỳ tài liệu nghiên cứu nào hoặc tiết lộ thông tin cần thiết cho đánh giá khoa học”.
Các chiến lược truyền thông như vậy có thể dẫn đến “sự đơn giản hóa quá mức” trong việc đưa tin trên các phương tiện truyền thông, nhấn mạnh quá mức tầm quan trọng của các công cụ AI mà bỏ qua sự đóng góp trước đây của con người và “sử dụng sai các nhiệm vụ toán học cụ thể làm thước đo cho khả năng suy luận chung của các sản phẩm thương mại”.
Thứ năm, tuyên bố mô tả “sự tham gia ngày càng tăng của các công ty công nghệ vào nghiên cứu toán học” đang đe dọa “quyền tự chủ của toán học”, đặc biệt khi ngân sách của các trường đại học đang chịu áp lực và các nhà nghiên cứu có thể cảm thấy có động lực chuyên môn lớn hơn để cộng tác với các công ty công nghệ về “các điều khoản bất đối xứng”.
Điều này cũng làm tăng nguy cơ các câu hỏi nghiên cứu toán học phù hợp với các kỹ thuật do AI điều khiển có thể được ưu tiên.
Nhiều cảnh báo của Tuyên bố Leiden có vẻ đặc biệt phù hợp thích cách OpenAI công bố thành tựu toán học của mô hình của mình vào cùng ngày mà các ấn phẩm tin tức đưa tin công ty đang chuẩn bị chào bán cổ phiếu ra công chúng.
Tuyên bố mô tả rõ ràng các thông cáo báo chí của công ty nêu bật những thành tựu toán học AI đang hoạt động theo “các mốc thời gian của thị trường trước khi các quy trình đánh giá cộng đồng về toán học được chấp nhận có thể diễn ra”.
Michael Harris, nhà toán học tại Đại học Columbia và là tác giả của tuyên bố, cho biết trong một cuộc phỏng vấn với New York Times: “Ngành công nghệ phát triển theo logic thương mại, đi ngược lại với các giá trị của toán học”.
Ông cũng nói về nỗ lực của tuyên bố nhằm “khôi phục quyền kiểm soát câu chuyện về các giá trị và mục tiêu của toán học từ ngành AI”. OpenAI đã tải lên một bài nghiên cứu mô tả bằng chứng toán học của mô hình AI cùng với lời bình luận từ các nhà toán học độc lập.
Nhưng công ty không tiết lộ thông tin về lời nhắc, dữ liệu đào tạo AI và lượng tài nguyên tính toán được sử dụng để giải các vấn đề toán học được đề cập, Rodrigo Ochigame, nhà sử học và nhân chủng học về máy tính và trí tuệ nhân tạo tại Đại học Leiden và một tác giả khác của tuyên bố.
Ochigame nói với The New York Times: “Mô hình AI là độc quyền và không có sẵn cho bất kỳ ai bên ngoài công ty”.
“Chúng tôi nhận được một video quảng cáo hào nhoáng, trong khi thông tin cơ bản cần thiết để đánh giá ý nghĩa khoa học của kết quả lại được giữ bí mật.” Ursula Martin, nhà toán học và nhà khoa học máy tính tại Đại học Oxford và là tác giả của tuyên bố, cho biết trong cuộc phỏng vấn với The New York Times rằng thành tựu của OpenAI là “đáng chú ý” nhưng có thể liên quan đến các nguồn tài nguyên tính toán đáng kể.
Bà gợi ý rằng những nỗ lực tương đương từ các nhà toán học con người có lẽ sẽ giải quyết được các vấn đề theo cách tương tự, và bà cảnh báo rằng toán học cũng là quá trình “nuôi dưỡng các ý tưởng, sự hiểu biết, khả năng phán đoán và hiểu biết sâu sắc của con người” ngoài việc giải quyết các vấn đề.
Những biểu hiện tương tự ủng hộ những nỗ lực trí tuệ của con người trong toán học xuất hiện trong các xác nhận được công bố trên trang web Tuyên bố Leiden.
Peter Scholze, giám đốc Viện Toán học Max Planck, cho biết: “Theo kinh nghiệm của tôi, những ý tưởng toán học, giống như trẻ em, phải được nuôi dưỡng và phát triển theo năm tháng”.
“Giống như tôi không muốn con mình bị được giáo dục bởi AI, tôi đang cân nhắc các ý tưởng toán học của mình mà không sử dụng AI và thường tránh đọc văn bản do AI tạo ra một cách tốt nhất có thể.” Vậy nhà toán học con người phải làm gì trong thời kỳ bùng nổ AI?
Tuyên bố Leiden khuyến nghị các nhà toán học cá nhân tiết lộ một cách minh bạch việc sử dụng các công cụ AI, chịu trách nhiệm về tính chính xác của công việc toán học của họ, tiếp tục ghi nhận tác giả là con người trong khi ghi công chính xác cho công việc ngay cả khi các công cụ AI gây khó khăn và cân nhắc chỉ sử dụng các công cụ AI phù hợp với các giá trị được nêu rõ trong tuyên bố
Gợi ý thực hành:
1. Theo dõi thông báo từ cơ quan địa phương tại California.
2. Kiểm tra nguồn chính thức trước khi chia sẻ lại thông tin.