INDUSTRY
Anthropic 最快下周完成逾 300 亿美元融资，估值有望反超 OpenAI
据彭博社报道，Anthropic 即将完成一轮超 300 亿美元的融资，最快可能于下周敲定。此轮融资将使其估值突破 9000 亿美元，正式超越 OpenAI，成为全球估值最高的 AI 初创企业。公司营收高速增长，预计第二季度营收将达 109 亿美元，环比增长超一倍，有望迎来首个盈利季度。
估值逆转不是叙事反转，是营收数据说话，AI 安全叙事终于有了商业落地背书。
— ✦ —
INDUSTRY
黄仁勋：AI 基建年度开支要冲到 4 万亿美元
英伟达发布 2027 财年 Q1 财报，营收 816 亿美元，同比增长 85%，净利润翻两倍多，市值达 5.7 万亿美元。黄仁勋预测，超大规模云厂商的 AI 基建年度开支将从当前的 1 万亿美元增长至 3–4 万亿美元，远超华尔街预期。数据中心业务营收 752 亿美元，占比超九成。
4 万亿的基建赌注意味着，AI 行业已经从模型竞赛进入基础设施军备竞赛。
INDUSTRY
微软报告：使用 AI 的成本已高于支付人工工资
来源：Fortune / Hacker News ·
原文微软发布报告指出，在特定工作场景中，部署和使用 AI 的成本目前已高于支付相应的人工工资。报告分析了基于 tokens 和 agents 的 AI 使用模式，发现其综合开销超过了雇佣人类员工完成同类任务的费用。这一发现揭示了当前企业应用 AI 技术面临的现实经济挑战。
最讽刺的报告：卖 AI 算力的公司承认 AI 用起来比人贵，泡沫还是拐点？
— ✦ —
INDUSTRY
AI 替代入门级工作：74% CEO 冻结或缩减招聘
奥纬咨询研究发现，AI 工具正被广泛用于入门级任务，科技行业受冲击最严重，74% 的 CEO 已冻结或缩减招聘。计划削减初级岗位的比例从 17% 跃升至 43%。尽管超 90% 的企业在部署 AI，但多数仍处试点阶段。报告警告，过快裁员可能对人才梯队造成长远风险。
初级岗位蒸发意味着人才梯队的断层，五年后谁来当高级工程师？
— ✦ —
PAPER
AlphaProof Nexus：用形式化验证驱动 AI 数学证明
Google DeepMind 提出 AlphaProof Nexus 系统，将大型语言模型与 Lean 形式化验证工具结合。系统允许 LLM 在生成证明的过程中不断读取编译错误并修正，在针对 353 个 Erdős 问题和 492 个开放猜想的测试中展现了突破性表现。
让 LLM 从「说得像真的」变成「数学上确实是对的」，形式化验证是通往可信 AI 的关键一步。
INDUSTRY
Mistral AI 收购 Emmi AI，加码物理 AI 与数字孪生
Mistral AI 宣布收购物理 AI 先驱 Emmi AI，将其在物理仿真与数字孪生方面的专长整合到工程解决方案中。Emmi AI 的 30 余名研究员与工程师将加入团队，共同构建面向航空航天、汽车等高风险行业的实时仿真平台。
语言模型公司开始吞物理引擎公司，AI 的下一个战场在现实世界。
— ✦ —
PRODUCT
DeepSeek-V4-Pro 永久降价
DeepSeek 宣布将 V4-Pro 的优惠价格永久化，用户可以持续享受降价后的 API 调用费用。推理市场的价格战进一步加剧。
从限时促销到永久降价，推理市场的价格战已经没有回头路。