巴菲特：不会将全部赌注押在AI上

　　美国当地时间5月3日，被誉为“投资界春晚”的伯克希尔哈撒韦年度股东大会在“股神”沃伦·巴菲特的老家美国内布拉斯加州奥马哈举行。在会议上，谈及AI，巴菲特态度谨慎。他表示不会将全部赌注押在AI上，并点名由保险主管阿吉特·贾恩来负责相关判断。贾恩则称，AI将在保险领域带来颠覆性影响，但伯克希尔会采取“观望”策略，避免成为盲目跟风的“时尚追逐者”。

　　点评:AI是创新潮流，但伴随的泡沫也一直被讨论。这次讲话也为投资者提供了一个清晰的信号：伯克希尔并未忽视AI的潜力，但会坚持其一贯的“安全边际”原则，确保在充分权衡各种因素后再做出投资决策。这一领域仍处于发展的早期阶段，距离形成成熟的商业模式尚需时日。

　　苹果重组AI部门

　　在苹果AI进展缓慢之际，苹果CEO库克正在重组该公司的人工智能部门。最新消息称，苹果公司的机器人团队已经从该公司的人工智能和机器学习部门分离出来，转移至硬件部门。这也是苹果公司为应对人工智能困境而做出的最新调整。自苹果智能（Apple Intelligence）功能推迟发布以来，库克一直在努力重组部分团队。

　　点评:苹果在去年的全球开发者大会（WWDC）上发布了苹果智能的新战略，希望借助AI软件的升级提振苹果iPhone疲弱的销售。然而，该战略发布近一年来，仍面临诸多技术方面的挑战，AI距离真正的消费者应用仍有较大差距。上个月，苹果经历了令人尴尬的人工智能项目延期，苹果语音助手Siri的一些人工智能升级功能将推迟至2026年发布。

　　阿里开源新一代通义千问模型Qwen3

　　4月29日凌晨，阿里巴巴宣布推出新一代通义千问模型Qwen3并进行开源。阿里云方面表示，Qwen3是国内首个“混合推理模型”，将“快思考”与“慢思考”集成进同一个模型，参数量仅为DeepSeek-R1的1/3，成本大幅下降，并在ChatBot Arena等榜单中性能全面超越R1、OpenAI-o1等全球顶尖模型，登顶全球最强开源模型。

　　点评：据阿里云介绍，Qwen3性能大幅提升的同时，部署成本大幅下降，仅需4张H20即可部署Qwen3满血版，显存占用仅为DeepSeek-R1的三分之一。随后，英伟达、AMD、联发科等多家芯片公司适配了该模型。阿里云表态称，公司正从专注于训练模型的时代过渡到以训练 Agent 为中心的时代。

　　DeepSeek发布 Prover-V2 模型

　　4 月30日消息，DeepSeek于AI开源社区 Hugging Face上发布了一个名为DeepSeek-Prover-V2-671B的新模型。据了解，这是一款专为在数学 AI 编程语言Lean 4中进行形式化定理证明而设计的开源大语言模型。Prover-V2 在定理证明赛道上实现了业内最佳性能，在 MiniF2F 测试中达到了88.9%的通过率，在AIME 24、25测试中也获得不错的分数。

　　点评:全球开发者们都在期待DeepSeek发布R2模型，但目前何时问世尚未可知，外界推测，此次发布的定理模型或为R2模型打头阵。大家都在期待DeepSeek能够再次改变世界。

　　小米开源首个推理模型

　　4月30日，小米集团宣布开源推理模型Xiaomi MiMo。官方表示，在数学推理（AIME24 - 25）和代码竞赛（LiveCodeBenchv5）测评中，MiMo以7B参数规模超越OpenAI的o1 - mini和阿里的QwQ - 32B - Preview 。

　　点评：近期AI大模型领域竞争激烈，阿里发布通义千问Qwen 3系列，DeepSeek推出Prover-V2模型 。从行业走势看，小米此举或推动大模型向轻量化、高效能方向发展，加速AI在端侧设备的应用。

　　腾讯重构混元大模型研发体系

　　4月29日，第一财经记者获悉，腾讯对混元大模型研发体系进行了重构，围绕算力、算法和数据板块加码研发投入。此次腾讯成立大语言模型部、多模态模型部两个新部门，分别负责探索大语言模型和多模态大模型前沿技术。此外，数据平台部聚焦大模型数据全流程管理与建设，机器学习平台部聚焦机器学习与大数据融合平台建设。

　　点评：腾讯相关人士称，公司快速调整组织架构应对日新月异的大模型行业发展，这次调整有利于整合资源、优化研发流程。除腾讯外，快手近日也进行了相应调整，成立了可灵AI事业部。

　　快手成立可灵AI事业部

　　4月30日，快手发布组织架构调整公告，宣布正式成立可灵AI事业部，该事业部下设可灵AI产品部、运营部和技术部，负责可灵、可图等系列大模型业务，快手高级副总裁盖坤担任可灵AI事业部负责人，继续兼任社区科学线负责人。调整后，可灵AI将作为与主站、商业化、电商、国际化、本地生活并列的一级业务部门，向快手董事长兼 CEO 程一笑汇报。这也是近 3 年时间里，快手唯一成立的独立事业部。

　　点评: 可灵是快手自研的视频生成大模型。根据官方数据，自商业化以来至今年2月，可灵AI累计营业收入已超过1亿元。有消息称，可灵AI今年前三个月的营收，已超过2024年下半年的总和。

　　马斯克称下周推出Grok 3.5

　　4月29日，马斯克在社交平台上表示，下周Grok 3.5早期测试版将向SuperGrok订阅者发布，它是第一个能够准确回答有关火箭发动机或电化学技术问题的人工智能。马斯克称，Grok是从第一性原理推理得出互联网上根本不存在的答案。

　　点评:今年2月，xAI正式发布Grok 3，并在两天后把Grok 3免费向所有公众开放，超越ChatGP登顶苹果应用商店免费应用下载排行榜第一名。马斯克曾称Grok 3为“地球上最聪明的人工智能”。

　　Meta推出独立的AI应用，对标ChatGPT

　　北京时间4月30日，Meta举办了首届聚焦AI业务的LlamaCon开发者大会，会上正式发布了对标ChatGPT的智能助手Meta AI App，这一应用基于Llama最新模型打造。AI智能助手早已不稀奇，但这次Meta AI强调了两个特色。一方面，Meta将旗下社交媒体账号与Meta AI打通，登录账号即可了解用户偏好、记住上下文，并进行个性化设置；另一方面，除了一般的移动设备、网页之外，Meta AI可以在Meta雷朋智能眼镜上体验，通过眼镜直接与Meta AI对话。

　　点评: 业内人士认为，无论是Meta AI助手，还是Llama API服务，都是Meta探索开源模型商业化的一大举措。独立的AI助手能让用户更便捷地访问AI功能，通过个性化定制等方式，提升用户体验与参与度，另外参考ChatGPT的付费订阅模式，或许也能开辟新的收入来源。AI普惠之后，商业化是开源模型厂商们需要面对的问题。

　　国内存储厂商一季度业绩冷热不均

　　多家上市存储器厂商近日发布的第一季度业绩冷暖不均。其中，江波龙第一季度录得营收42.56亿元，同比有所下滑，净利润亏损1.52亿元；朗科科技营收2.34亿元，同比增长5.19%，净利润亏损0.13亿元；澜起科技营业收入12.22亿元，同比增长65.78%，净利润5.25亿元，同比增长135.14%；兆易创新营收19.09亿元，同比增长17.32%，净利润2.35亿元，同比增长14.57%；香农芯创营收79.06亿元，同比增长243.33%，净利润0.17亿元，同比增长18.66%。

　　点评：冷热不均背后，下游需求复苏的力度未能催化所有厂商的业绩。在公告中，有存储厂商表示，AI PC等终端对存储容量需求有所带动，促使半导体下游市场需求回暖。也有厂商表示，以消费电子为核心的下游终端市场复苏仍然缓慢。