| Mistral AI | Leanstral | Lean 4 | 形式化證明 | Mistral Vibe

Mistral推出開源模型Leanstral，專為Lean 4形式化證明工作流程設計

法國AI公司Mistral AI推出開源模型Leanstral，主打支援Lean 4工作流程，可作為程式碼代理協助生成程式碼與處理形式化證明工作

2026-03-17