廣場
最新
熱門
新聞
我的主頁
發布
Leanstral 1.5：人人可用的證明豐富性
ME News
2026-07-03 16:37:10
關注
摘要生成中
ME AI
消息，Mistral AI 今日發佈 Leanstral 1.5，一款 Apache-2.0 許可的開源形式化驗證模型，119B 總參數僅 6B 活躍。在 miniF2F 上達 100% 飽和，PutnamBench 解決 587/672 題，FATE-H（87%）和 FATE-X（34%）創 SOTA。訓練經歷 mid-training、SFT 和基於 CISPO 的強化學習。具備智能體式證明能力，在 57 個開源倉庫中發現 5 個未知 bug。模型已通過 HuggingFace 和免費 API 開放使用。 🔗 閱讀原文：
查看原文
此頁面可能包含第三方內容，僅供參考（非陳述或保證），不應被視為 Gate 認可其觀點表述，也不得被視為財務或專業建議。詳見
聲明
。
打賞
按讚
回覆
轉發
分享
回覆
請輸入回覆內容
請輸入回覆內容
回覆
暫無回覆
熱門話題
查看更多
#
gStocks代幣化股票上線
450.17萬 熱度
#
非農爆冷打壓加息預期
103.91萬 熱度
#
預測世界盃葡萄牙VS克羅地亞
19.19萬 熱度
#
ETH突破1700
1.52億 熱度
#
Meta賣算力引發存儲股大跌
139.31萬 熱度
已置頂
網站地圖
Leanstral 1.5：人人可用的證明豐富性