Tag: 形式化证明

All the articles with the tag "形式化证明".

• 8.5

  Leanstral：Mistral 发布首个开源 Lean 4 形式化证明 Agent

  2026年03月16日

  · Hacker News· 03/17 08:30 采集

  Mistral 推出 Leanstral，专为 Lean 4 形式化证明设计的代码 Agent，6B 活跃参数，Apache 2.0 开源，在 FLTEval 基准上超越 Claude Sonnet