開源模型能把數學競賽題解到這種程度，每題成本才4美元，感覺閉源商業模型的定價邏輯要重新算了

币界網消息，Mistral 開源的 Leanstral 1.5 模型每題解題成本約為 4 美元，模型總參數量達到 1190 億，激活參數約 65 億，採用 Apache-2.0 協議，並提供免費 API 訪問。官方評測顯示，Leanstral 1.5 在 Putnambench 672 道題中解出 587 道，在抽象代數基準 Fate-H 和 Fate-X 上分別達到 87% 和 34%，刷新同類模型最佳表現。此外，Leanstral 1.5 還被用於代碼驗證，團隊在 57 個開源 Rust 倉庫中發現 11 個真實 bug，其中 5 個此前未被報告。