Readhub
上周三
字节跳动 Seed 团队推出形式化数学推理专用模型 Seed Prover 1.5，相比上一代，该模型在 16.5 小时内针对 IMO 2025 前 5 道题生成完整可编译验证的 Lean 证明代码，换算成绩达 IMO 金牌分数线。其技术报告已公开，后续将开放 API 邀研究者体验。
展开全部报道
话题追踪2025-12-24
字节推出形式化数学推理专用模型 Seed Prover 1.52025-12-16
字节跳动 Seedance 1.5 pro 音视频创作模型正式发布2025-10-23
字节跳动 Seed3D 1.0 发布：一张图生成高精度 3D 模型2025-09-12
字节跳动 Seedream 4.0 模型登顶国际评测排行榜2025-09-11
字节跳动发布 Seedream4.0 图像创作模型：豆包、即梦可免费体验2025-09-09
字节跳动发布 Seedream4.0: 全新多模态图像创作模型2025-08-21
字节跳动发布开源大语言模型 Seed-OSS2025-08-14
字节跳动 Seed 开源 VeOmni 框架2025-08-02
字节跳动发布扩散语言模型 Seed Diffusion Preview2025-07-31
字节跳动 Seed 团队发布扩散语言模型，每秒推理速度 2146 tokens查看更多
专业版功能体验专业版特色功能，拓展更丰富、更全面的相关内容。
© 2025 NoCode 无码科技（杭州）有限公司浙ICP备17005035号-6联系我们加入我们产品介绍
科技新闻，每天 3 分钟