⌘ K
… 读取采集状态 同步中...
雷
原文
虎嗅APP·· 2026-07-04

Mistral AI 发布 Leanstral 1.5：Apache-2.0 Lean 4 代码代理模型，解决 672 个 PutnamBench 问题中的 587 个

Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problems

AI 导读

Today, Mistral AI released Leanstral 1.5 . It is a code agent model built for Lean 4. The release targets automated theorem proving and proof engineering. Weights are open under Apache 2.0. A free API endpoint, leanstral-1-5 , is now live. Leanstral 1.5 updates the earlier Leanstral-2603 model. It belongs to the Mistral Small 4 family. What is Leanstral 1.5 Leanstral 1.5 is a code agent model for Lean 4 , a proof assistant. A proof assistant checks every logical step mechanically. Lean 4 can exp

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

来源：虎嗅APP · marktechpost.com