.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)
换一换
字节跳动发布豆包 1.5 深度思考模型，同时升级文生图模型
2025-04-17 11:33:28
Seedance 2.1即将推出？接近字节跳动人士：不属实
2026-05-20 12:36:06
赌注十万亿：字节拒绝走蒸馏捷径背后，张一鸣的长期主义有多狠？
2026-08-07 23:43:38
字节启动Top Seed大模型人才招募
2025-04-27 18:24:23
消息称字节整合 AI 研发团队，AI Lab 即将全部并入 Seed
2025-04-16 13:04:49
拿下38项第一！字节发布Seed1.5-VL多模态推理模型
2025-05-14 15:15:44
字节跳动发布 Seedance 1.5 pro 模型，支持音视频联合生成
2025-12-16 21:00:49
字节必须再赢一次
2025-06-17 14:23:41
字节跳动推出 VAPO 框架：突破 AI 推理极限，Qwen2.5-32B 提分 12 倍超 Deepseek-R1
2025-04-12 14:48:21
字节跳动的AI眼镜野心：一场价值千亿的“脸上豪赌”
2025-04-14 10:24:30
字节面向员工推出ByteClaw
2026-03-18 15:38:26
字节视觉-语言多模态大模型Seed VLM技术报告首次公开
2025-05-13 14:57:31
字节跳动最新思考模型将于4月17日供用户体验 单位推理成本相比DeepSeek R1降低50%
2025-04-14 12:33:19
787 文章
1049557 浏览
24小时热文
更多
-
2026-10-20 17:25:15 -
2026-10-20 16:24:47
-
2026-10-20 14:16:11
