文｜周鑫雨 编辑｜苏建勋 2025年6月11日的"原动力大会"，在这一火山引擎最重要的发布节点上，火山引擎总裁谭待用"激进"一词，回应了有关2025年增长和营收目标的提问。 这份激进，在此前媒体披露的营收数据中可见一斑。据《划重点》报道，2024年，火山引擎的营收规模超过了120亿元，2025年的营收目标则超过250亿 元。 这意味着，这位2021年才进场的"云小弟"，不仅要实现100%的增速，营收体量还将比肩2015年就入局的百度云——多家机构预测，百度智能云2025年的 营收增速为30%，规模在280亿元左右。 百度云和火山之间较量早已开始。2025年2月，百度智能云事业群总裁沈抖在内部会上，对开启价格战的豆包意有所指，"国内大模型去年的价格战，导致 行业整体的创收相较于国外差了多个数量级。" 随即，谭待在朋友圈回击："大家应该像DeepSeek一样聚焦基本功，聚焦创新，不急不躁，少无端猜测，归因外部。" 谭待曾是百度T11级别的技术专家。在他的执掌下，火山引擎即将弯道超车老东家，也让这场比拼，有了更浓的火药味。 直到2023年之前，市场对火山引擎的论调，还是"姗姗来迟""生不逢时"。短短两年，火山就从榜 ...

图片系AI生成 6月6日消息，在2025智能经济论坛上，百度集团执行副总裁、百度智能云事业群总裁沈抖宣布，目前已 有65%的央企选择与百度智能云开展深度合作，同时百度智能云发布千帆慧金金融大模型，并推出了覆 盖能源、交通、汽车、医疗、环境等领域的精选行业场景智能体家族。 百度摸索行业大模型，金融领域做试点 行业大模型是指基于通用大模型技术底座，在落地到特定行业时，针对特定行业需求和应用场景融入大 量行业特定的数据和知识，从而在专业领域内表现出更高的准确性和实用性。 一个关键的问题是，行业大模型由谁来构建？ 如果是垂直行业头部厂商，领域内其他厂商可能心存顾虑，担心自己的核心数据安全，以及是否会越来 越落后于头部厂商；如果是通用大模型厂商，核心数据从哪来，行业知识是否足够，行业厂商能否认 可，同样是问题。 百度智能云以自己积累较多的金融领域为试点，探索行业大模型的可行性。沈抖表示，基础模型能力再 强，直接放到具体的行业场景中，效果往往不达预期。 拿金融行业来说，金融对大模型的要求非常高，知识面广、时效性强，而且对大模型的准确性和幻觉率 要求更严格。通用模型因为缺乏专门金融语料的训练，很难精准回答，容易出现幻觉。 ...

今天，很荣幸地分享一个好消息—— 百度智能云已牵手65%的央企，共同推进大模型产业落地。得益于全栈的AI能力，百度联合众多央国企伙伴，针对各类不同业务场景，打造了一大批可 推广、可复制的标杆案例。 6月6日，2025智能经济论坛在京举行，旨在聚焦AI技术在实体产业中的前沿实践与落地成果，全面展现大模型赋能千行百业的创新图景。 活动上，百度沈抖宣布，已有65%的央企选择与百度智能云开展深度合作，共同探索AI创新。 同时，百度智能云重磅发布千帆慧金金融大模型，并推出了覆盖能源、交通、医疗、汽车、环境等领域的精选行业场景智能体家族。 01 从"能用"到"好用" "行业场景智能体家族"上线千帆平台 百度智能云千帆大模型平台作为业界领先的企业级"智能体工厂"，提供了覆盖Agent 开发、管理全生命周期的一站式工具链，帮助企业快速构建属于自己 的智能体生态。在电力、交通、医疗、环境等高价值场景中，智能体的应用正不断突破技术瓶颈，进入快速落地阶段。 ◎ 在智能出行领域，百度还推出"座舱大模型智能体"，为车企打造面向家庭用户的智能交互体验。深蓝汽车已基于该智能体推出"深蓝精灵"产品，为0-15 岁儿童打造集绘本故事生成、英语 ...

长江商报消息 ●长江商报记者 沈右荣 AI战略加速推进，百度交出了一份亮丽的季度报告。 5月21日晚间，百度集团（以下简称百度，港股股票代码09888.HK）在港交所发布了2025年一季度财报，公司实 现营业收入约325亿元，同比增长约3%；归属百度的净利润（以下简称"归母净利润"）约77亿元，同比增长约 42%。 百度表示，受智能云的增势加快所推动，公司业绩快速增长。智能云收入同比增长42%，其强劲增长反映了市场 认可公司提供的全栈AI产品与解决方案方面的实力。 今年一季度，百度智能云在国内大模型中标项目和金额再度夺得"双第一"。 备受关注的萝卜快跑，财报披露，百度萝卜快跑无人驾驶业务在迪拜、阿布扎比等海外市场战略合作迎来重大进 展。 百度电话会透露，萝卜快跑现已覆盖全球15座城市，部署超过1000辆无人汽车。 百度表示，今年一季度，升级MaaS平台千帆，扩充模型库并提供更全面的工具链，新增对多模态与推理模型训练 及微调的工具链，以进一步促进AI原生应用的开发。 百度称，其于《Fast Company》"2025年最具创新力公司"榜单中位列亚太区第二，仅次于深度求索 （DeepSeek），并因 "部署全球最 ...

金磊 克雷西 发自 凹非寺 量子位 | 公众号 QbitAI "我们已经过渡到了可以进行复杂推理的下一个模型范式。" OpenAI CEO奥特曼在年度总结中，给出了他关于大模型未来发展的论断。 推理模型的重要性正在上升，成为了继基础模型之后各家厂商厮杀的新战场。 推理模型百家争鸣，究竟 哪家能力 更强？最近，这个问题有了答案。 近期， 中国信息通讯研究院 （信通院）发布了一项最新的大模型推理能力评估成绩，结果显示—— 文心X1 Turbo 在24项能力评估中，16项达5分、7项达4分、1项达3分，综合评级获当前 最高级"4+级" 。 而且还是国内首款，也是唯一通过该测评的大模型。 为什么文心能够入围"4+级"？ 在百度刚刚举办的 AI Day 活动中， 百度集团副总裁吴甜 深入浅出地对其最新大模型，从模型、数据、应用等诸多方面做了深度解析和科 普，我们也与 她进行了一番对话 。 不妨从中来挖掘这个问题的答案。 △ 百度集团副总裁，吴甜 多模态融合，模仿人类思考 演讲中，吴甜介绍了文心大模型最新进展，也就是其在上个月发布的 文心4.5 Turbo 和 文心X1 Turbo ： 两个新模型的核心亮点，也代表了文心 ...

百度集团副总裁吴甜5月20日在百度AI Day活动现场对文心大模型最新版本的技术创新进行了系统性讲 解。她表示，文心大模型4.5是多模态基础大模型，文心4.5 Turbo源自文心4.5，效果更好、成本更低。 此外，基于文心4.5 Turbo，文心X1升级到X1 Turbo，性能提升的同时，具备更先进的思维链，问答、 创作、逻辑推理、工具调用和多模态能力进一步增强。（上证报） ...

5月20日，百度于北京举办AI Day活动，百度集团副总裁吴甜现场分享了最新版文心大模型4.5及深度思考模型X1背后的技术细节。 据她分享，文心大模型4.5是多模态基础大模型，文心4.5 Turbo源自文心4.5，效果更好、成本更低；基于文心4.5 Turbo，文心X1升级到X1 Turbo，在性能提升的同时，实现更先进的思维链，进一步增强问答、创作、逻辑推理、工具调用和多模态能力。 多模态能力方面，文心4.5和4.5 Turbo实现了文本、图像和视频的混合训练。针对不同模态数据在结构、规模、知识密度上的差异，通过多模 态异构专家建模、自适应分辨率视觉编码、时空重排列的三维旋转位 置编码、自适应模态感知损失计算等技术，提升跨模态学习效率和多模 态融合效果，学习效率提高近2倍，多模态理解效果提升超过30%。 在深度思考方面，文心X1、X1 Turbo突破了仅基于思维链优化的范式，在思考路径中结合工具调用，构建了融合思考和行动的复合思维链， 旨在使模型输出结果更优。 同时，结合多元统一的奖励机制，文心X1、X1 Turb实现了思考和行动链的端到端优化，大幅提升了跨领域的问题解决能力。 吴甜称，随着大模型的能力进一 ...

以下文章来源于中国企业家杂志 ，作者闫俊文 中国企业家杂志 . 讲好企业家故事，弘扬企业家精神 被追赶和超越，是创业者常面对的挑战。 来源：中国企业家杂志 记者：闫俊文 编辑：张晓迪 继2月论文"撞车"之后，梁文锋和杨植麟又在另一个大模型赛道上相遇了。 4月30日，DeepSeek上线新模型DeepSeek-Prover-V2，这是一个数学定理证明专用模型。 Prover-V2的参数规模进一步扩展到671B（6710亿规模参数），相较于前一代V1.5版本的 7B规模增加了近百倍，这让其在数学测试集上的效率和正确率更高，比如，该模型的miniF2F 测试通过率达到88.9%，它还解决了PutnamBench（普特南测试）的49道题。 对于梁文锋而言，在R1模型推出三个多月后，外界对DeepSeek"魔法"的痴迷程度正在下降， 阿里巴巴的开源模型正在迅速赶上以及超过DeepSeek，外界热切期待其发布R2或V4模型， 以加强领先优势。 对于杨植麟和月之暗面，Kimi正在遭受来自字节跳动的豆包和腾讯元宝的挑战，它也需要保持 持续创新。 01 编程与数学，实现AGI的两条路径 对于AGI的实现路径，2024年，Dee ...

以下文章来源于中国企业家杂志 ，作者闫俊文 中国企业家杂志 . 讲好企业家故事，弘扬企业家精神 对于梁文锋而言，在R1模型推出三个多月后，外界对DeepSeek"魔法"的痴迷程度正在下降，阿里巴巴的开源模型正在迅速赶上以及超过DeepSeek，外界热切期待 其发布R2或V4模型，以加强领先优势。 对于杨植麟和月之暗面，Kimi正在遭受来自字节跳动的豆包和腾讯元宝的挑战，它也需要保持持续创新。 记者闫俊文 编辑张晓迪 继2月论文"撞车"之后，梁文锋和杨植麟又在另一个大模型赛道上相遇了。 4月30日，DeepSeek上线新模型DeepSeek-Prover-V2，这是一个数学定理证明专用模型。 Prover-V2的参数规模进一步扩展到671B（6710亿规模参数），相较于前一代V1.5版本的7B规模增加了近百倍 ，这让其在数学测试集上的效率和正确率更高，比 如，该模型的miniF2F测试通过率达到88.9%，它还解决了PutnamBench（普特南测试）的49道题。 巧合的是， 4月中旬，月之暗面也曾推出一款用于形式化定理证明的大模型Kimina-Prover ，这是Kimi团队和Numina共同研发的大模型，该 ...

以下文章来源于中国企业家杂志 ，作者闫俊文 中国企业家杂志 . 讲好企业家故事，弘扬企业家精神 本文来自微信公众号： 中国企业家杂志 （ID：iceo-com-cn） ，作者：闫俊文，编辑：张晓迪，题图来自： AI生成 继2月论文"撞车"之后，梁文锋和杨植麟又在另一个大模型赛道上相遇了。 4月30日，DeepSeek上线新模型DeepSeek-Prover-V2，这是一个数学定理证明专用模型。 Prover-V2的参数规模进一步扩展到671B （6710亿规模参数） ，相较于前一代V1.5版本的7B规模增加了近 百倍 ，这让其在数学测试集上的效率和正确率更高，比如，该模型的miniF2F测试通过率达到88.9%，它还 解决了PutnamBench （普特南测试） 的49道题。 巧合的是， 4月中旬，月之暗面也曾推出一款用于形式化定理证明的大模型Kimina-Prover ，这是Kimi团队 和Numina共同研发的大模型，该产品也开源了1.5B和7B参数的模型蒸馏版本。该模型的miniF2F测试通过率 为80.7%，PutnamBench测试成绩为10道题。 两者相比较，在miniF2F测试通过率以及普特南测 ...