Leanstral1.5
-
Mistral AI发布Leanstral1.5：数学证明成本骤降至4美元
近日，Mistral AI正式推出专为数学形式化证明语言Lean4设计的开源模型Leanstral1.5。该模型以Apache-2.0许可协议开放，拥有119B的总参数量但仅激活6…
近日，Mistral AI正式推出专为数学形式化证明语言Lean4设计的开源模型Leanstral1.5。该模型以Apache-2.0许可协议开放，拥有119B的总参数量但仅激活6…
