Tác giả Hacker News chỉ trích cách OpenAI công bố kết quả về Partition Principle
Một nhà toán học viết trên Hacker News đã chỉ trích mạnh mẽ thông báo và bản preprint của OpenAI về Partition Principle, một bài toán trong lý thuyết tập hợp liên quan đến việc một giả định toán học cơ bản có suy ra Tiên đề Lựa chọn hay không. Sau khi xem qua bài báo, tác giả cho rằng cấu trúc, thuật ngữ, cách phát biểu định lý và phần tài liệu tham khảo đều thiếu rõ ràng, chưa đạt chuẩn của một preprint toán học nghiêm túc. Tác giả lập luận rằng việc OpenAI công bố hàng trăm lời giải khó đọc đã đẩy gánh nặng sang các nhà toán học, buộc họ phải dành nhiều thời gian để xác định kết quả nào đúng hoặc có ý nghĩa. Người viết cũng phản đối việc OpenAI mô tả thận trọng đây là “tiến bộ”, trong khi truyền thông lại diễn giải rộng rãi rằng một bài toán hơn một thế kỷ đã được giải mà chưa có đủ đóng góp từ các chuyên gia trong lĩnh vực. Mối lo lớn hơn là các kết quả toán học do AI tạo ra nhưng được trình bày kém có thể khiến công chúng, các tổ chức tài trợ và nhà hoạch định chính sách nghĩ rằng AI có thể thay thế các nhà toán học. Về thực tế, bài viết cho rằng AI trong toán học không chỉ cần tạo ra chứng minh hình thức, mà còn phải giải thích rõ ràng, được phản biện và truyền đạt kết quả theo cách các nhà nghiên cứu có thể sử dụng.
Các nhà toán học và người dùng AI cho nghiên cứu nên xem đây là lời cảnh báo: một tập hợp chứng minh hoặc kết quả do AI tạo ra chưa đủ để được coi là lời giải có giá trị nếu thiếu diễn giải rõ ràng và thẩm định chuyên môn. Với các kết quả toán học do AI công bố, nên chờ đánh giá độc lập thay vì chỉ dựa vào tuyên bố tiếp thị hoặc cách đưa tin của truyền thông.
Đọc bài gốc