Readhub字节推出形式化数学推理专用模型 Seed Prover 1.5
2025 年 12 月 24 日
字节跳动 Seed 团队推出形式化数学推理专用模型 Seed Prover 1.5，相比上一代，该模型在 16.5 小时内针对 IMO 2025 前 5 道题生成完整可编译验证的 Lean 证明代码，换算成绩达 IMO 金牌分数线。其技术报告已公开，后续将开放 API 邀研究者体验。
展开全部报道
话题追踪2026-04-09
字节跳动推出原生全双工语音大模型 Seeduplex2026-04-01
字节 Seed 启动大模型校招 全球招募百位 AI 人才2026-02-17
字节提供四项春晚技术支持 Seedance 2.0 为《贺花神》等多节目深度定制2026-02-14
字节跳动：豆包大模型 2.0 正式发布2026-02-12
字节跳动豆包大模型 2.0 初定 2 月 14 日正式发布2026-02-09
字节跳动发布 AI 视频生成模型 Seedance 2.0：剧本一键转短剧2025-12-24
字节推出形式化数学推理专用模型 Seed Prover 1.52025-12-16
字节跳动 Seedance 1.5 pro 音视频创作模型正式发布2025-10-23
字节跳动 Seed3D 1.0 发布：一张图生成高精度 3D 模型查看更多
专业版功能体验专业版特色功能，拓展更丰富、更全面的相关内容。
