AI情报Jul 4, 2026AI情报文章Mistral AI 发布了 Leanstral 1.5，这是一个用于 Lean 4 形式验证的开源模型。它能够解决复杂的数学问题，并在扫描 57 个开源仓库时发现了五个此前未知的漏洞。AI 生成：摘要由 AI 根据所链接的来源撰写。 我们如何使用 AIAI 生成2026年7月3日来源: Mistral AI01来源简报Mistral AI 发布了 Leanstral 1.5，这是一个用于 Lean 4 形式验证的开源模型。它能够解决复杂的数学问题，并在扫描 57 个开源仓库时发现了五个此前未知的漏洞。02相关话题人工智能开源AI 模型安全查看本期