搜索
今天凌晨，谷歌 Gemini 突然放大招，它在 X 上宣布：现在 Gemini 可以直接生成PDF、Word、Excel 或 Google Workspace 等文件，无需上传模板，只用和Gemini交流要做什么和讲清文件格式。
最近朋友推荐了 CodeBanana，说它跟之前用过的那些 AI 写代码的工具的体验感完全不同。我最近挑了几个真实工作场景跑了一遍，读项目、拆需求、写需求、生成测试用例、定时任务等等都和日常工作很贴近的任务进行了尝试。今天挑五个我自己觉得最值得讲的，跟你聊聊我的体验。
就在昨天，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 刀的订阅费用。