Leanstral 1.5模型发布：参数、特性全揭秘，Mistral AI多项资源等你探索！

文档与 API搜索文档可使用快捷键⌘K。这里有一系列链接[快速开始](/)[模型](/models)[产品](/products)[开发者](/developers)[管理员](/admin)[API](/api) 。再次强调搜索文档用⌘K。还能切换主题有两个操作入口[联系我们](https://mistral.ai/contact?utm_sourcedocsutm_mediumheader_ctautm_campaignstudio_trial)[试用 Studio](https://console.mistral.ai?utm_sourcedocsutm_mediumheader_ctautm_campaignstudio_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?modelsleanstral-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?categoryResearch) 。文档文档相关内容- [文档](/) - [大使计划](/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 。可进行主题切换有相关图标 。还有一系列草地图片。旁边还有猫的图片