Ai sở hữu khám phá toán học? Hơn 800 nhà toán học thách thức OpenAI sau khi công ty công bố hàng trăm lời giải bài toán mở do AI tạo ra

Một nhóm hơn 800 nhà toán học đã chỉ trích gay gắt OpenAI, công ty Mỹ do Sam Altman điều hành, sau khi công ty công bố hơn 700 bản thảo chứa lời giải do trí tuệ nhân tạo tạo ra cho hàng trăm bài toán mở tồn tại lâu năm. Hiệp hội Toán học Nhân văn cho rằng việc công bố này thể hiện sự coi thường tuyệt đối các chuẩn mực nghiên cứu khoa học và kêu gọi các nhà toán học chấm dứt hợp tác với công ty. Ngày 6/10, OpenAI đăng 722 bài viết lên GitHub, chia thành 372 nhóm kết quả thuộc đại số, lý thuyết số, logic, tô pô và nhiều lĩnh vực khác, tất cả đều do một mô hình nội bộ chưa phát hành tạo ra. Công ty cho biết một số chứng minh đã được kiểm chứng hình thức, nhưng cảnh báo những chứng minh khác có thể chứa lỗi và hứa sẽ sửa chữa. Một số nhà nghiên cứu hoan nghênh kết quả như món quà cho toán học, trong khi những người khác lo ngại làn sóng chứng minh do máy tạo ra có thể vượt quá khả năng hiểu của con người, làm quá tải các tạp chí và khiến người trẻ nản lòng khi theo đuổi ngành này. Cuộc tranh cãi trở thành phép thử then chốt cho cách khoa học thích ứng với trí tuệ nhân tạo.