Mistral发布Leanstral 1.5：Apache开源Lean 4代码智能体模型
sophiamyang · x · 2026-07-04
Mistral AI发布Leanstral 1.5，这是一个基于Apache-2.0协议的开源Lean 4代码智能体模型。在PutnamBench数学竞赛基准测试中，该模型成功解决672道题中的587道，展现出卓越的形式化数学证明能力。这是面向数学定理证明与形式化验证场景的专业化AI模型，代表Mistral在数学推理领域的重要进展。
所属事件:Mistral发布开源Lean 4证明智能体Leanstral 1.5(5 条相关)→
「编程与Agent」频道最新
- Anthropic 借鉴律师谈判伦理，Claude 智能体 69 人无人工批准成交 186 单 — rohanpaul_ai · 2026-10-18
- Agent 接管 Gmail 与浏览器后的投毒风险，及 jev-guard 防护做法 — sujingshen · 2026-10-18
- 14 个 Agent 在单卡 5090 上做 AI 电影:按反馈修复剪跳与配音缺陷 — developervkmp · 2026-10-18
- Meta 论文提出「Agent Plasticity」:最强 agent 未必是最高效学习者 — rohanpaul_ai · 2026-10-18
- 开发者用前沿模型一个周末上线山火预测平台 — CtrlAltDwayne · 2026-10-18
- 10 个让 AI Agent 操作手机的 GitHub 开源项目,最大 26K star — victor_explore · 2026-10-18