25 Nhà Toán Học Gửi Thư Ngỏ Chỉ Trích OpenAI

Nhóm này cho rằng các phòng thí nghiệm AI đang cố vượt nhau bằng các lời giải cho những bài toán nổi tiếng. Họ nói kết quả chỉ có giá trị khi cộng đồng toán học có thể hiểu và truyền đạt lại, rồi cuối cùng là cả thế giới.

Tuần này, Tristan Buckmaster, giáo sư ở NYU, nói OpenAI đã gây sức ép để ông không ghi công một cộng tác viên làm việc cho Anthropic vì đã giải một bài toán quan trọng. Ông cũng đặt câu hỏi liệu công ty có dùng công việc chung với Codex để tạo ra chứng minh của riêng mình sau một cuối tuần chạy suy luận kéo dài hay không.

Thứ Năm, OpenAI rút tài trợ cho một sự kiện toán học tại CalTech sau khi bị các nhà nghiên cứu ở trường này chỉ trích. Chứng minh mà công ty đưa ra vẫn chưa được xác minh.

Trong thư ngỏ, các tác giả viết rằng các lời giải thường được công bố quá vội, không còn thời gian cho bản trình bày đầy đủ, tách ra các phương pháp và ý tưởng mới, cũng như trích dẫn đúng công trình trước đó. Họ nói điều đó đặt ra câu hỏi nghiêm trọng về ghi công và đạo văn.

Nhóm này cũng nói rằng nếu không có các nhà toán học sẵn sàng chăm lo cho việc phát triển và đưa các ý tưởng vào canon toán học, những ý tưởng do AI tạo ra sẽ không bao giờ thực sự sống và chuỗi truyền thừa giữa các nhà toán học sẽ bị mất. Họ cảnh báo văn hóa nghiên cứu mở có thể bị đe dọa.

Thư ngỏ này nối tiếp Leiden Declaration, được một nhóm nhà toán học công bố vào tháng 6. Tuyên bố đó cũng bàn về cách các chứng minh do LLM tạo ra sẽ làm thay đổi công việc của họ và đưa ra các khuyến nghị cho nhà toán học, cơ quan và người làm chính sách.