OpenAI tung 372 chứng minh toán học do AI tạo ra lên GitHub, thách thức giới học thuật theo kịp

OpenAI vừa công bố 372 kết quả toán học do AI tạo ra trên GitHub, bao gồm các bản hình thức hóa Lean để máy tính xác minh. Mỗi kết quả tiêu tốn trung bình khoảng ba giờ tính toán trên ChatGPT Pro. Tuy nhiên, 25 người chiến thắng Fields Medal cảnh báo rằng việc sản xuất hàng loạt chân lý toán học có thể phá hủy mảnh đất màu mỡ thay vì mang lại những ý tưởng mới. Bài viết OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up xuất hiện lần đầu trên The Decoder.