.png)
12月24日，字节跳动Seed团队发布形式化数学推理专用模型Seed Prover 1.5。新模型在16.5小时内为IMO 2025前5道题目生成完整可编译验证的Lean证明代码，成绩达35/42，超过金牌分数线。技术报告已公开，并将开放API供数学与AI研究者体验。
原文链接
本文链接：https://kx.umi6.com/article/30704.html
转载请注明文章出处
分享至
打开微信扫一扫
内容投诉
生成图片
.png "30704")
相关推荐
.png)
换一换
字节跳动公开向量模型Seed1.5-Embedding
2025-05-12 13:35:17
字节跳动发布豆包 1.5 深度思考模型，同时升级文生图模型
2025-04-17 11:33:28
传字节高管成光杆司令 知情人：空降高管和现高管都向梁汝波汇报
2025-02-21 12:49:40
张一鸣重回公司一线？知情人士：往返北京和新加坡 每月参与复盘和讨论会
2025-06-20 14:01:48
字节跳动辟谣：与芯原股份并无AI芯片相关合作
2025-08-20 16:22:32
Meta猛挖字节墙脚
2025-11-26 09:34:54
字节必须再赢一次
2025-06-17 14:23:41
AI助手Cici悄然霸榜海外，又是字节
2025-10-20 13:05:07
Meta全新AI组织架构曝光，这范儿有点字节
2025-07-18 15:39:38
字节Seed发布GR-RL 首次实现真机强化学习穿鞋带
2025-12-02 14:21:13
字节Seed团队推出3D生成大模型Seed3D 1.0
2025-10-23 16:12:12
腾讯回应“双倍薪水挖角字节AI人才” ：外界传闻，无法回复
2025-12-12 16:02:05
字节跳动，新王炸诞生了
2025-12-09 17:47:46
644 文章
400373 浏览
24小时热文
更多
-
2025-12-24 17:53:19 -
2025-12-24 17:52:13
-
2025-12-24 17:49:49
