25 người đoạt Huy chương Fields đồng loạt chỉ trích các công ty AI: Đừng lấy các bài toán khó của toán học làm Benchmark

动察 Beating AI tin nhanh, Terence Tao, Deng Yu, Peter Scholze và 25 nhà toán học từng đoạt Huy chương Fields đã cùng ký tuyên bố, cho rằng các công ty AI đang biến việc giải các bài toán lớn thành benchmark, và điều này đã bắt đầu gây tổn hại cho nghiên cứu toán học. Tuyên bố thừa nhận rằng các mô hình lớn trong vài tháng gần đây tiến bộ rất nhanh, đã có thể giải quyết nhiều vấn đề quan trọng chưa có lời giải trong nhiều lĩnh vực, nhưng toán học coi trọng hơn những khái niệm mới, phương pháp mới và sự hiểu biết nảy sinh từ đó.

Điều khiến họ bất mãn nhất là các công ty AI tranh nhau công bố kết quả. Tuyên bố nói rằng một số lời giải chưa kịp chỉnh lý thành chứng minh đầy đủ, chắt lọc phương pháp mới, bổ sung các trích dẫn trước đó, thì đã được công bố ra bên ngoài, từ đó dẫn đến các vấn đề nghiêm trọng về ghi danh và đạo văn. Nếu không có các nhà toán học tiếp tục tiêu hóa và chỉnh lý những kết quả này, những ý tưởng mà AI tìm ra cũng rất khó thực sự đi vào hệ thống toán học.

Tuyên bố không nêu đích danh OpenAI, nhưng bài báo kèm theo của The Economist lại trực tiếp đặt tiêu đề là “Các nhà toán học hàng đầu tức giận trước cách làm của OpenAI”. Vài ngày trước, OpenAI vừa rơi vào tranh cãi về ghi danh và nghiên cứu chưa công bố liên quan đến chứng minh Navier-Stokes. Terence Tao cho biết tuyên bố này được 25 nhà toán học từng đoạt Huy chương Fields nhanh chóng hình thành sau các cuộc thảo luận trong tuần qua, vì họ cho rằng tình hình đã đủ khẩn cấp.