Unverified50% confidenceOpinionExact time

Mistral 系列模型以开源、高效为特点，适合本地部署和针对数学语料进行领域微调，Leanstral 命名中的'stral'可能源于此

1

Sources

50%

Confidence

Medium-term (~90 days)

Relevance

7/7/2026

First Seen

Valid until: 10/5/2026

Sources

Leanstral 1.5：AI 辅助形式化证明，让 Lean 定理验证触手可及

hackernewshackernews7/3/2026

Related Claims

UnverifiedMistral发布了名为Shieldstral的模型，这是一款30亿参数的开源权重多模态内容审核模型74% similar VerifiedMistral是法国AI公司，以高效的开源模型著称73% similar UnverifiedMistral首次将旗舰模型的所有能力整合到一个多功能模型中70% similar UnverifiedMistral、Zephyr等多个开源模型采用DPO作为对齐方案69% similar UnverifiedMistral是欧洲开源力量代表，以高效的小参数模型在开发者社区积累口碑68% similar

Cite This Claim

Stable URI

https://kongchang.com/claim/186917

API

curl https://kongchang.com/api/v1/knowledge/claims/186917

MCP

get_claim(id=186917)