.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)
换一换
字节跳动扣子 Coze 宣布开源：采用 Apache 2.0 许可证，支持商用
2025-07-26 15:40:54
AI 狂卷 Agent，腾讯杠上字节
2025-06-04 14:21:42
字节跳动发布Seedream 4.0图像创作模型
2025-09-09 13:15:57
徐新上车了：买了字节跳动老股
2025-11-21 18:35:27
字节跳动启动“豆包股”回购 回购价比授予价上浮约30%
2026-04-16 10:55:51
消息称字节跳动内部将禁用第三方 AI 开发软件，用自家 Trae 替代
2025-05-28 17:01:31
字节跳动发布端到端同声传译模型
2025-07-24 13:08:06
拿下38项第一！字节发布Seed1.5-VL多模态推理模型
2025-05-14 15:15:44
字节跳动推出原生全双工语音大模型Seeduplex
2026-04-09 13:08:36
传字节跳动AI眼镜有新动作！ 已和供应商“搭上线”
2025-04-13 15:45:24
字节新推理模型逆袭DeepSeek，200B参数战胜671B，豆包史诗级加强?
2025-04-11 14:49:21
Seedance 2.1即将推出？接近字节跳动人士：不属实
2026-05-20 12:36:06
突破经验依赖！字节跳动放宽招聘年限：毕业三年内人才招聘量将扩大一倍
2025-04-01 11:23:08
751 文章
756140 浏览
24小时热文
更多
-
2026-06-25 23:42:13 -
2026-06-25 23:40:27
-
2026-06-25 18:37:27
