搜索
就在昨天，Zed 正式发布了 1.0 版本。这个历时五年开发、经历超过 1000 个预发布版本、累计百万行 Rust 代码，Atom 编辑器原班人马打造的“下一代代码编辑器”，终于走到了——官方称“大多数开发者可以安心切换的时刻”。
4 月 30 日，阿里发布全新 Agent 产品 QoderWake，定位是“生产可用、安全可控、自进化的数字员工”。它不是再做一个“更聪明的 AI 助手”，而是试图回答一个更难的问题：Agent 如何从工具变成岗位。
陶哲轩最新判断，数学正在从「证明稀缺」进入「证明过剩」时代——数学家最值钱的工作已不再只是「做出证明」，而是验证它、消化它，并把一块 AI 吐出的「生肉证明」变成人类真正吃得下的知识。
在前不久的 AI TECH DAY 上，斑马智能又新发布了“元神 AI 汽车机器人大脑”，同时推出 AutoOmni 全模态端模型产品矩阵与“龙虾上车”方案 AutoClaw，构成所谓的“一脑双引擎”升级。这不只是一轮产品迭代，更像在做一次预判：汽车正在从功能的集合机器，变成一个可以持续进化、还能主动协作的的智能体系统。
最近，越来越多的AI助手盯上了“帮你花钱”这件事。ChatGPT早已上线购物功能，Gemini也在今年补齐AI购物体验。国内的淘宝、京东等电商平台，也都尝试将AI融入购物决策链路。原因也不难猜测：谁能帮用户更快、更准地做出消费决策，谁就有望握住离交易最近的那个入口。
深圳机器人凭什么惊艳全球？答案不在整机，在一颗电机。小象电动用轴向磁通路线突破量产瓶颈，累计出货近7万台，杀入华为、比亚迪、广汽、美团供应链，完成超亿元融资。这是深圳底层硬科技崛起的缩影，也是中国机器人产业链从「能做样机」到「真正量产」的关键一跃。
上周二，一款名为 SpeakON 的AI硬件设备在美国发售，试图用简单的方式解决这个问题。一颗贴在 iPhone 背面的 MagSafe 按钮，按下说话，松开出字。不需要解锁，不需要切换 App。做这件事的人叫张岩（Ryan Zhang）。他曾联合创办摩拜单车，后来创立了 AI 转录平台 Notta，五年间做到全球超 1000 万用户。
4 月 20 日之后，想要给 Claude 花钱的人有难了：想花钱却下不去手。新的 Claude Pro 套餐付费用户，可能不包含 Claude 最强势的编程功能，Code 将会被「抬」进到 Max 5x 套餐，也就是每月 100 刀的订阅费用。
今天，大洋彼岸，硅谷自动驾驶领域的秘密，终于有大佬站出来分享了。如果你对自动驾驶、人形机器人中炙手可热的 VLA、世界模型还有疑惑，全球“物理 AI” 领域头部的基础设施平台 Applied Intuition 两位创始人：CEOQasar Younis、CTO Peter Ludwig的分享可真的是太对口了。
今天没选题了，所以想开源一个我自己做的，已经用了快1个多月，迭代了好多版的一个我觉得很有用的Skill。我把它称为，洁癖.Skill。名字可能听着还挺呆逼的，但是我觉得它能干的事，虽然看着非常的简单，但是却又很实用，在公司内部同事和一些我们的合作伙伴使用后，还都反馈挺不错的。