AI 周刊 #004 · 算力军备竞赛升级

每周精选 AI 领域最值得关注的进展、论文与工具。

📅 本周日报速览

本周共发布 6 期 AI 日报


🔥 本周焦点

1. Google 宣布向 Anthropic 投资最多 400 亿美元

Google 宣布未来将向 Anthropic 投资最多 400 亿美元,形式包括现金和算力。这是继亚马逊之后又一家科技巨头重注 Anthropic。交易完成后,Anthropic 估值将向 800 亿美元逼近。同时,Google 推出了主打网络安全的 Mythos 模型限量版。这场 AI 算力军备竞赛正在升级。

来源:TechCrunch · 2026-04-24

2. DeepSeek V4 开源发布:1.6T 参数、100 万 token 上下文

DeepSeek 发布 V4 双模型家族,MIT 协议开源:

  • V4-Pro:1.6T 总参数,每 token 激活 49B,MoE 架构
  • V4-Flash:284B 总参数,每 token 激活 13B

两款模型均原生支持 100 万 token 上下文,已上传 HuggingFace。V4-Pro 在编程和数学基准上领跑开源模型,世界知识仅次于 Gemini 3.1-Pro。值得注意的是,模型针对华为芯片做了兼容适配。

来源:The Next Web · 2026-04-24

3. Cohere 收购 Aleph Alpha,$200 亿主权 AI 联盟成立

加拿大 AI 公司 Cohere 宣布收购德国 AI 公司 Aleph Alpha,合并后估值约 $200 亿。Schwarz Group(Lidl 母公司)向 Cohere E 轮注资 $6 亿,德国州政府成为锚定客户。合并实体定位为欧洲主权 AI 基础设施,主打数据合规与隐私保护,直接对标 OpenAI 和 Google。

来源:CNBC · 2026-04-24

4. Anthropic 与 Google、Broadcom 签署 3.5GW 算力协议

Anthropic 获取约 3.5 吉瓦次世代 TPU 算力,预计 2027 年起逐步上线。公司营收较去年同期增长三倍,估值正向 800 亿美元迈进。

来源:Anthropic · 2026-04-24

5. Anthropic 拟以 $900 亿估值融资 $500 亿

TechCrunch 引述知情人士,Anthropic 正洽谈新一轮融资,估值高达 $900 亿,预计融资规模 $500 亿。此轮若完成,Anthropic 将成为全球估值最高的 AI 公司之一,仅次于 OpenAI。投资者对 Claude 系列模型的商业化前景持续看好。

来源:TechCrunch · 2026-04-29

6. Scout AI 获 $100M 融资,专注战争 AI 智能体训练

Scout AI 宣布完成 1 亿美元融资,用于训练战争用途的 AI 模型。公司正在开发能够控制自主车辆集群的 AI 智能体,帮助单个士兵在战场上协调多个无人系统。

来源:TechCrunch · 2026-04-29

7. Meta 收购 Assured Robot Intelligence,进军人形机器人

Meta 收购人形机器人初创 Assured Robot Intelligence,强化其物理 AI 模型布局。该交易与 Meta 此前在 Llama 系列大模型上的开源策略一脉相承——机器人可能成为下一个"开源高地"。

来源:TechCrunch · 2026-05-01

8. 美国国防部与 Nvidia、Microsoft、AWS 签署机密网络 AI 部署协议

美国国防部与三大云厂商签署协议,在机密网络上部署 AI。此举发生在国防部与 Anthropic 因使用条款争议分手后——Google 迅速填补空缺后,国防部进一步扩大供应商多元化。

来源:TechCrunch · 2026-05-01


📄 论文精选

论文核心贡献
VLAF: Value-Conflict Diagnostics for Alignment Faking基于价值冲突场景诊断对齐伪装,发现 7B 模型在 37% 案例中出现伪装,单向量缓解相对降低 85.8%
COSPLAY: Co-Evolving LLM Decision and Skill Bank Agents双层协同进化框架,8B 模型在游戏环境中平均奖励提升 25.1%,解决长时序决策中技能发现与复用难题
Memanto: Typed Semantic Memory with Information-Theoretic Retrieval基于信息论的语义记忆层,在 LongMemEval 和 LoCoMo 评测中分别达到 89.8% 和 87.1% 准确率,超越所有混合图和向量系统
FormalScience: Scalable Human-in-the-Loop Autoformalisation人机协作自动化形式化管道,使用 Lean4 证明器将物理学问题从 LaTeX 形式化,在 200 个大学物理问题上实现完美形式正确性

🛠 工具推荐

  • DeepSeek V4-Pro / V4-Flash:MIT 开源,1M token 上下文,HuggingFace 可下载 · thenextweb.com
  • ComfyUI:AI 图像/视频/音频生成工具,估值达 5 亿美元,获 $30M 融资 · TechCrunch
  • IBM Granite 4.1:8B 参数匹敌 32B MoE,挑战"模型越大越好"行业假设 · Hacker News
  • EvanFlow:TDD 驱动 Claude Code 反馈循环工具,提升 AI 编程质量 · GitHub

💬 行业动态

  • 苹果 Tim Cook 宣布将于 9 月卸任 CEO,硬件负责人 John Ternus 接任 · TechCrunch · 2026-04-24
  • Mac Mini 因本地 AI 需求爆发全球缺货,eBay 出现大规模溢价转售 · TechCrunch · 2026-04-24
  • Musk 出庭 OpenAI 审判,重提与 Altman 的友谊破裂 · TechCrunch · 2026-04-28
  • Mozilla 反对 Chrome 的 Prompt API,担忧用户隐私 · Hacker News · 2026-04-30
  • Meta Business AI 周处理对话量突破千万,企业 AI 应用进入规模化阶段 · TechCrunch · 2026-04-30
  • Microsoft Copilot 付费用户超 2000 万,实际使用率高于预期 · TechCrunch · 2026-04-29

数据来源:TechCrunch / The Next Web / CNBC / arXiv cs.AI · cs.LG / HuggingFace / Anthropic / Hacker News 等 · 周刊日期:2026-05-01

SkySeraph
SkySeraph
AI for All & All for AI
留言 Comments