DeepSeek ra mắt mô hình mới chuyên về toán học giải mã bí ẩn vũ trụ

DeepSeek từng gây chú ý hồi đầu năm 2025 khi giới thiệu một trong những mô hình "tư duy" miễn phí đầu tiên trên thế giới. Bây giờ, công ty AI hàng đầu Trung Quốc này tiếp tục tung ra DeepSeekMath-V2, với mục tiêu đạt khả năng suy luận toán học tự kiểm chứng và chứng minh từng bước một cách chặt chẽ. Trọng tâm của mô hình là chứng minh định lý, không chỉ dừng lại ở việc đưa ra đáp án cuối cùng đúng.

Theo DeepSeek, mô hình mới vận hành theo vòng lặp “sinh – kiểm chứng”. Hãng cho biết họ đã huấn luyện một bộ kiểm chứng độc lập dựa trên LLM, chuyên dùng cho nhiệm vụ chứng minh định lý. Từ đó, bộ sinh chứng minh được huấn luyện bằng chính bộ kiểm chứng này như một mô hình phần thưởng. Bộ sinh sẽ được khuyến khích tự tìm lỗi và tự sửa trong quá trình tạo lập chứng minh. Song song đó, cơ chế mở rộng khả năng xác minh được dùng để tự động gán nhãn cho các chứng minh khó, tạo thêm dữ liệu huấn luyện nhằm cải thiện liên tục độ chính xác của bộ kiểm chứng.

DeepSeekMath-V2 đã thể hiện năng lực rất ấn tượng trong các cuộc thi toán gần đây. Mô hình đạt mức điểm tương đương huy chương vàng IMO 2025 và CMO 2024, đồng thời ghi gần trọn vẹn 118/120 điểm tại kỳ thi Putnam 2024 nhờ chiến lược tăng cường tính toán trong giai đoạn suy luận.

Mô hình được xây dựng trên nền DeepSeek-V3.2-Exp-Base và hiện đã có mặt trên HuggingFace. Người dùng muốn chạy suy luận có thể tham khảo phần hướng dẫn tích hợp trong kho DeepSeek-V3.2-Exp trên GitHub.

Việc DeepSeek tung ra mô hình này được đánh giá là rất đáng chú ý, khi nó có thể mở ra hướng tiếp cận toán học sâu hơn, từ đó thúc đẩy những khám phá khoa học mới giúp cải thiện y tế lẫn công nghệ. Các công ty AI chắc chắn chưa dừng lại; họ sẽ tiếp tục tìm kiếm các phương pháp giúp tăng cường hiểu biết toán học, và việc mô hình được mở truy cập sẽ chỉ thúc đẩy tốc độ cải tiến.

Dĩ nhiên, chưa thể kỳ vọng AI sớm giải quyết các bài toán thiên niên kỷ, nhưng nỗ lực này đóng vai trò quan trọng trong việc hỗ trợ con người tiến gần hơn đến những lời giải đó.