#数学形式化证明

Mistral AI 新出的 Leanstral 1.5，专攻数学证明，miniF2F满分，解决成本只要几美元，比竞品便宜几十倍，搞形式化验证的可以试试。