---
format: "aidr-story-markdown/v1"
id: "676eaec7e95ba659a52ddf8b95cd3dcba49f2e16da947fb7a35b77bda58bb8b4"
canonical_url: "https://aidr.today/676eaec7?lang=vi"
title: "Mistral ra mắt Model Agent, đạt 82% trên ArXivLean với 10 triệu token cho mỗi bài toán"
lang: "vi"
requested_lang: "vi"
available_langs: ["en","vi"]
translation_fallback: null
fallback_fields: []
published_at: "2026-09-11T16:54:17.000Z"
category: "Research"
topics: ["mistral","kimi","theorem-proving","reasoning","benchmark","open-source"]
source_urls: ["https://huggingnews.com/ai/mistral-open-model-agent-scores-82percent-on-arxivlean-with-10-million-t-7b1f6b8e"]
summary: "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."
---

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

> [Open the canonical story](<https://aidr.today/676eaec7?lang=vi>)

**Published:** 2026-09-11T16:54:17.000Z
**Category:** Research
**Topics:** mistral, kimi, theorem\-proving, reasoning, benchmark, open\-source

## Summary

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\.

## Sources

- [Story source](<https://huggingnews.com/ai/mistral-open-model-agent-scores-82percent-on-arxivlean-with-10-million-t-7b1f6b8e>)