字节跳动发布专用形式化数学模型Seed Prover 1.5
12 月 24 日消息，字节跳动 Seed 团队今日宣布推出新一代形式化数学推理专用模型 Seed Prover 1 5，通过大规模的 Agentic RL 训练，其推理能力和推理效率宣称取得显著
12月24日消息，字节跳动Seed团队今日正式发布新一代形式化数学推理专用模型Seed Prover 1.5。该模型通过大规模Agentic RL训练，其推理能力和推理效率均取得了显著提升。
相较于上一代模型，Seed Prover 1.5在16.5小时内，针对IMO 2025的前5道题目生成了完整可编译验证的Lean证明代码，换算成绩为35/42，达到了此前IMO评分标准的金牌分数线。
针对北美本科级别数学竞赛Putnam，Seed Prover 1.5仅用时9小时，便对12道Putnam 2025赛题中的11道生成了可编译验证的Lean代码。
在更系统的评估中，Seed Prover 1.5在完整的Putnam历史评估集上解决了88%的问题。在代表硕士数学难度的Fate-H和代表博士生数学难度的Fate-X评估集上，则分别解决了80%和33%的题目，刷新了形式化数学推理模型在这几个测评集上的SOTA表现。
Seed Prover 1.5的技术报告已对外公开，最新后续将开放API，附链接如下：
技术报告：
https://arxiv.org/abs/2512.17260
Lean证明代码：
https://github.com/ByteDance-Seed/Seed-Prover/blob/main/SeedProver-1.5/Putnam2025.zip
你是一名 AI 行业编辑，请围绕下面这条热点输出一份资讯解读：
热点：字节跳动发布专用形式化数学模型Seed Prover 1.5要求：
1. 先用一句话解释这条热点在讲什么
2. 再总结它为什么重要
3. 说明会影响哪些 AI 产品或内容方向
4. 最后给出 3 个适合资讯站使用的标题
游乐网为非赢利性网站，所展示的游戏/软件/文章内容均来自于互联网或第三方用户上传分享，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系youleyoucom@outlook.com。
相关热点QuickieAI是一款轻量级Chrome插件，核心逻辑是快速准确。在写作、社交媒体运营、营销活动场景中，一键完成内容研究与文案生成，支持侧边栏即时响应。可辅助写作、生成多平台文案及营销话术，擅长冷启动，最终质量需人工微调。
快手开源图像生成模型可图Kolors，采用GLM文本编码器支持中英文双语理解，可处理256token长文本。基于数十亿文本图像对训练，专门优化中国文化元素，能稳定生成中文文字，英文文字偶有缺漏。
Hebbia是一款专为金融、法律、政府和制药等行业设计的AI搜索引擎，其Matrix产品通过拆解复杂文档实现自动化信息提取与分析，已获3000万美元融资。它适用于研究人员、商业人士及学生，提供全面、精准的检索与洞察。
Penf1是一款AI驱动的博客创作工具，专注于简化从构思到发布的全流程。它支持即时内容生成、创意破题和SEO优化，帮助创作者快速获得高质量初稿，从而将精力集中于打磨观点和注入个人风格。
- 日榜
- 周榜
- 月榜
热点快看