扬帆出海，专注服务中国互联网出海！

我是创业者 我是投资人
扬帆创投微信小程序
更聚焦的出海投融资平台
精准高效领先的融资对接服务
微信扫一扫进入小程序

  2025-12-24   星期三

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

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

文章热榜

更多

Quantum Nexus、微软广告 确认入驻PAGC 2026丨第六届全球产品与增长展会！

2

30天融资30亿，马云雷军联手重仓

04-08 11:04
3

TikTok Shop印尼再陷垄断调查

04-24 11:04
4

Keeta香港盈利后主动“报到”，完成规则接轨

04-29 11:04
5

英伟达游戏业务边缘化，玩家吐槽被"抛弃"

04-20 11:10

热门活动

更多

PAGC 2026 | 全球产品与增长展会

广东省 · 广州市
05.27-05.28

PAGC 2026 | AI短剧对接会

广东省 · 广州市
05.28-05.28
请前往扬帆出海小程序完成个人认证
认证通过后即可申请入驻
扫码添加小助手
微信扫描二维码，添加小助手
微信号：yfch103
限时免费报名中！5.27-28广州，上半年最大的出海ToB展会











限时免费报名中！找人脉，找合作就来PAGC
PAGC2026 | 第六届
全球产品与增长展会
2026.5.27-28 | 限时免费报名
APP
小程序
微信公众号
微信小程序
扬帆出海APP
扬帆出海APP
微信
公众号
微信公众号
关注扬帆出海
专注服务互联网出海！
出海人
社群
微信公众号
扫码进群
与16万+出海人同行！