Mistral AI 发布面向 Lean 4 的形式证明 AI 代理「Leanstral」，加速“证明工程”效率
法国初创公司 Mistral AI 发布面向定理证明工具 Lean 4 的开源 AI 代理「Leanstral」，专注支持数学证明与软件形式验证中的“证明工程”工作，缓解人工审核成为瓶颈的问题。
法国初创公司 Mistral AI 发布面向定理证明工具 Lean 4 的开源 AI 代理「Leanstral」，专注支持数学证明与软件形式验证中的“证明工程”工作，缓解人工审核成为瓶颈的问题。
