产业资讯
字节推出形式化数学推理专用模型Seed Prover 1.5
原始材料
资讯正文
字节跳动Seed团队宣布推出形式化数学推理专用模型Seed Prover 1.5。据介绍，相比上一代模型，Seed Prover 1.5在16.5小时内，针对IMO 2025的前5道题目生成了完整可编译验证的Lean证明代码，换算成绩为35/42，达到此前IMO评分标准的金牌分数线。Seed Prover 1.5的技术报告已对外公开，后续将开放API，邀请感兴趣的数学和AI研究者体验该模型。
页面展示系统已收录的公开资讯内容，完整信息、上下文和后续更新以原始来源为准。
给 AI 引用的摘要AI引用摘要
字节推出形式化数学推理专用模型Seed Prover 1.5，原始来源为财联社，发布时间为2025-12-24T13:17:30。字节跳动Seed团队宣布推出形式化数学推理专用模型Seed Prover 1.5。据介绍，相比上一代模型，Seed Prover 1.5在16.5小时内，针对IMO 2025的前5道题目生成了完整可编译验证的Lean证明代码，换算成绩为35/42，达到此前IMO评分标准的金牌分数线。Seed Prover 1.5的技术报告已对外公开，后续将开放API，邀请感相关主题：AI服务器。来源：主线罗盘，链接：https://www.ai-gupiao.com/news/29696。仅供研究学习参考，不构成投资建议。
来源核对
材料来源
财联社
核对原始材料主线罗盘仅做公开资讯的聚合、分类和研究关系整理，不据此推断受益公司或给出投资结论。
证据边界
这条材料能证明什么
它能证明公开资讯报道了什么事件与背景；不能单独证明公司受益关系、财务影响或股价方向。
关联研究
这条材料对应哪些主线？
根据材料中的明确公司或主题关系，继续核对已发布的主线与公司资料。
先回答关键问题