Đang tải bảng tin…
DevOps.com0 Hot2 bình luận5 phút đọc
Mistral Releases Leanstral 1.5, an Open Model That Solved 587 of 672 Putnam Math Problems
Tóm tắt bởi AI
Mistral AI vừa ra mắt Leanstral 1.5, một mô hình hỗn hợp chuyên biệt (119B tham số, ~6B hoạt động) dành cho việc viết và xác minh chứng minh hình thức trong Lean 4, giải được 587/672 bài toán Putnam và đạt 100% trên miniF2F. Ngoài ra, mô hình còn hoạt động như một tác nhân mã hóa, phát hiện 5 lỗi chưa biết trong 57 kho mã nguồn mở nhờ cơ chế phản hồi được xác nhận bởi trình biên dịch.
Vì sao nên đọc: Lập trình viên nên đọc bài này vì Leanstral 1.5 không chỉ là một công cụ giải quyết toán học mà còn là một mô hình AI có khả năng phát hiện lỗi trong mã nguồn thực tế, giúp tối ưu hóa chất lượng code và hiệu suất trong các dự án lớn.
Bạn nhớ được gì?
Trả lời 3 câu hỏi ngắn để nhận điểm thưởng cho bài này. Chỉ làm khi bạn muốn lấy điểm.
tối đa +17 điểm
3 câu hỏi · dưới một phút · không bắt buộc
Nguồn: https://devops.com/mistral-releases-leanstral-1-5-an-open-model-that-solved-587-of-672-putnam-math-problems. 8sync News chỉ tóm tắt và dẫn link; bản quyền nội dung thuộc tác giả và nguồn gốc.
Đề xuất cho bạn
PromptLayer Blog1 Hot5 phútAI
Top 5 Chinese LLMs: The Models Powering China’s AI Surge in 2024–25
Năm mô hình ngôn ngữ lớn (LLM) hàng đầu của Trung Quốc nổi bật giai đoạn 2024–2026 gồm DeepSeek R1 (671B MoE, cấp phép MIT, mạnh về toán/lập trình), Alibaba Qwen-3 (235B MoE với chế độ hybrid/fast), Baidu ERNIE 4.5 & X1 (đa phương tiện và agentic), Huawei PanGu-Σ/5.0 (hơn nghìn tỷ tham số, phục vụ công nghiệp), và Zhipu GLM-4.5 (hơn 355B MoE, top 3 toàn cầu về benchmark). Chúng thể hiện ưu thế về hiệu quả MoE, khả năng agentic, mã nguồn mở và giá thành thấp hơn đáng kể so với các đối thủ phương Tây.
Nếu bạn là lập trình viên muốn tối ưu hóa hiệu suất phát triển, hiểu về các công nghệ tiên tiến trong AI và tìm kiếm giải pháp hiệu quả về chi phí cho dự án của mình, bài viết này sẽ cung cấp những kiến thức về các mô hình ngôn ngữ lớn của Trung Quốc đang định hình tương lai công nghệ.
