Leanstral 1.5

# Leanstral 1.5 - Mistral AI 来源：https://docs.mistral.ai/models/model-cards/leanstral-1-5-26-06 类别 2026年6月30日 v1.5 一个更新的Lean 4形式化证明工程模型，针对自动定理证明和自动化形式化进行了优化。总参数119B，激活参数6.5B。 速度 性能 模态 上下文 256k 价格 $0 速度 性能 模态 上下文 256k 价格 $0 ### 功能 聊天补全 (https://docs.mistral.ai/studio-api/conversations/chat-completion) 函数调用 (https://docs.mistral.ai/studio-api/conversations/function-calling) 智能体与对话 (https://docs.mistral.ai/studio-api/agents/agents-api) 内置工具 (https://docs.mistral.ai/studio-api/agents/agent-tools) 结构化输出 (https://docs.mistral.ai/studio-api/conversations/structured-output) 预测输出 (https://docs.mistral.ai/studio-api/conversations/advanced/predicted-outputs) 前缀 (https://docs.mistral.ai/studio-api/conversations/chat-completion#other-useful-features) OCR (https://docs.mistral.ai/studio-api/document-processing/overview) 注释 - 结构化 (https://docs.mistral.ai/studio-api/document-processing/annotations) 边界框提取 (https://docs.mistral.ai/studio-api/document-processing/basic_ocr) 文档问答 (https://docs.mistral.ai/studio-api/document-processing/document_qna) FIM (https://docs.mistral.ai/mistral-vibe/using-fim-api) 嵌入 (https://docs.mistral.ai/studio-api/knowledge-rag/embeddings) 内容审核 (https://docs.mistral.ai/studio-api/safety-moderation) 聊天审核 (https://docs.mistral.ai/studio-api/safety-moderation) 转录 (https://docs.mistral.ai/studio-api/audio/speech_to_text) 文本转语音 (https://docs.mistral.ai/studio-api/audio/text_to_speech) 时间戳 (https://docs.mistral.ai/studio-api/audio/speech_to_text/offline_transcription#transcription-with-timestamps) 批量处理 (https://docs.mistral.ai/studio-api/batch-processing)