Nhà Toán Học Tố OpenAI Dùng Công Việc Của Mình

Buckmaster là giáo sư tại New York University. Trong tuần rưỡi sau khi công khai cáo buộc OpenAI sao chép cách tiếp cận của mình, ông nói đã dùng Codex để chỉnh bài nghiên cứu.

Khi có thời gian làm toán, ông nói công cụ này giúp ông hiểu các bước suy luận mà các agent của OpenAI có thể đã đi qua từ các công việc trước đó đến bản chứng minh cuối cùng. Buckmaster nói thời gian làm toán của ông rất hiếm.

Ông cũng đã dùng Codex và Claude của Anthropic để làm việc về bài toán Navier-Stokes về tồn tại và tính trơn cùng nhà nghiên cứu Levent Alpöge của Anthropic. Buckmaster nói OpenAI đã triển khai hàng chục nghìn agent để đi đến lời giải, nhưng chỉ sau khi biết phương trình này gần được giải xong.

Buckmaster nói việc cho thấy AI đẩy xa giới hạn của toán học còn quan trọng hơn kết quả. Ông cho rằng việc tạo ra lời giải cho các bài toán lâu năm mà không ghi đủ công lao của con người đứng sau là vô trách nhiệm và trẻ con.

Andreas Thom cũng nêu lo ngại tương tự. Khi OpenAI nói hồi tháng 8 rằng model Astra của họ đã dùng các kỹ thuật mà ông phát triển suốt hai thập kỷ để chứng minh một bài toán lâu năm, ông nói ông rất ngạc nhiên và tự hỏi họ biết về chúng bằng cách nào.

Trong thư điện tử tháng 8, Thom hỏi Mark Sellke và Sébastien Bubeck. Ông chỉ ra tuyên bố rằng 10 năm qua không có tiến triển đã bỏ qua bài báo năm 2019 của ông và công trình của các nhà toán học khác, rồi OpenAI sửa thông cáo.