近日，笔者在与IBM大中华区技术销售总经理、首席技术官翟峰的对话中，他也提出了同样的观点。在此基础上，翟峰还认为，AI的试验阶段已经结束，企 业核心竞争力将取决于定制化AI应用和可量化的业务成果方面。 在前不久举办的IBM Think大会上，IBM董事长兼首席执行官（CEO）阿温德·克里希纳（Arvind Krishna）曾指出，当前的AI需要聚焦四个层面，分别是：智 能体、数据、集成、基础设施。 在翟峰看来，企业想要通过AI获得收益的过程中，首先需要面对三个问题：第一，高质量的数据有没有？第二，有没有在用？第三，有没有发挥作用？"企 业级AI落地最重要的因素是数据，这是核心生产力，没有数据一切都是空谈，"翟峰进一步指出，"现在大家在谈的大模型，可能有很多互联网数据，但是企 业最核心的数据有没有整合出来？这是最关键的因素。" 另一方面，在AI技术风潮步入智能体时代的背景下，AI技术如何与传统自动化技术融合，成为接下来AI技术发展的关键点。 以制造业为例，在生产制造过程中，原本工厂就已经应用上了诸如自动化流水线、自动化机器臂等自动化设备，在AI时代，这些传统的自动化设备如何与 AI智能体融合，产生更大的力量是个 ...

以下文章来源于中国企业家杂志 ，作者闫俊文 中国企业家杂志 . 讲好企业家故事，弘扬企业家精神 被追赶和超越，是创业者常面对的挑战。 来源：中国企业家杂志 记者：闫俊文 编辑：张晓迪 继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测试通过率以及普特南测 ...

记者/ 何己派 一手抓模型，一手抓应用，还要大搞生态，百度打出大模型新牌。 4月25日，Create2025百度AI开发者大会在武汉举办。百度创始人李彦宏登台，一口气讲了60分钟，发 了两大模型，多款AI应用，还要帮开发者全面拥抱MCP。 新亮相的两款模型，分别是文心大模型4.5 Turbo和深度思考模型X1 Turbo，具备多模态、强推理、低成 本三大特性。 其中，高说服力数字人，是他眼中"今年最令人激动的突破性应用之一"。 在电商直播场景下，传统的数字人文案枯燥、动作少、机器音重。李彦宏称，百度的高说服力数字人， 表现力媲美甚至超越真人。 其拥有"剧本生成"能力，能够做到表情、语气、动作都匹配台词内容实时调整，让数字人的情绪转折和 动作切换十分顺畅。 此外，该数字人具备"AI大脑"，能根据直播间实时热度和转化情况，灵活调度助播、场控、运营等角 色，共同促进转化，譬如适时切换镜头画面、调度图片、视频素材。 价格方面，文心4.5Turbo，每百万token的输入价格仅为0.8元，输出价格3.2元，相比文心4.5，价格下降 80%，仅为DeepSeek-V3的40%。 X1 Turbo更进一步，输入价格为每百万 ...