Lưu trữ — US — techcrunch
DeepSeek nâng cấp mô hình AI tập trung vào toán học Prover
Trung tâm nghiên cứu trí tuệ nhân tạo DeepSeek của Trung Quốc đã nâng cấp mô hình trí tuệ nhân tạo tập trung vào toán học Prover lên phiên bản V2, được lưu trữ trên HuggingFace. Xây dựng trên mô hình V3 với 671 tỷ tham số, Prover tăng cường việc chứng minh định lý hình thức và lập luận toán học thông qua cấu trúc mạng chuyên gia kết hợp. Công ty cũng có thể đang tìm kiếm nguồn vốn bên ngoài để phát triển thêm.
Điểm chính
- DeepSeek đã phát hành phiên bản V2 của mô hình Prover AI trên HuggingFace.
- Prover V2 dựa trên mô hình V3 tiên tiến hơn với 671 tỷ tham số.
- Cấu trúc MoE giúp mô hình chia tác vụ thành các tác vụ phụ để xử lý chuyên biệt một cách hiệu quả.
- Cập nhật cuối cùng cho Prover trước V2 là vào tháng 8, nhấn mạnh vào ứng dụng trong việc chứng minh định lý hình thức.
- DeepSeek đang xem xét việc huy động vốn từ bên ngoài, cho thấy kế hoạch mở rộng và phát triển tiếp theo.
Vì sao quan trọng
- Sự phát triển của các công ty tập trung vào trí tuệ nhân tạo phản ánh một xu hướng rộng hơn đến các mô hình trí tuệ nhân tạo chuyên ngành trong nhiều lĩnh vực, bao gồm giáo dục và nghiên cứu.
- Các diễn biến này đồng hành với sự tăng cường đầu tư vào công nghệ trí tuệ nhân tạo, khiến cho năm 2025 có thể là năm mà khả năng trí tuệ nhân tạo có thể biến đổi các phương pháp học truyền thống.
- Các tiến bộ của DeepSeek đóng góp vào cảnh cạnh tranh của công nghệ trí tuệ nhân tạo liên quan đến toán học, tương đương với các xu hướng tương tự trong xử lý ngôn ngữ tự nhiên và thị giác máy tính.
DeepSeek cập nhật Prover với những cải tiến đáng kể trong lĩnh vực trí tuệ nhân tạo tập trung vào toán học, đưa nó trở thành một vị trí chiến lược trong cảnh quan về công nghệ trí tuệ nhân tạo đang phát triển, trong khi tiềm năng có được nguồn vốn bên ngoài có thể thúc đẩy những đổi mới tiếp theo.