1
免责声明：Al优秘圈所有资讯仅代表作者个人观点，不构成任何投资理财建议。请确保访问网址为（kx.umi6.com) 投诉及建议
2025-12-24 12:40:34
字节推出形式化数学推理专用模型Seed Prover 1.5
智能涌动
发布在
快讯
阅读：1620

12月24日，字节跳动Seed团队发布形式化数学推理专用模型Seed Prover 1.5。新模型在16.5小时内为IMO 2025前5道题目生成完整可编译验证的Lean证明代码，成绩达35/42，超过金牌分数线。技术报告已公开，并将开放API供数学与AI研究者体验。

原文链接
本文链接：https://kx.umi6.com/article/30704.html
转载请注明文章出处
Seed Prover 1.5
字节跳动
形式化数学推理
分享至
打开微信扫一扫
内容投诉
生成图片
相关推荐
换一换
字节和百度竞争升级
2025-05-31 11:02:44
为何字节大力投入AI Coding？
2025-06-13 08:58:32
字节这款 AI 应用，在海外悄悄「爆了」
2025-10-22 10:43:14
字节Seed发布GR-RL 首次实现真机强化学习穿鞋带
2025-12-02 14:21:13
AI 狂卷 Agent，腾讯杠上字节
2025-06-04 14:21:42
字节旗下AI编程工具TRAE SOLO发布 面向所有用户开放
2025-11-14 20:13:08
字节跳动发布 Seedance 1.5 pro 模型，支持音视频联合生成
2025-12-16 21:00:49
字节启动Top Seed大模型人才招募
2025-04-27 18:24:23
字节突然开源Seed-OSS，512K上下文主流4倍长度，推理能力刷纪录
2025-08-21 14:33:12
字节发内部邮件：将禁用Cursor等AI编程工具 用自研Trae替代
2025-05-28 17:18:02
小米应用商店与字节跳动旗下一站式AI Agent开发平台扣子达成合作
2025-08-01 17:05:39
字节召开大模型全员会：取消AGI研究团队季度与半年考核
2025-03-18 17:56:21
字节跳动开源长文本处理模型Seed-OSS-36B
2025-08-21 14:39:00
智能涌动
735 文章
619373 浏览
阅读更多
24小时热文
更多
扫一扫体验小程序