AI giải được điều mà con người không thể
Một mô hình trí tuệ nhân tạo đã giải được một bài toán hình học 80 năm tuổi do nhà toán học huyền thoại người Hungary Paul Erdős đưa ra, làm cho giới toán học kinh ngạc. Bài toán Erdős, một trong khoảng 1.200 thách thức chưa có lời giải mà Erdős để lại, đã chống lại mọi nỗ lực của con người kể từ những năm 1940. Các nhà nghiên cứu phát hiện ra rằng AI đã khám phá ra một cách sắp xếp các điểm ghép cặp phức tạp hơn - một điều mà các nhà toán học chưa bao giờ tưởng tượng ra - mang lại tốc độ tăng trưởng lớn hơn so với các phương pháp thông thường.
Các nhà toán học kêu gọi các biện pháp bảo vệ
Bước đột phá này đã gây ra cả sự phấn khích và lo ngại. "Đây là những gì AI tìm thấy, chúng tôi đã bỏ lỡ nó như thế nào và tại sao nó lại quan trọng," Wall Street Journal viết. Nhưng cộng đồng toán học cũng đang kêu gọi thận trọng. Tuyên bố Leiden, được ký bởi các nhà toán học hàng đầu, kêu gọi giám sát việc sử dụng AI trong nghiên cứu toán học, cảnh báo rằng việc phụ thuộc quá nhiều vào AI có thể làm suy yếu sự sáng tạo của con người, vốn là cốt lõi của khám phá toán học.
Một kỷ nguyên mới cho AI trong khoa học
Tạp chí Scientific American gọi thành tựu này là "bước đột phá toán học lớn nhất của AI". Lời giải này chứng minh rằng AI hiện có thể đóng góp vào các khám phá toán học chân chính, không chỉ tính toán. Trong khi một số người ca ngợi đây là một công cụ để tăng tốc nghiên cứu, những người khác lo ngại nó có thể thay đổi bản chất của chứng minh toán học. Cuộc tranh luận này phản ánh các cuộc trò chuyện rộng lớn hơn trong khoa học về việc vạch ra ranh giới giữa hỗ trợ của AI và khám phá do con người dẫn dắt.