每日经济新闻 2025-12-24 12:08:41
每经AI快讯，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研究者体验该模型。
如需转载请与《每日经济新闻》报社联系。
未经《每日经济新闻》报社授权，严禁转载或镜像，违者必究。
读者热线：4008890008
特别提醒：如果我们使用了您的图片，请作者与本站联系索取稿酬。如您不希望作品出现在本站，可联系我们要求撤下您的作品。
欢迎关注每日经济新闻APP
Copyright © 2026 每日经济新闻报社版权所有，未经许可不得转载使用，违者必究。
广告热线 北京: 010-57613265， 上海: 021-61283008， 广州: 020-84201861， 深圳: 0755-83520159， 成都: 028-86512112
