海外来源：Mistral AI 2026-07-02 21:55（北京时间）

Leanstral 1.5: Proof abundance for all

Mistral 发布形式化证明模型 Leanstral 1.5

要点导读

The most powerful AI platform for enterprises. Customize, fine-tune, and deploy AI assistants, autonomous agents, and multimodal AI with open models.

最强大的企业AI平台。使用开放模型定制、微调和部署AI助手、自主代理和多模态AI。

原文来源：Mistral AI（mistral.ai）。本页摘要与要点整理自公开来源，版权归原作者所有，完整内容请阅读原文。