今日焦点：Anthropic 估值 $900 亿拟融资 $500 亿、IBM Granite 8B 匹敌 32B MoE、Meta Business AI 周处理千万对话。
🔥 焦点事件
1. Anthropic 拟以 $900 亿估值融资 $500 亿
TechCrunch 引述知情人士，Anthropic 正洽谈新一轮融资，估值高达 $900 亿，预计融资规模 $500 亿。此轮若完成，Anthropic 将成为全球估值最高的 AI 公司之一，仅次于 OpenAI。投资者对 Claude 系列模型的商业化前景持续看好。
来源：TechCrunch · 发布时间：2026-04-29
2. IBM Granite 4.1: 8B 参数模型匹敌 32B MoE
IBM 发布 Granite 4.1 开源模型系列。8B 参数的 Dense 模型在多项基准上达到与 32B Mixture-of-Experts 模型相当的表现，同时显著降低推理成本和延迟。这挑战了 “模型越大越好” 的行业默认假设，为企业级高效推理提供了新选择。
来源：Hacker News · HN 评分：147 · 发布时间：2026-04-30
3. Mozilla 反对 Chrome 的 Prompt API，担忧用户隐私
Mozilla 向 W3C 标准组织提交意见，反对 Chrome 新增的 Prompt API，认为该 API 允许浏览器在不充分告知用户的情况下调用 AI 模型，存在隐私风险。Google 的提案引发行业对浏览器级 AI 集成的隐私边界讨论。
来源：Hacker News · HN 评分：252 · 发布时间：2026-04-30
📄 论文速递
1. Operating-Layer Controls for Onchain Language-Model Agents Under Real Capital
研究探讨链上 LLM Agent 在真实资本下的操作层控制机制，提出安全框架确保链上 AI Agent 的行为边界和资产安全。为 DeFi 和链上 AI 应用的风控提供理论基础。
arXiv:2604.26091 · 发布时间：2026-04-30
2. Evaluating Strategic Reasoning in Forecasting Agents
提出针对预测任务中 AI Agent 战略推理能力的评测框架，探索模型在多步决策和长期预测场景下的推理表现，为 Agent 能力评估提供新的测试维度。
arXiv:2604.26106 · 发布时间：2026-04-30
3. DreamProver: Wake-Sleep 定理证明 Agent
DreamProver 提出"醒-睡"循环的定理证明 Agent，递归构建可迁移的引理库。在 Lean4 环境中实现自动证明进化，展示出跨不同数学领域的迁移能力，为 AI 数学推理提供新路径。
arXiv:2604.26311 · 发布时间：2026-04-30
4. Rethinking KV Cache Eviction via a Unified Information-Theoretic Objective
从信息论角度重新审视 KV Cache 驱逐策略，提出统一目标函数同时优化内存效率和信息保留。该研究为 LLM 长上下文推理的资源管理提供更理论化的方法。
arXiv:2604.25975 · 发布时间：2026-04-30
💬 行业动态
- Meta Business AI 周处理对话量突破千万，企业 AI 应用进入规模化阶段 · 来源 · 2026-04-30
- SoftBank 创立数据中心机器人公司，已在筹备 $100B IPO · 来源 · 2026-04-29
- Microsoft Copilot 付费用户超 2000 万，实际使用率高于预期 · 来源 · 2026-04-29
- Google Cloud 突破 $200 亿但增长受限于算力产能 · 来源 · 2026-04-29
数据采集时间：2026-04-30 · 信息源：TechCrunch · arXiv cs.AI/cs.LG · Hacker News
