OpenAI Rút Tài Trợ Hackathon Tại Caltech Sau Khi Dư Luận Toán Học Phản Đối
OpenAI đã rút khỏi việc tài trợ cho cuộc thi hackathon toán học tại Caltech sau khi các nhà toán học công bố thư ngỏ phản đối các công ty AI đưa ra những tuyên bố nghiên cứu chưa được kiểm chứng. Động thái này diễn ra sau khi OpenAI gây tranh cãi khi tuyên bố các agent AI của họ đã giải được phương trình Navier-Stokes nổi tiếng, khiến giới học thuật chỉ trích vì tạo thêm gánh nặng xác minh không công và nghi ngờ việc sử dụng dữ liệu người dùng trái phép. Tranh chấp này thể hiện sự căng thẳng ngày càng tăng giữa các phòng thí nghiệm AI hàng đầu và giới học thuật xung quanh đạo đức nghiên cứu, việc ghi nhận công ơn và gánh nặng của các sản phẩm AI chưa kiểm chứng đối với quy trình phản biện khoa học. Điều này chứng tỏ các viện nghiên cứu và chuyên gia đang phản ứng mạnh mẽ chống lại việc các công ty AI thương mại lợi dụng sự kiện học thuật và đóng góp của nhà khoa học để quảng cáo hoặc huấn luyện mô hình. Các nhà toán học phản đối đã dùng thuật ngữ 'toán học rác' (slop math) để mô tả các chứng minh AI dở dang, buộc các nhà nghiên cứu con người phải tốn thời gian xác minh mà không nhận được thù lao hay sự ghi nhận. Bên cạnh đó, nhà toán học Tristan Buckmaster từ Đại học New York lo ngại rằng OpenAI có thể đã lợi dụng dữ liệu trò chuyện từ các tương tác nghiên cứu của ông với công cụ AI để đưa ra tuyên bố giải phương trình Navier-Stokes.
## KIẾN THỨC NỀN
Phương trình Navier-Stokes mô tả chuyển động của chất lưu và là một trong bảy Bài toán Giải thưởng Thiên niên kỷ của toán học với giải thưởng 1 triệu USD cho việc chứng minh sự tồn tại và tính trơn của nghiệm ba chiều. Gần đây, các công ty AI hàng đầu ngày càng tăng cường ứng dụng mô hình ngôn ngữ lớn và hệ thống đa agent để giải quyết các giả thuyết toán học chưa có lời giải, làm dấy lên tranh cãi về bản quyền trí tuệ và độ chính xác khoa học.