Leanstral 1.5
Leanstral 1.5 是 Mistral 于 2026 年 7 月发布的开放权重形式化证明与代码验证模型,适合 Lean 4 证明工程和代码正确性验证。
输入价格
公开资料未说明
输出价格
公开资料未说明
官方模型目录与价格对比
按模型类型、上下文、价格和厂商整理官方模型目录,方便你快速筛出适合写代码、做推理、跑视觉或搭 Agent 的那一批模型。
Leanstral 1.5 是 Mistral 于 2026 年 7 月发布的开放权重形式化证明与代码验证模型,适合 Lean 4 证明工程和代码正确性验证。
输入价格
公开资料未说明
输出价格
公开资料未说明
LongCat 2.0 于 2026 年 6 月 30 日正式发布,提供 1M 上下文、原生工具调用、多步推理和 Coding 能力,并正式配套 Token 资源包与 API 按量计费。
输入价格
公开资料未说明
输出价格
公开资料未说明
输入价格
公开资料未说明
输出价格
公开资料未说明
输入价格
公开资料未说明
输出价格
公开资料未说明
输入价格
¥6.30 / 1M Tokens
输出价格
¥31.50 / 1M Tokens
Qwen AgentWorld 35B A3B 是 Qwen 于 2026 年 6 月发布的原生语言世界模型,用于 Agent 环境模拟与交互式任务。
输入价格
公开资料未说明
输出价格
公开资料未说明
输入价格
公开资料未说明
输出价格
公开资料未说明
输入价格
公开资料未说明
输出价格
公开资料未说明
输入价格
$5.00 / 1M Tokens
输出价格
$30.00 / 1M Tokens
输入价格
¥20.00 / 1M Tokens
输出价格
¥100.00 / 1M Tokens
Nemotron 3 Ultra 是 NVIDIA 面向长流程 Agent、推理、代码和工具调用的开放权重 MoE 模型,支持百万级上下文。
输入价格
$0.50 / 1M Tokens
输出价格
$2.50 / 1M Tokens
输入价格
¥13.00 / 1M Tokens
输出价格
¥54.00 / 1M Tokens
North Mini Code 是 Cohere 于 2026 年 6 月发布的 30B/3B 激活开放模型,面向 Agent 编程、代码生成和终端任务。
输入价格
公开资料未说明
输出价格
公开资料未说明
MiMo-V2.5-Pro UltraSpeed 是小米与 TileRT 联合发布的高速推理模式,面向低延迟 Agent 和代码场景,峰值约 1000 tokens/s。
输入价格
公开资料未说明
输出价格
公开资料未说明
输入价格
公开资料未说明
输出价格
公开资料未说明
Mistral Medium 3.5 是 Mistral 于 2026 年 5 月发布的 128B 开放权重模型,统一支持指令、推理和代码任务。
输入价格
$1.50 / 1M Tokens
输出价格
$7.50 / 1M Tokens
输入价格
公开资料未说明
输出价格
公开资料未说明
Ring 2.6 1T 是 InclusionAI 于 2026 年 5 月发布的万亿参数旗舰推理模型,面向 Agent、工程开发和复杂任务。
输入价格
公开资料未说明
输出价格
公开资料未说明
MagenticBrain 是 Microsoft Research AI Frontiers 发布的 14B Agent 编排模型,负责规划多步骤任务、调用工具和协调子 Agent。
输入价格
公开资料未说明
输出价格
公开资料未说明
输入价格
公开资料未说明
输出价格
公开资料未说明