.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)
换一换
字节跳动启动“豆包股”回购 回购价比授予价上浮约30%
2026-04-16 10:55:51
字节 Seedream 3.0 登场：文生图跑分超 GPT-4o，生成 1K 图像仅需约 3 秒
2025-04-19 15:47:04
字节跳动开源其 AI IDE 工具核心组件 Trae-Agent
2025-07-07 08:24:33
字节跳动辟谣：与芯原股份并无AI芯片相关合作
2025-08-20 16:22:32
字节跳动推出 VAPO 框架：突破 AI 推理极限，Qwen2.5-32B 提分 12 倍超 Deepseek-R1
2025-04-12 14:48:21
豆包相关负责人否认“豆包 AI 眼镜”即将出货
2026-01-05 20:24:10
Meta猛挖字节墙脚
2025-11-26 09:34:54
解锁任意模态 AI 模型训练，字节跳动 Seed 开源 VeOmni 框架
2025-08-14 18:01:26
字节跳动净利润下滑超 70%引热议 抖音副总裁李亮紧急回应
2026-04-20 18:20:13
字节Seedream 3.0追平GPT-4o 加入文生图第一梯队
2025-04-16 21:16:27
AI 狂卷 Agent，腾讯杠上字节
2025-06-04 14:21:42
字节AI编程产品TRAE SOLO独立端上线
2026-03-31 12:50:28
消息称豆包日活已破 1 亿，系字节“亿级 App”产品中花费最低
2025-12-24 20:58:04
775 文章
968866 浏览
24小时热文
更多
-
2026-09-05 10:04:54 -
2026-09-04 19:40:20
-
2026-09-04 19:38:53
