70亿美元，个人掏30亿，估值500亿。

这是DeepSeek今天放出的融资数字。梁文锋一个人出了这轮融资的40%，同时还握着公司90%的股份。你想想看，一个对冲基金出身的人，把AI公司做到这个体量，整个中国AI圈怕是没谁能接住这个叙事。

🔥 重点新闻

1. DeepSeek 以500亿美元估值融资70亿美元

DeepSeek正在进行中国AI领域有史以来最大的单轮融资，70亿美元。创始人梁文锋个人出资30亿美元，占本轮融资的40%，同时仍保留公司90%的所有权。

坦率的讲，这个数字有点离谱。一个从量化对冲基金里长出来的AI实验室，估值直接干到500亿。最关键的是，梁文锋自己掏30亿，这意味着他对公司的控制权几乎没有被稀释。对比OpenAI那堆治理风波，DeepSeek这种”创始人绝对控股”的模式反而显得简单粗暴但有效。

这笔钱主要会用来获取算力。在中国AI赛道，算力就是命脉，谁有卡谁就能训练更大的模型。

来源，@rohanpaul_ai

2. 菲尔兹奖得主，ChatGPT 5.5 Pro 两小时完成博士级数学研究

菲尔兹奖得主蒂莫西·高尔斯让ChatGPT 5.5 Pro尝试解决数论中的开放性问题。模型在不到一小时内，将一个问题中的指数界限改进为多项式界限。MIT研究员认为其核心想法”完全具有原创性”。

说实话我看到这条消息的时候愣了一下。指数界限改进为多项式界限，这在数学里不是小修小补，是质的飞跃。虽然高尔斯自己也说了”这只是一个案例”，但一个菲尔兹奖得主公开说”未来数学贡献可能主要来自人类与AI的协作”，这话分量太重了。

当然，也有声音质疑这是否只是一个”恰好成功”的案例。毕竟开放性问题那么多，一次成功不能说明普遍规律。但方向是对的。

来源，The Decoder

3. SpaceXAI 正式官宣，xAI并入SpaceX品牌统一

商标申请文件显示，”SpaceXAI”已于5月6日提交申请。这与Elon Musk宣布将xAI并入SpaceX的时间点吻合，标志着xAI的AI能力将与SpaceX的航天业务进行品牌统一。

说实话，Musk把AI和火箭放在一起这件事，从第一天起就有预感。xAI的使命是”理解宇宙”，SpaceX的使命是”成为多行星物种”，这两个叙事合并起来，确实比各自独立要强。但品牌统一不等于技术融合，具体怎么落地还得看后续。

来源，@berryxia

4. ERNIE 5.1 发布，预训练成本仅需对标模型6%

百度发布了ERNIE 5.1，在搜索、推理、知识问答、创意写作和智能体能力上都有升级。最关键的数据是预训练成本仅需对标模型的约6%。

6%这个数字很有意思。如果说DeepSeek是用钱砸出来的规模，那百度走的是效率路线。在算力受限的大环境下，成本控制能力可能比单纯的模型能力更重要。当然，”对标模型”指的是谁没有明说，这个数据得打了折扣看。

来源，@Baidu_Inc

5. Tesla 利用视觉AI提前预判碰撞

Tesla通过分析真实车队碰撞数据，结合视觉系统与传感器，实现了安全系统的突破。传统碰撞传感器需要时间确认，降低阈值可能导致误触发。而视觉系统能提前”看到”即将发生的碰撞，使约束控制器能更早、更准确地启动安全气囊和安全带预紧器。

这个应用比聊天机器人有意思多了。视觉AI在汽车安全领域是有实际生命价值的，不是锦上添花。想象一下，摄像头看到前方有障碍物，在物理传感器还没触发之前，安全气囊就已经准备好了。几毫秒的差距，可能就是生和死的区别。

来源，@elonmusk

6. Anthropic 研究，教 Claude 解释”为什么”

Anthropic发布了新研究”Teaching Claude Why”。通过让模型学习解释自身推理过程中的”为什么”，显著提升了推理能力和输出准确性。实验表明，经过此项训练后，模型在多项基准测试中的表现都有提升。

这个研究方向很有意思。不是教模型”怎么做”，而是教它”为什么这样做”。类比到人类学习，一个会反思”我为什么这么想”的学生，通常比只会套公式的学生走得更远。Anthropic在可解释性这条路上越走越深了。

来源，Anthropic Research

7. Hermes Agent 登顶 OpenRouter 全球令牌排名

NousResearch的Hermes Agent在OpenRouter全球令牌使用排名中位列第一。

作为开源社区的参与者，看到开源Agent项目在全球使用量上超过闭源产品，还是挺振奋的。这说明开发者在用脚投票，选择开放的、可定制的方案。Hermes Agent的成功不是偶然，它背后是整个开源生态的积累。

来源，@OpenRouter

💡 值得关注

  • Qwen 3.5/3.6 登陆 SiliconFlow，9B到397B全尺寸覆盖，MoE和Dense都有，多模态原生支持。开发者又多了几个可以白嫖的模型。
  • YC CEO 开源 GBrain，Garry Tan把个人AI操作系统开源了，包含Book Mirror、Meeting Prep等模块，5个月深度处理了20多本书。”第二大脑”这个概念终于有了一个可用的实现。
  • Redis 创始人开源 ds4 引擎，几千行C代码，用2-bit量化MoE专家、KV Cache移至SSD，让DeepSeek V4 Flash跑在个人电脑上。C语言老兵的功力，确实不是Python选手能比的。
  • 工信部启动AI科技伦理审查先导计划，在国家AI产业创新应用先导区探索审查路径。政策层面在加速跟进，这对行业来说是好事。
  • Claude Mythos 评估显示16小时风险时距，METR的评估显示该模型50%时间范围至少为16小时。这意味着AI自主执行任务的时间窗口在快速拉长，安全问题越来越紧迫。
  • Peekaboo 3.0 发布，macOS电脑使用Agent的新版本，以操作为先的体验，截图加界面检测统一。

📝 今日思考

今天的信息量很大，但有一条暗线值得留意，AI正在加速分化。

fchollet说得对，AI放大能动性差异。高能动性的人用AI变得更强大，低能动性的人反而更依赖AI。DeepSeek融70亿、ChatGPT做博士级数学研究、Tesla用视觉AI救人命，这些都是”高能动性+AI”的案例。但另一边，很多人还在用AI写周报、生成表情包。

技术从来不是中性的。AI不会让所有人变强，它只会让已经很强的人变得更强。这不是悲观，是现实。真正的问题是，怎么让更多人跨过那个门槛。

这也是我一直坚持写日报的原因，信息就是门槛，而我想帮你降低它。