文档与 API
搜索文档，可使用快捷键⌘K。这里有一系列链接：[快速开始](/)[模型](/models)[产品](/products)[开发者](/developers)[管理员](/admin)[API](/api) 。再次强调，搜索文档用⌘K。还能切换主题，有两个操作入口：[联系我们](https://mistral.ai/contact?utm_source=docs&utm_medium=header_cta&utm_campaign=studio_trial)[试用 Studio](https://console.mistral.ai?utm_source=docs&utm_medium=header_cta&utm_campaign=studio_trial) 。还有常用页面链接：[主页](/) 。
模型相关
模型总览
关于[模型](/models) ，有详细分类介绍： - [概述](/models/overview) - [模型选择指南](/models/model-selection-guide) - [最佳实践](/models/best-practices) - [提示工程](/models/best-practices/prompt-engineering) - [采样](/models/best-practices/sampling) - [部署](/models/deployment) - [云端部署](/models/deployment/cloud-deployments) - [本地部署](/models/deployment/local-deployment) - [实验室](/models/labs) 。下面还有关于模型的列举：1. 2. 3. [模型](/models)4. 5. [模型卡片](/models)6. 7. Leanstral 1.5。可[在 playground 中试用 ↗](https://console.mistral.ai/build/playground) ，有Leanstral 1.5图标： ，还能[对比](/models/model-selection-guide?models=leanstral-1-5-26-06) ，旁边有图片： 。时间是2026 年 6 月 30 日，处于实验室 v1.5 阶段。
Leanstral 1.5 详细介绍
Leanstral 1.5是更新后的 Lean 4 形式化证明工程模型，针对自动定理证明和自动形式化优化。总参数 1190 亿，活跃参数 65 亿，代码标识为labs-leanstral-1-5 。有以下指标：速度、性能、模态、上下文，上下文为256k，价格为$0 。再次强调：速度、性能、模态、上下文256k，价格$0 。
特性与权重
特性
Leanstral 1.5具有众多特性：- [聊天完成/v1/chat/completions](/studio-api/conversations/chat-completion) - [函数调用/v1/chat/completions/v1/conversations](/studio-api/conversations/function-calling) - [智能体与对话/v1/agents/v1/conversations](/studio-api/agents/agents-api) - [内置工具/v1/agents/v1/conversations](/studio-api/agents/agent-tools) - [结构化输出/v1/chat/completions/v1/conversations](/studio-api/conversations/structured-output) - [预测输出/v1/chat/completions/v1/conversations](/studio-api/conversations/advanced/predicted-outputs) - [前缀/v1/chat/completions/v1/conversations](/studio-api/conversations/chat-completion#other-useful-features) - [OCR/v1/ocr](/studio-api/document-processing/overview) - [结构化标注/v1/ocr](/studio-api/document-processing/annotations) - [边界框提取/v1/ocr](/studio-api/document-processing/basic_ocr) - [文档问答/v1/chat/completions/v1/conversations](/studio-api/document-processing/document_qna) - [FIM/v1/fim/completions](/mistral-vibe/using-fim-api) - [嵌入向量/v1/embeddings](/studio-api/knowledge-rag/embeddings) - [内容审核/v1/moderations](/studio-api/safety-moderation) - [聊天内容审核/v1/chat/moderations](/studio-api/safety-moderation) - [语音转录/v1/audio/transcriptions](/studio-api/audio/speech_to_text) - [文本转语音/v1/audio/speech](/studio-api/audio/text_to_speech) - [时间戳/v1/audio/transcriptions](/studio-api/audio/speech_to_text/offline_transcription#transcription-with-timestamps) - [批处理/v1/batch](/studio-api/batch-processing) 。
其他模型
除Leanstral 1.5，还有其他模型：- [ Mistral Medium 3.5 v26.04](/models/model-cards/mistral-medium-3-5-26-04) - [ Voxtral TTS v26.03](/models/model-cards/voxtral-tts-26-03) - [ Mistral Small 4 v26.03](/models/model-cards/mistral-small-4-0-26-03) 。
为何选择 Mistral
有几个选择Mistral的理由及链接：- [关于我们](https://mistral.ai/about) - [我们的客户](https://mistral.ai/customers) - [招聘信息](https://mistral.ai/careers) - [联系我们](https://mistral.ai/contact) 。
探索
可进行多方面探索，有链接参考：- [AI 解决方案](https://mistral.ai/solutions) - [合作伙伴](https://mistral.ai/partners) - [研究成果](https://mistral.ai/news?category=Research) 。
文档
文档相关内容：- [文档](/) - [大使计划](/community/ambassadors) - [使用手册](/resources/cookbooks) 。
构建
构建方面资源：- [Studio](https://console.mistral.ai) - [Vibe](https://mistral.ai/products/vibe) - [Mistral Code](https://mistral.ai/products/mistral-code) - [Mistral Compute](https://mistral.ai/products/mistral-compute) - [试用 API](https://docs.mistral.ai/api) 。
法律声明
法律声明相关内容：- [服务条款](https://mistral.ai/terms) - [隐私政策](https://mistral.ai/terms#privacy-policy) - [法律声明](https://mistral.ai/legal) - 隐私选项- [品牌信息](https://mistral.ai/brand) 。
社区
社区相关链接：- [Discord↗](https://discord.gg/mistralai) - [X↗](https://x.com/mistralai) - [Github↗](https://github.com/mistralai) - [LinkedIn↗](https://linkedin.com/company/mistralai) - [大使计划](/community/ambassadors) 。最后，Mistral AI © 2026 。可进行主题切换，有相关图标： 。还有一系列草地图片：。旁边还有猫的图片：
