DeepSeek 一手融巨资一手降价，Agent 推理成本被严重低估，今天的主题是 AI 的钱往哪花。
DeepSeek 正推进 700 亿元人民币巨额融资，估值约 450 亿美元。创始人梁文锋承诺将继续开发开源 AI 模型，不追求短期商业化。腾讯、IDG 资本等接近参投，梁文锋个人可能注资 200 亿元。若成功，将创下中国科技初创公司首轮融资纪录。
开源信仰换来了中国 AI 最大一笔融资，开源与商业化并非非此即彼。
英伟达 Q1 营收 816 亿美元，同比增长 85%。黄仁勋预测超大规模云厂商的 AI 基建年度开支将从 1 万亿增长至 3-4 万亿美元，远超华尔街预期。数据中心业务营收 752 亿美元，占比超九成。
当 GPU 巨头给出 4 倍增长预期，所有人的预算表都得重写。
Anthropic 的 Project Glasswing 通过约 50 家合作伙伴使用 Claude，在全球关键系统中发现超过 10000 个高危或严重漏洞。Cloudflare 发现 2000 个漏洞，Mozilla 在 Firefox 150 中修复 271 个漏洞，效率提升超十倍。
AI 不只是写代码，找 bug 才是它真正的安全价值所在。
DeepSeek 宣布 V4-Pro 永久降价，同时 V4 Flash 登顶 OpenRouter 周排行榜。一边融资一边降价，DeepSeek 正在用价格杠杆加速市场渗透。
融资与降价双管齐下，推理市场的价格地板又低了一层。
Karpathy 发布的 CLAUDE.md 仅 65 行、4 条核心规则，登顶 GitHub 趋势榜。核心思路是强制开发者「慢下来」，将深度思考、追求简洁、精准修改和目标驱动变为硬性准则，对抗开发者先写再说的本能。
最好的 prompt 工程不是教 AI 怎么做，而是教人怎么想。
谷歌在 I/O 大会系统性构建面向 AI 代理的开发与部署工具链：Antigravity 2.0 桌面应用、Google AI Studio 新增 Kotlin 支持并可一键发布安卓应用、Gemini API 托管代理服务实现一键部署、WebMCP 开放标准在 Chrome 149 中推出。
谷歌要把 Agent 开发变成搭积木，谁先铺好基础设施谁就锁定生态。
Google DeepMind 提出将 LLM 与 Lean 形式化验证工具结合的系统，迫使模型将每一步逻辑转化为可编译代码，角色从「令人信服的叙述者」变为「候选方案生成器」。在 353 个 Erdős 问题和 492 个开放猜想的测试中取得突破。
让 AI 证明数学不只是生成文本，而是通过编译器的验证，这才是真正的推理。
SemiAnalysis 从 43.2 万个真实编码 Agent 请求中发现，中位数输入 token 达 9.6 万，相当于《了不起的盖茨比》全文长度。这意味着 Agent 场景下的推理成本远超传统对话模式，推理经济学正在被重写。
Agent 不是对话的延伸，而是一种全新的成本结构，算账方式得换。