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

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
字节跳动
形式化数学推理
分享至
打开微信扫一扫
内容投诉
生成图片
相关推荐
换一换
字节跳动最新思考模型将于4月17日供用户体验 单位推理成本相比DeepSeek R1降低50%
2025-04-14 12:33:19
两天狂赚5万多：字节Seedance 2.0海外倒号已成暴利风口
2026-02-13 14:23:47
字节跳动开源其 AI IDE 工具核心组件 Trae-Agent
2025-07-07 08:24:33
字节跳动发布图像编辑模型SeedEdit 3.0
2025-06-06 16:38:41
字节跳动Seed团队与比亚迪锂电池将共建AI+高通量联合实验室
2025-06-18 12:37:11
字节跳动 Seed 团队发布扩散语言模型 Diffusion Preview，每秒推理速度 2146 tokens
2025-08-01 09:05:41
字节大模型团队全员会：朱文佳和吴永辉首度同台
2025-03-18 21:54:39
字节Seedream 3.0追平GPT-4o 加入文生图第一梯队
2025-04-16 21:16:27
字节跳动发布图像编辑模型 SeedEdit 3.0，处理更加丝滑高效
2025-06-06 16:37:39
字节跳动启动 Top Seed 大模型顶尖人才计划 2026 届校招，计划招募 30 位顶尖博士
2025-04-27 19:24:32
字节跳动、阿里AI“大将”出走
2025-08-25 22:35:04
字节跳动将对Seed部门大模型技术人员增发期权
2025-09-03 12:45:43
字节跳动豆包新版深度思考开启测试，支持边想边搜
2025-03-28 10:38:32
幻彩逻辑RainbowLogic
720 文章
604348 浏览
阅读更多
24小时热文
更多
扫一扫体验小程序