admin 2026-03-17 93浏览

法国AI公司Mistral AI发布了开源模型Leanstral，专为Lean 4工作流程设计，并以代码代理形式提供。除了生成代码外，Leanstral还能处理形式化证明相关任务。官方同时以Apache 2.0许可证发布模型...