Mistral ra mắt Model Agent, đạt 82% trên ArXivLean với 10 triệu token cho mỗi bài toán

Hai mô hình mã nguồn mở cùng giúp chứng minh định lý tự động đạt mức cao mới. Nhóm Mistral dùng Leanstral 1.5 và Kimi K3 để tấn công bài toán, mỗi bài toán tiêu tốn tới 10 triệu token — kết quả tốt hơn hẳn so với các mô hình cùng thời điểm.