⌘ K
… 读取采集状态 同步中...
雷
原文
Mistral News·· 2026-03-16AI 评分61

Mistral 发布开源代码智能体 Leanstral,专为 Lean 4 证明助手设计

Leanstral: Open-Source foundation for trustworthy vibe-coding

AI 导读

Mistral 发布名为 Leanstral 的首个专为 Lean 4 设计的开源代码智能体,其采用 6B 激活参数的高效稀疏架构,旨在通过形式化证明来验证代码实现。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:Mistral News · mistral.ai