AI mã nguồn mở của DeepSeek ngang tầm đối thủ trong toán học cao cấp, đặt ra câu hỏi thị trường