面向数学形式化证明:Mistral推Leanstral 1.5低使用成本模型

发布时间:2026-07-06 17:54

  欧洲人工智能企业 Mistral AI 当地时间本月 2 日宣布推出

  而在实际场景应用中,Leanstral 1.5 在测试的 57 个代码库中标记了 47 个违规属性,其中 11 个指向了线 个此前未在 GitHub 上被报告过的问题。

排行

精选