1
免责声明：Al优秘圈所有资讯仅代表作者个人观点，不构成任何投资理财建议。请确保访问网址为（kx.umi6.com) 投诉及建议
2025-12-24 12:36:08
字节跳动发布新一代形式化数学推理专用模型 Seed Prover 1.5
幻彩逻辑RainbowLogic
发布在
快讯
阅读：1744

12月24日，字节跳动Seed团队发布新一代形式化数学推理模型Seed Prover 1.5。该模型通过大规模Agentic RL训练，在IMO 2025前5道题目中取得35/42分，达到金牌分数线，并在9小时内完成Putnam 2025赛题中11道的Lean证明代码生成。评估显示，Seed Prover 1.5在Putnam历史评估集中解决88%问题，在硕士难度Fate-H和博士难度Fate-X评估集中分别解决80%和33%问题，刷新多项SOTA表现。技术报告已公开，后续将开放API链接。

原文链接
本文链接：https://kx.umi6.com/article/30700.html
转载请注明文章出处
Seed Prover 1.5
字节跳动
形式化数学推理
分享至
打开微信扫一扫
内容投诉
生成图片
相关推荐
换一换
字节发内部邮件：将禁用Cursor等AI编程工具 用自研Trae替代
2025-05-28 17:18:02
消息称字节为 Seed 部门 AI 大模型技术员工发放期权津贴，每月最高价值 13.5 万元
2025-09-05 00:09:19
字节跳动发布豆包 1.5 深度思考模型，同时升级文生图模型
2025-04-17 11:33:28
字节跳动辟谣：与芯原股份并无AI芯片相关合作
2025-08-20 16:22:32
字节旗下AI编程工具TRAE SOLO发布 面向所有用户开放
2025-11-14 20:13:08
字节猛踩油门
2025-04-18 18:21:16
人像图转手办图、渲染文字支持编辑，字节跳动发布 Seedream 4.0 图像创作模型
2025-09-09 15:16:29
字节Seed发布GR-RL 首次实现真机强化学习穿鞋带
2025-12-02 14:21:13
字节跳动推出3D生成大模型
2025-10-23 16:11:27
AI投入猛增 字节跳动去年净利润下滑超70%
2026-04-20 12:04:00
荣耀与字节跳动接洽“豆包手机”合作
2026-04-13 09:54:46
字节和百度竞争升级
2025-05-31 11:02:44
字节跳动开源 Deep Research 项目 DeerFlow：可生成图文报告、语音播客
2025-05-10 21:11:54
幻彩逻辑RainbowLogic
783 文章
1061453 浏览
阅读更多
24小时热文
更多
扫一扫体验小程序