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
This claim has expired. It is kept for the record and no longer describes the current state.
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 is a representative of European open-source strength, having built a reputation in the developer community with efficient small-parameter models.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)