财联社
财经通讯社
打开APP
12:19:08【字节推出形式化数学推理专用模型Seed Prover 1.5】
财联社12月24日电,字节跳动Seed团队宣布推出形式化数学推理专用模型Seed Prover 1.5。据介绍,相比上一代模型,Seed Prover 1.5在16.5小时内,针对IMO 2025的前5道题目生成了完整可编译验证的Lean证明代码,换算成绩为35/42,达到此前IMO评分标准的金牌分数线。Seed Prover 1.5的技术报告已对外公开,后续将开放API,邀请感兴趣的数学和AI研究者体验该模型。
人工智能 字节跳动
财联社声明:文章内容仅供参考,不构成投资建议。投资者据此操作,风险自担。
2025-12-24 12:19:08 1965660 阅读
商务合作
热门解锁
相关阅读
评论
热度
最新
发送
复制
取消
垃圾广告
政治激进内容
色情低俗内容
取消