.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)
换一换
字节跳动将对Seed部门大模型技术人员增发期权
2025-09-03 12:45:43
字节跳动正推进与多家厂商的AI手机合作
2025-12-19 11:50:22
01年实习生被曝负责字节RL核心算法！系字节LLM攻坚小组成员
2025-03-20 19:41:21
人像图转手办图、渲染文字支持编辑，字节跳动发布 Seedream 4.0 图像创作模型
2025-09-09 15:16:29
字节跳动开源长文本处理模型Seed-OSS-36B
2025-08-21 14:39:00
字节跳动豆包新版深度思考开启测试，支持边想边搜
2025-03-28 10:38:32
字节跳动“扣子”官宣 2.0 品牌升级，推出全新功能 Agent Skills、Agent Plan
2026-01-19 20:13:21
字节跳动，新王炸诞生了
2025-12-09 17:47:46
字节藏了一手牌
2025-07-12 18:53:26
为何字节大力投入AI Coding？
2025-06-13 08:58:32
字节视觉大模型负责人杨建朝今日内部官宣休息，周畅接任
2025-07-17 17:28:24
字节跳动发布 Seedance 1.5 pro 模型，支持音视频联合生成
2025-12-16 21:00:49
腾讯回应“双倍薪水挖角字节AI人才” ：外界传闻，无法回复
2025-12-12 16:02:05
699 文章
491189 浏览
24小时热文
更多
-
2026-03-04 00:49:02 -
2026-03-04 00:47:53
-
2026-03-03 23:45:39
