原创 Mistral AI发布Leanstral 1.5 119B参数模型Apache 2.0开源 Mistral AI于2026年7月前后发布Leanstral 1.5模型，专为Lean 4形式化证明语言设计，总参数1190亿，激活参数60亿。该模型权重以Apache 2.0协议开源，并提供免费API端点。它在miniF2F测试集达到1 AI模型 形式化验证 开源发布 6小时前 73
