全球 AI 行业大模型与监管动态

Anysphere 公告称 Cursor 将与 xAI 使用 Colossus 基础设施训练新模型以突破算力瓶颈；SpaceX 提出 600 亿美元的收购选择权（2026 年内可整体收购），不行就支付约 100 亿美元作为合作补偿。两笔交易同时进行，重塑谁能训练 Cursor 以及谁能买下 Cursor，Cursor 仍允许多模型后端，但长期走向取决于 SpaceX 是否行使收购权。

根据 Decrypt 报道，Forge Global 的 Anthropic 二级估值约 1 兆美元，OpenAI 约 8,800 亿美元，二级市场首次出现领先逆转。Anthropic ARR 由 2025 底的约 90 亿增至 2026 年 3 月约 300 亿，三个 在 233%，推动私募估值。二级估值与一级融资不同，反映退出信心；未来仍看技术、政策、商业与叙事四条渠道。

Gate News 消息，4月24日——Meta Platforms 计划于5月20日将其员工规模减少约10%，影响大约8,000个岗位。这次裁员旨在提高运营效率，同时增加对人工智能的投资。 所计划的重组体现了该公司向优先发展人工智能与优化运营的战略转变。

白宫科技政策办公室（OSTP）总统助理迈克尔·J·克拉齐奥斯（Michael J. Kratsios）于 4 月 23 日发布官方声明，表示特朗普政府掌握信息，显示外国实体（主要位于中国）正在蓄意针对美国大型人工智能公司，通过“数万个代理账户”及越狱技术系统性提取美国 AI 模型能力，并同步公布四项应对措施。

DeepSeek 于 4 月 24 日正式推出 V4 预览版系列，以 MIT 许可协议开源，模型权重已同步上线 Hugging Face 及 ModelScope。根据 DeepSeek V4 技术报告，V4-Pro-Max（最高推理力度模式）在 Codeforces 基准取得 3206 分，超越 GPT-5.4。

Gate 新闻消息，4月24日——寒武纪今天宣布，它已完成 DeepSeek-V4 的 Day 0 适配。DeepSeek-V4 是 DeepSeek 最新的大型语言模型。寒武纪使用其专有的 NeuWare 软件生态系统以及 vLLM 框架完成了该适配。适配代码已同步开源，标志着

腾讯于 4 月 23 日在 GitHub、Hugging Face 及 ModelScope 平台正式开源 Hy3 预览版大型语言模型，并同步于腾讯云端（Tencent Cloud）提供付费 API 服务。据 Decrypt 于 4 月 24 日报道，Hy3 预览版自 1 月下旬启动训练，截至发布时间历时不足三个月。

FTX，这家在2022年11月因流动性短缺和资本外流而申请第11章破产保护的中心化加密货币交易所，如果没有崩溃，据Park引用的分析称，本可持有约158.796万亿韩元的投资。

Gate News 消息，4月24日——小米的大语言模型团队负责人罗福丽在一场深入采访中透露，MiMo-V2-Pro 模型的总参数量达到 1 万亿，并且训练过程中需要成千上万台 GPU。她表示，1T 规模代表要实现接近 Claude Opus 4.6 等级的性能，并为下一阶段 AI 智能体抢占具备竞争力的入场券所达到的最低门槛

Gate News 消息，4月24日——DeepSeek V4 已发布来自形式化数学推理评测的结果，在 Putnam-2025 上获得满分 120/120，与 Axiom 并列第一。 在使用 LeanExplore 和受约束采样的实际模式下，V4-Flash-Max 在 Putnam-200 Pass@8 基准测试中得分 81.00，显著优于 Seed-2.0-Prover 35.50、Gemini 3 Pro 26.50 和 Seed-1.5-Prover 26.50。前沿模式的结果显示，V4 在 Seed-1.5-Prover 110/120 与 Aristotle 100/120 之前。 V4 采用混合的形式化-非形式化推理方法：非形式化推理生成候选自然语言解答，自我验证用于筛选结果，而形式化智能体在 Lean 中完成严格证明。前沿结果采用了大规模计算扩展，而实际模式分数更能反映标准部署能力。

Epoch AI 的调查显示，Claude 用户多为高收入群体，80% 年收超过 10 万美元；Meta AI 收入分布最广，36.5% 在 10 万以上，低收入占比最高；Claude 价格上涨且分层计费，成本可能提高，Meta 入门较容易。未来用哪款 AI 可能成为隐性身份标签。

Gate News 消息，4月24日——V4 已公开披露其 V4-Pro 模型的内部自用（dogfooding）数据。该公司从 50 多名工程师处收集了约 200 项真实的工程任务，覆盖特性开发、错误修复、重构以及跨技术栈的诊断，包括

英国正在与人工智能公司 Anthropic 合作，探索金融网络安全方面的一大步。早期讨论显示，政府可能会在银行和金融机构中部署 Anthropic 的先进 Claude Mythos 模型。此举旨在加强防御，以应对网络威胁

Gate News 消息，4月24日——中国国家知识产权局在4月24日宣布，将通过机构改革、强化服务以及扩大应用，为新兴技术建立全面的知识产权保护体系。该局将优化专利审查政策，在人工智能、半导体及相关领域的创新方面，提供多种路径，包括优先审查和加速审查。

一位高级海军上将已表示，美国政府正在积极在比特币网络上运行一个节点，同时刻意避免参与挖矿活动。该披露表明，当局正在以更深入的方式参与区块链基础设施，用于监管和

Gate News 消息，4月24日——特斯拉在4月23日公布的第一季度营收为224亿美元，同比增长16%。公司全球汽车交付量超过358,000辆，而产量超过408,000辆。 特斯拉的上海超级工厂在该季度交付了213,000辆车辆

Gate News 消息，4月24日——SK Hynix报告称，截至4月23日，其季度经营利润实现五倍增长，创下纪录，达到37.61万亿韩元 ($32.4 billion)，主要受益于来自人工智能和数据中心的需求暴涨。该意外之财正在推动前所未有的员工奖金，分析师预计该奖金可能在2027年每位员工最高达到$878,000，若当前盈利预

Gate News 消息，4月24日——DeepSeek 的 V4 技术报告显示，V4-Flash 和 V4-Pro 分别在 32T 和 33T token 上进行了预训练，相较于 V3 使用的约 15T token 翻了一倍。该报告承认在训练过程中遇到了“显著的不稳定性挑战”，损失尖峰反复出现，是由于 Mixture-of-Experts MoE 层中的异常；路由机制本身会加剧这些异常，而简单的回滚也无法解决问题。

Gate News消息，4月24日——DeepSeek已在MIT许可证下发布V4系列开源模型，权重现已在Hugging Face和ModelScope提供。该系列包含两个混合专家 (MoE) 模型：V4-Pro 总参数达1.6万亿，且每token激活49亿

Gate News 消息，4月24日——软银株式会社（SoftBank Corp），日本软银集团（SoftBank Group）的移动业务部门，计划将大阪堺市其工厂的一部分改造为面向 AI 数据中心的大型电池生产线。预计 CEO 宫川顺一（Junichi Miyakawa）将于 5 月公布该项目，作为一项新的五年计划的一部分，