今天 AI 圈在拼账本，不是模型

Anthropic 估值 9000 亿，48 小时内交钱意向

这条我会先打个折。今天 AI 投资圈最大的数字是 9000 亿美元，但更值得看的不是金额，是节奏。

据知情人士透露，Anthropic 要求投资人在 48 小时内提交认购意向，这轮融资预计两周内完成。TechCrunch 此前报道融资额约 500 亿美元，估值目标在 9000 亿美元左右。不过因为想入局的投资者太多，最终估值可能还会更高。

这个估值什么概念？目前全球市值最高的上市公司是英伟达，Alphabet 刚在一天内涨了 4200 亿美元市值，Anthropic 这一轮直接对标的是整个 Alphabet 的体量。Bloomberg 的节目里也提到这个数字"高得有点吓人"。

但缺的东西很关键：领投方是谁、具体条款怎么签、钱怎么花，都没说。48 小时交意向这个节奏，更像是在制造紧迫感，而不是正常的融资流程。

我会先观望。

Google 把 AI 支出拉到 7250 亿，Alphabet 一天涨出个 Anthropic

今天 Alphabet 股价大涨约 9%，市值单日增加约 4200 亿美元，创下历史最大单日涨幅纪录。其市值目前仅比全球市值最高的英伟达低约 6%。

核心驱动力来自 Google Cloud，营收实现了 63% 的增长，增速超过了这段时间 AWS 和 Azure 的表现。增长主要得益于企业客户广泛采用基于 Gemini 模型和定制 TPU 构建的 AI 解决方案。

与此同时，Bloomberg 报道 Google 宣布 AI 支出计划升至 7250 亿美元，超越科技同行。这个数字放在 Anthropic 估值 9000 亿的语境下看，Google 相当于在说：我不光要投你，我自己也要花掉将近一个 Anthropic 的钱。

Alphabet 和亚马逊的 AI 业务回报看起来更实在，Meta 则相对落后。但 Bloomberg 的节目没给出具体的 AI 投入金额，这点先别太激动。

Meta 日活首次下降，但每天烧 4 亿美元搞 AI

Meta 今天交了一份让人皱眉的财报。2026 年第一季度，全球日活跃用户首次下降，"应用家族"日活减少 2000 万。公司归因于伊朗网络中断和俄罗斯禁用 WhatsApp，但合并数据掩盖了具体应用流失。

更扎眼的是支出端。Meta 将 2026 年资本支出指引上调至 1250-1450 亿美元，主要用于应对内存芯片涨价和加码 AI 基础设施投资，日均投入约 4 亿美元。尽管营收增长 33% 至 563 亿美元、净利跃升 61%，公司仍计划裁员 8000 人以"抵消"AI 投资成本，Reality Labs 部门亏损 40 亿美元。

华尔街不买账，股价盘后大跌超 7%。

这个组合挺拧巴的：用户少了，但 AI 投入翻倍；赚得多了，但裁员 8000 人。扎克伯格在赌 AI 能补上用户流失的窟窿，但市场显然在问：万一补不上呢？

马斯克在法庭上承认：xAI 用 OpenAI 模型训练了 Grok

这条挺离谱的。马斯克在加州联邦法院作证时，被问到 xAI 是否用 OpenAI 的模型来训练 Grok，他回答"部分是"。

这种技术叫"蒸馏"，就是拿大模型的对话结果当教材去教小模型。在行业里不算罕见，但从马斯克嘴里说出来还是有点讽刺——他一边起诉 OpenAI 背离非营利使命，一边用 OpenAI 的模型训练自己的产品。

缺少具体用了哪些模型、蒸馏了多少数据、以及这种做法对 Grok 性能的实际影响。但这件事本身的信息量已经够了。

Meta 收购 Manus 被北京叫停，Manus 还在用微商话术打广告

两条关于 Manus 的消息放在一起看，画面挺割裂的。

第一条：NDRC 周一做出裁定后，Meta 收购 Manus 的交易大概率要全部撤销。播客里提到，Manus 在搬迁和被收购前跳过了监管审批这一步，被北京抓了现行。缺少交易金额、裁定书原文和具体的审批条款，所以没法判断处罚力度到底有多重。

第二条：Meta 收购的 Manus 在 Instagram 和 Facebook 上投了一批广告，话术很像"别去打工了，用 AI 躺着赚钱"。广告瞄准的是本地小商家，尤其是那些没有网站或者网站做得很烂的店主，让他们用 Meta 的 AI 工具生成网站。Manus 还花钱请创作者在 Instagram、YouTube 和 TikTok 上发推广内容，其中一些没标注是广告。

Meta 花 20 亿美元买下 Manus，然后在自家平台用微商话术推销。现在这笔交易本身也要被撤销了。

微软和 OpenAI 从"独家绑定"变成"开放式关系"

微软周一更新了和 OpenAI 的协议，最大的变化是 OpenAI 以后可以把产品和服务卖给所有云厂商，不再被微软的云独占。

这相当于两家从"独家绑定"变成了"开放式关系"。对 OpenAI 来说，这会让可以接触更多客户；对微软来说，虽然丢了独占权，但可能从 OpenAI 的新客户那里分到一部分收入。

但分成比例和算力承诺这些关键条款都没公布。OpenAI 到底能省多少钱、微软又能从新客户那里分到多少，目前还不清楚。

这个时间点也值得留意：Anthropic 估值冲到 9000 亿、Google 支出拉到 7250 亿，微软这时候松开 OpenAI 的绳子，像是在说"你自己去跑吧"。

陶哲轩说数学界从缺证明变成证明太多

陶哲轩最近公开说，数学研究的瓶颈已经从"找不到证明"变成了"证明太多看不过来"。在一个关于 Erdős 问题的 GitHub 页面上，已经有 20 多个 AI 生成的解法等着人去评估。

文章提到 GPT-5.4 Pro 用 80 分钟就给出了 Erdős #1196 的一个思路，陶哲轩自己在 24 小时内验证了核心部分。

现在真正头疼的不是 AI 能不能解数学题，而是人能不能跟得上 AI 生成证明的速度。这跟今天 AI 圈的整体氛围挺像的——钱太多、模型太多、信息太多，但判断和验证的能力没跟上。

今日小信号

• DeepSeek 多模态模型发布了技术报告，提出"基于视觉原语的思考"框架，让模型在推理时直接在图上标坐标、画框。在多项计数和空间推理基准上可与 GPT-5.4 媲美，但模型规模紧凑。
• Qwen-Scope 开源：Qwen 团队放出了能拆解模型内部信号的 SAE 工具，标出了一个跟中文激活相关的特征 #6159，让开发者能像调试代码一样操控模型内部特征。
• Grok-4.3 上线 OpenRouter：价格比 Grok-4.2 更低，代理性能 ELO 分数跃升 321 点至 1500，性价比提升显著。
• Cloudflare 让 AI 代理自己开户买域名：代理能自主创建账户、开通付费订阅、注册域名并获取 API 令牌部署代码，人类只需最后点个头。Stripe 也在给代理发虚拟卡。
• 英国政府警告 AI 网络攻击加速：AISI 评估显示前沿模型的网络能力翻倍周期从八个月缩短到四个月，基于对 Anthropic 的 Mythos 等模型的测试。