广场
最新
热门
资讯
我的主页
发布
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：人人可用的证明丰富性