tradingkey.logo
搜索

字节跳动推出形式化数学推理专用模型Seed Prover 1.5

金吾财讯2025年12月24日 10:53
facebooktwitterlinkedin

金吾财讯 | 字节跳动Seed团队宣布,推出形式化数学推理专用模型Seed Prover 1.5。据介绍,相较于上一代模型,Seed Prover 1.5在16.5小时内,针对IMO 2025的前5道题目生成完整可编译验证的Lean证明代码,换算成绩为35/42,达此前IMO评分标准的金牌分数线。 Seed Prover 1.5的技术报告已对外公开,后续将开放API,邀请有兴趣的数学和AI研究者体验该模型。

免责声明:本网站提供的信息仅供教育和参考之用,不应视为财务或投资建议。

推荐文章

KeyAI