待验证50% 置信观点精确时间

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

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/7/7

首次发现

有效期至：2026/10/5

来源

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

hackernewshackernews2026/7/3

相关事实

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

引用此条事实

Stable URI

https://kongchang.com/claim/186917

API

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

MCP

get_claim(id=186917)