Expired50% confidenceOpinionExact time
The Mistral series of models is characterized by being open-source and efficient, suitable for local deployment and domain fine-tuning on mathematical corpora; the 'stral' in the name Leanstral may originate from this.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
7/7/2026
First Seen
Valid until: 10/5/2026(expired)
Sources
Leanstral 1.5: AI-Assisted Formal Proofs, Making Lean Theorem Verification Accessible to All
hackernewshackernews7/3/2026
Related Claims
UnverifiedMistral发布了名为Shieldstral的模型，这是一款30亿参数的开源权重多模态内容审核模型74% similarVerifiedMistral is a French AI company known for its efficient open-source models.73% similarUnverifiedMistral has for the first time integrated all the capabilities of its flagship model into a single versatile model.70% similarUnverifiedMistral、Zephyr等多个开源模型采用DPO作为对齐方案69% similarUnverifiedMistral是欧洲开源力量代表，以高效的小参数模型在开发者社区积累口碑68% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/186917API
curl https://kongchang.com/api/v1/knowledge/claims/186917MCP
get_claim(id=186917)