25 nhà toán học hàng đầu đã ký một bức thư ngỏ lập luận rằng các phòng thí nghiệm AI đang đe dọa công việc trí tuệ của họ khi họ tìm cách cạnh tranh với nhau bằng các giải pháp cho các bài toán nổi tiếng. Mỗi người ký kết đều đã được trao Huy chương Fields, được coi là giải thưởng danh giá nhất trong toán học.
Tuần này, giáo sư Tristan Buckmaster của NYU đã cáo buộc OpenAI gây áp lực buộc ông không ghi công một cộng tác viên làm việc cho Anthropic để giải một bài toán quan trọng và tự hỏi liệu công ty có sử dụng công việc của họ với Codex để tạo ra bằng chứng đột phá của riêng mình sau một cuộc suy luận kéo dài cuối tuần hay không.
Hôm thứ Năm, OpenAI đã rút tài trợ cho một sự kiện toán học tại CalTech sau khi công ty bị các nhà nghiên cứu tại trường đại học chỉ trích.
Mặc dù khả năng của các mô hình AI trong việc giải quyết các thách thức toán học nổi bật của thế giới có thể mang lại lợi ích cho nhân loại, nhưng những người ký tên trong bức thư mới cho rằng điều đó sẽ chỉ đúng nếu những giải pháp đó có thể được cộng đồng toán học và cuối cùng là phần còn lại của thế giới hiểu và truyền đạt.
Họ viết: “Thường thì các giải pháp này được công bố một cách vội vàng, không có thời gian để viết bài thích hợp, tách biệt các phương pháp và ý tưởng mới cũng như trích dẫn công việc trước đây có liên quan của những người khác,” và bằng chứng của OpenAI vẫn chưa được xác minh. “Giống như trong tất cả các ngành nghề sáng tạo, điều này đặt ra những câu hỏi nghiêm trọng về ghi công và đạo văn. Hơn nữa, nếu không có các nhà toán học sẵn lòng đảm trách việc phát triển và tích hợp chúng vào quy chuẩn toán học, các ý tưởng do AI hình thành sẽ không bao giờ trở nên sống động hoàn toàn và chuỗi truyền tải quan trọng của con người giữa các nhà toán học sẽ bị mất.”
Với việc các nhà toán học khác ngày càng hoang tưởng và tự hỏi liệu việc sử dụng Codex của họ có được đưa vào các mô hình mới của OpenAI hay không, người ta thực sự lo ngại rằng văn hóa nghiên cứu mở sẽ bị đe dọa. Ngày nay, nếu các phòng thí nghiệm ở biên giới nhìn thấy con đường hữu ích dẫn đến khám phá, họ có thể chi hàng chục triệu đô la bằng cách sử dụng LLM để đánh bại các nhà nghiên cứu ban đầu về bằng chứng – một động lực sẽ khuyến khích tính bí mật.
Bức thư này tuân theo Tuyên bố Leiden, được một nhóm các nhà toán học công bố vào tháng 6. Tài liệu đó cũng đề cập đến những cách mà các bằng chứng LLM sẽ thay đổi công việc của họ và đưa ra một loạt khuyến nghị cho các nhà toán học, tổ chức và nhà hoạch định chính sách.
Cũng như với công nghệ phần mềm và các lĩnh vực khác mà các công cụ AI đang thay đổi quy trình làm việc, các nhà toán học tìm thấy sự biện minh trong công việc xung quanh công việc: Giá trị trong toán học không chỉ là bằng chứng và ai được ghi nhận, mà là siêu cấu trúc trí tuệ nuôi dưỡng học sinh, tìm ra câu hỏi và ý tưởng mới, đồng thời tích hợp chúng vào nền văn minh nhân loại rộng lớn hơn.
Và nếu bạn không đặc biệt quan tâm đến thế giới khốc liệt của các chứng minh toán học có tính rủi ro cao, đừng quên: lĩnh vực mà bạn quan tâm là lĩnh vực tiếp theo.
Họ viết: “Các vấn đề mà cộng đồng toán học phải đối mặt hiện nay cũng tương tự như các vấn đề mà các ngành khoa học và sáng tạo khác đang gặp phải, đồng thời chỉ ra những vấn đề mà toàn nhân loại có thể gặp phải: làm thế nào để đảm bảo rằng khi AI thay đổi cách thực hiện công việc, chúng ta sẽ không đánh mất mục tiêu mà công việc đó phải đạt được ngay từ đầu”.
Khi bạn mua hàng thông qua các liên kết trong bài viết của chúng tôi, chúng tôi có thể kiếm được một khoản hoa hồng nhỏ. Điều này không ảnh hưởng đến tính độc lập biên tập của chúng tôi.