Mô hình
Mistral AI ra mắt Leanstral 1.5: Mô hình mã nguồn mở đột phá cho chứng minh toán học
(giờ Việt Nam)
Tóm tắt AI
Mistral AI giới thiệu Leanstral 1.5, mô hình 119B tham số tối ưu cho Lean 4 với hiệu suất dẫn đầu các bài kiểm tra toán học PutnamBench và FATE, đồng thời tiết kiệm chi phí vận hành đáng kể so với các đối thủ.
Bài viết được AI dịch và tổng hợp tự động từ IT Home. Liên kết bài gốc ở phía trên. AIHOT.vn luôn dẫn nguồn đầy đủ — nếu bạn thấy điểm cần chỉnh sửa, hãy gửi ý kiến tại trang phản hồi.