1
免责声明:Al优秘圈所有资讯仅代表作者个人观点,不构成任何投资理财建议。请确保访问网址为(kx.umi6.com) 投诉及建议
综合
7*24 快讯
AI科普
合作
全部
英雄令
项目方
开发者
产品方
投资者
字节Seed发布最强数学模型:一招“打草稿”,IMO银牌变金牌
正文:2025年12月,字节Seed AI团队发布数学推理模型Seed Prover 1.5,在IMO 2025竞赛中用16.5小时解决前5道题,获得35分金牌成绩,与谷歌Gemini持平。相比前代模型,新版本通过强化学习和计算资源扩展显著提升性能,并在Putnam竞赛基准中刷新SOTA成绩。技术亮点包括Agentic Prover架构和Sketch Model工具,前者通过多工具交互优化形式化证明效率,后者模拟人类“打草稿”方式分解复杂问题。研究团队采用混合奖励信号训练模型,确保逻辑路径规划的准确性。测试表明,增加计算资源可对数线性提升解题率。
未来笔触
12-25 14:40:05
Agentic Prover
Seed Prover 1.5
形式化证明
分享至
打开微信扫一扫
内容投诉
生成图片
字节推出形式化数学推理专用模型Seed Prover 1.5
12月24日,字节跳动Seed团队发布形式化数学推理专用模型Seed Prover 1.5。新模型在16.5小时内为IMO 2025前5道题目生成完整可编译验证的Lean证明代码,成绩达35/42,超过金牌分数线。技术报告已公开,并将开放API供数学与AI研究者体验。
智能涌动
12-24 12:40:34
Seed Prover 1.5
字节跳动
形式化数学推理
分享至
打开微信扫一扫
内容投诉
生成图片
字节跳动发布新一代形式化数学推理专用模型 Seed Prover 1.5
12月24日,字节跳动Seed团队发布新一代形式化数学推理模型Seed Prover 1.5。该模型通过大规模Agentic RL训练,在IMO 2025前5道题目中取得35/42分,达到金牌分数线,并在9小时内完成Putnam 2025赛题中11道的Lean证明代码生成。评估显示,Seed Prover 1.5在Putnam历史评估集中解决88%问题,在硕士难度Fate-H和博士难度Fate-X评估集中分别解决80%和33%问题,刷新多项SOTA表现。技术报告已公开,后续将开放API链接。
幻彩逻辑RainbowLogic
12-24 12:36:08
Seed Prover 1.5
字节跳动
形式化数学推理
分享至
打开微信扫一扫
内容投诉
生成图片
豆包生视频功能升级 可同步生成声音和画面
12月18日,豆包App升级视频生成功能,新增支持Seedance1.5 Pro模型,可一键生成声音与画面同步的有声视频。用户只需打开豆包App对话框,选择“照片动起来”,上传图片并输入提示词,再选择“1.5 Pro”模型即可体验。此次更新提升了视频生成效率与质量,为用户带来更便捷的创作体验。
代码编织者Nexus
12-19 14:56:10
Seedance1.5 Pro
视频生成
豆包App
分享至
打开微信扫一扫
内容投诉
生成图片
不儿,这谁还能看出是AI演的视频啊
正文:12月18日,火山引擎在FORCE原动力大会上发布最新豆包视频生成模型Seedance 1.5 Pro,主打音画高精同步与一镜入戏。该模型通过Prompt即可生成影视级效果的短视频,支持多人、多方言场景,精准捕捉情感与韵律。实测中,其复刻周润发‘百万运镜’及多语言对话均表现出色,音画同步无穿帮,镜头语言专业。此外,模型采用原生音视频联合生成架构,结合高效推理加速技术,将创作效率提升65%。企业用户自12月23日起可在火山引擎使用API,普通用户可通过即梦AI、豆包APP等体验。
智慧棱镜
12-18 19:00:27
AI视频生成
Seedance 1.5 pro
音画同步
分享至
打开微信扫一扫
内容投诉
生成图片
字节跳动发布 Seedance 1.5 pro 模型,支持音视频联合生成
12月16日,字节跳动Seed发布新一代音视频创作模型Seedance 1.5 pro,支持音视频联合生成。该模型可完成文本到音视频合成、图像引导生成等任务,融合声音与视觉维度。相比1.0版本注重稳定性,1.5 pro着重提升视觉冲击力和运动效果,采用大胆技术方案实现视听协同、动态张力及叙事协调性突破。其特点包括精准音画同步、多语言与方言支持、电影级运镜控制及语义理解增强。综合评测显示,Seedance 1.5 pro关键能力达业界前列,现已上线即梦AI和豆包平台。
量子思考者
12-16 21:00:49
Seedance 1.5 pro
字节跳动
音视频联合生成
分享至
打开微信扫一扫
内容投诉
生成图片
豆包图像创作模型Seedream 4.5发布 聚焦商业生产力场景
12月3日,火山引擎发布豆包图像创作模型Seedream 4.5,现已开启公测。新模型在主体一致性、指令精准度、空间逻辑及美学表现力等方面显著提升,强化多图组合生成能力,优化海报排版与Logo设计功能,支持高精度图文混排,简化广告物料生成流程。Seedream 4.5适用于广告营销、电商运营、影视制作、数字娱乐及教育等商业场景,为生产力赋能。
GhostPilot
12-03 20:42:52
Seedream 4.5
商业生产力场景
豆包图像创作模型
分享至
打开微信扫一扫
内容投诉
生成图片
字节 Seed 团队推出 Lumine 智能体:自主游玩《原神》等 3D 开放世界游戏
11月17日,字节Seed团队推出名为Lumine的通用AI智能体,能够在《原神》等3D开放世界游戏中自主完成复杂任务。Lumine通过视觉-语言模型驱动,以5Hz处理图像并以30Hz生成键鼠操作,展现出强大的泛化能力。在《原神》中,它不仅完成了蒙德地区长达5小时的主线剧情,还在未经训练的璃月区域成功通关。此外,Lumine无需微调即可在《崩坏:星穹铁道》和《鸣潮》中分别完成7小时和100分钟的主线任务。其训练基于1731小时人类游戏数据预训练、200小时指令跟随数据及15小时推理数据,能够执行战斗、解谜、收集及NPC交互等多样化任务,并展现上下文学习能力,适应复杂挑战。
镜像现实MirageX
11-17 09:14:45
3D开放世界游戏
Lumine
字节Seed团队
分享至
打开微信扫一扫
内容投诉
生成图片
看图写代码,3毛钱开发一个网页!字节AI Coding新模型真卷麻了
2025年11月,火山引擎推出全新代码模型Doubao-Seed-Code,主打Agentic编程任务优化。该模型性能登顶SWE-Bench Verified榜单,价格为国内最低,调用成本仅约0.34元,支持9.9元套餐。其原生兼容Anthropic API,迁移成本几乎为零,并适配多种主流IDE。实测显示,模型能高效完成从简单视觉效果到复杂工程化重构的任务,还能‘看图写代码’,根据UI设计稿生成高相似度前端代码。此外,模型支持256K长上下文,适合复杂场景开发。火山引擎依托千卡GPU集群和10万容器镜像库,确保高并发稳定性和企业级安全保障。目前,Doubao-Seed-Code已在字节内部广泛使用,月活用户超100万。
蝶舞CyberSwirl
11-11 17:15:28
AI编程模型
Doubao-Seed-Code
火山引擎
分享至
打开微信扫一扫
内容投诉
生成图片
字节Seed团队推出3D生成大模型Seed3D 1.0
10月23日,字节跳动Seed团队发布3D生成大模型Seed3D 1.0,可实现从单张图像到高质量仿真级3D模型的端到端生成。该模型基于Diffusion Transformer架构,用于设计3D几何生成和纹理贴图。团队计划引入多模态大语言模型(MLLM),以提升生成质量和鲁棒性,并推动其在世界模拟器中的大规模应用。这一创新标志着3D生成技术迈入新阶段,为行业带来更多可能性。
蝶舞CyberSwirl
10-23 16:12:12
3D生成模型
Seed3D
字节跳动
分享至
打开微信扫一扫
内容投诉
生成图片
加载更多
暂无内容
AI热搜
更多
扫一扫体验小程序