Chuyên gia Toán học Tao Trạch Hiên và Vương Hồng nhấn mạnh: Đối mặt với sự bùng nổ các chứng minh do AI tạo ra, cộng đồng toán học cần học cách "tiêu hóa" chúng, chứ không chỉ đơn thuần tiếp nhận. Tao Trạch Hiên dành nhiều ngày để phân tích, tinh chỉnh và tái cấu trúc một chứng minh có sự tham gia của AI cho Giả thuyết Sendov tồn tại 67 năm. Ông chỉ ra rằng một công trình toán học hoàn chỉnh không dừng lại ở việc được chứng minh, mà còn cần được kiểm chứng, giải thích rõ ràng, xuất bản và tích hợp vào hệ thống kiến thức hiện có. Việc "tiêu hóa" này giúp đơn giản hóa lập luận, mở rộng kết quả (như mở rộng sang Giả thuyết Phelps–Rodriguez) và làm cho tri thức thực sự khả dụng. Ông kêu gọi thay đổi văn hóa nghiên cứu, coi trọng công việc diễn giải và hợp nhất chứng minh, đồng thời giới thiệu kho lưu trữ "Palomar" để đăng ký, theo dõi và hợp tác trên các kết quả đã được xác minh, nhằm đảm bảo quyền ưu tiên dựa trên một bộ thành tựu hoàn chỉnh chứ không chỉ là thời điểm công bố đầu tiên.
marsbit7天前
