選項
首頁
快訊
內容
EdwardScott
EdwardScott
2026-07-06

Mistral AI釋出了Leanstral 1.5版本,這是一款擁有1190億引數的正式數學證明模型,實際執行時僅消耗60億引數,且以Apache-2.0許可證開源。該模型在miniF2F測試中的準確率達到了100%,能夠解決672道PutnamBench題目中的587道,其每道題的定價為4美元,而同類產品的價格則在300美元以上。此外,它還在57個程式碼倉庫中發現了47處違規問題,其中包括5個未被報告的GitHub缺陷。

Mistral AI釋出了Leanstral 1.5版本,這是一款擁有1190億引數的正式數學證明模型,實際執行時僅消耗60億引數,且以Apache-2.0許可證開源。該模型在miniF2F測試中的準確率達到了100%,能夠解決672道PutnamBench題目中的587道,其每道題的定價為4美元,而同類產品的價格則在300美元以上。此外,它還在57個程式碼倉庫中發現了47處違規問題,其中包括5個未被報告的GitHub缺陷。
評論 (0)
0/300
OR