Mistral发布了Mistral Small 4，这是一个1190亿参数、采用Apache 2许可证的新模型，将推理、多模态和代码生成能力统一于一体。该模型可通过'reasoning_effort'参数控制输出详细程度，并在Hugging Face上提供。同时发布的还有专门为生成Lean 4可验证代码而调优的Leanstral模型。
背景
Mistral AI是一家著名的法国人工智能初创公司，以开发与OpenAI和Anthropic等主要参与者竞争的开源权重大语言模型而闻名。该公司此前发布的Mistral 7B和Mixtral 8x7B等模型在开源AI社区获得了广泛关注。
- 来源
- Simon Willison
- 发布时间
- 2026年3月17日 07:41
- 评分
- 7.0 / 10