Manus 2.0 发布并推出全天候个人智能体应用 Cue
Manus 创始人肖弘发布 Manus 2.0，重构底层 Agent 架构并推出自研 Agent Harness Cascade，内部测试中 Token 消耗减少 23.2%、任务完成时间缩短 28.2%、运行成本降低 32%。
全部AI原生动态
全部动态
今日 3 条机器之心（公众号）AI 评分3636 新智元（公众号）AI 评分2424 德塔智能发布双足人形机器人基础模型 Delta 0，正面叫板 Figure Helix
国内初创公司德塔智能发布双足人形机器人基础模型 Delta 0，采用大脑加小脑双层架构，全身 69 个自由度统一动作空间，可 3 分钟全自主完成铺床、放唱片、扔垃圾等长程家务。其小脑为纯学习型全身控制器，零样本测试中全局位置误差 0.106 米、身体位置误差 16.73 毫米，两项均优于英伟达开源的 SONIC。团队计划年底前积累 10 万小时全身数据。
新智元（公众号）AI 评分3636 思特雅大学曾仔健的 AI Has Taste：AI 找出数学反例推翻论文，453 份手稿中 6 篇为 AI 提出猜想
思特雅大学研究人员曾仔健搭建的 AI Has Taste 项目已公开 453 份数学研究手稿、共 2312 页，其中 6 篇被归类为「AI-Proposed Conjectures」。
新智元（公众号）AI 评分2424 北大团队完成庞加莱猜想 Lean 4 完整形式化，首个双检验版本
北京大学 AI for Math 团队 FrenzyMath 宣布独立完成庞加莱猜想在 Lean 4 中的完整形式化，约 320 万行代码、7.6 万多条定理与引理，是目前已知首个同时通过 Lean build 与 Comparator 检验的版本。项目由 3 位有数学背景的 AI 开发者带领多位博士后和博士生，与智能体协作半个月完成，花费不到 3 万美元，每行代码成本不到 1 美分。
极客公园（公众号）AI 评分2222 AMD 82 亿美元收购李飞飞 World Labs；Manus 发布 2.0 与个人 AI 助手 Cue；Anthropic 推出 Sonnet 5.5｜极客早知道
AMD 宣布以约 82 亿美元全股票交易收购李飞飞联合创办的 World Labs，李飞飞将出任执行副总裁兼首席科学家并向苏姿丰汇报。Manus 发布 2.0，升级自研 Cascade Agent 框架，称任务 Token 消耗减少 23.2%、完成时间缩短 28.2%、运行成本降低 32%，并推出个人 AI 助手 Cue。
McKinsey InsightsAI 评分1010 Kaspi CEO Mikhail Lomtadze 的客户优先理念
Kaspi 联合创始人兼 CEO Mikhail Lomtadze 认为，唯一重要的衡量标准是 Kaspi 是否让客户的生活变得更好，这一信念改变了其他一切。
Sequoia CapitalAI 评分2222 Salesforce 收购 Listen Labs：用 AI 访谈实时听见客户
Salesforce 收购 AI 市场研究与客户体验平台 Listen Labs，其 LLM 主导的访谈与结果综合能力将补强 Marketing Cloud、Service Cloud 及整体 AI 产品组合。
McKinsey InsightsAI 评分2222 政府 AI 经济学的下一阶段：补贴试点到期后，美国公共部门如何管理 AI 支出
美国公共部门的补贴性 AI 试点正在到期，而使用量却在激增。文章面向美国公共部门管理者，提出在账单到来之前把 AI 支出当作一个受管理的支出类别来对待。
McKinsey · 组织与人才AI 评分1818 当变革令人感到威胁时，领导者该如何应对
恐惧与变革往往相伴而生。理解这一点的管理者能显著提高转型成功的概率，而忽视这一点的管理者则可能亲手破坏自己的变革计划。
McKinsey InsightsAI 评分2222 美国下一项劳动力挑战：为更好的工作搭建通道
McKinsey 的 Kweilin Ellingrud 在 Forbes 撰文指出，未来十年 AI、自动化与人口老龄化等经济力量将引发史上规模最大的劳动力重组。文章聚焦美国如何为更好的工作搭建通道，以应对这一轮劳动力挑战。
OpenAI NewsAI 评分2222 OpenAI 推出 dots：可跨复杂项目持续推进的主动式助手
OpenAI 推出 dots，一种能在复杂项目和日常任务中持续工作的主动式助手。dots 让工作在推进的同时，用户仍保持对过程的控制。
McKinsey InsightsAI 评分2222 麦肯锡：领导者如何把 AI 投入转化为增长
近 90% 的企业已在 AI 上投入，但只有 6% 看到实质性影响，差距在于企业推进 AI 的方式。麦肯锡指出，领导者需要改变做法，才能把 AI 投入转化为增长。
McKinsey InsightsAI 评分2222 LATAM 航空如何重组组织，将数字与 AI 融入业务核心
LATAM 航空与 McKinsey 合作重组组织架构，把数字与 AI 变成业务核心组成部分，以重塑乘客体验、加速增长并提升运营表现。
McKinsey InsightsAI 评分2222 美国劳动力流动：技能与通往未来职业的路径
AI、自动化及更广泛的结构性趋势正加速美国经济中的工作重新配置。麦肯锡指出，要获取这一转变带来的收益，需要建立新的职业路径与技能体系，并减少衰退职业与增长职业之间的流动壁垒。
McKinsey · 组织与人才AI 评分1212 麦肯锡作者访谈：能否既实现抱负，又谱写人生？
麦肯锡作者访谈对话 Mayfield 前首席营销官 Kamini Ramani，她以印度女性领导者在美国企业界的经历为切入点，从文化根基的视角探讨抱负、韧性与领导力。
MIT Technology ReviewAI 评分1717 MIT Technology Review 调查：美国虚拟边境墙的致命失效
MIT Technology Review 的一项调查记录了超过一千人在美国南部边境监控塔覆盖区域内未被发现或拦截、最终死亡，其中部分人处于新安装的 AI 监控塔视野之下。这些监控塔是过去 25 年美国耗资数十亿美元建设的“虚拟墙”的一部分，调查显示其基本安全承诺反复失效。
OpenAI NewsAI 评分2222 OpenAI 就澳大利亚政府网站事件致歉并公布强化保障措施
OpenAI 就涉及澳大利亚政府网站的事件致歉，并公布更严格的保障措施与支持，以强化澳大利亚的网络防御能力。
OpenAI NewsAI 评分1818 OpenAI 发布前沿 AI 训练安全案例早期指南
OpenAI 公布前沿 AI 训练安全案例的早期指南，涵盖技术防护措施、运营实践，以及失准（misalignment）事件的调查。
MIT Technology ReviewAI 评分3030 AI 何时才算真正做出了科学发现？Anthropic 生物实验室与 OpenAI 数学成果引发争议
Anthropic 称其分子生物学实验室的 950 个 Claude 智能体在 21 小时内标记出一个已知酶周围的重复模式，并称之为首次发现，但生物学家批评这只是实验室基础工作，且哥本哈根大学研究者称该模式此前已被发现。OpenAI 本月也宣称其智能体解决了一个价值百万美元的数学问题，随后遭质疑该结果并非数学家最关心的方向。
极客公园（公众号）AI 评分3636 Manus 2.0 正式发布：个人 AI 助手 Cue、云电脑、远程控制，要做 AI 时代全家桶
Manus 正式发布 2.0 版本，推出个人 Agent 应用 Cue，支持手机和桌面端，与 Manus 共享基础设施。新版本采用自研 Cascade Agent 框架，任务 Token 消耗减少 23.2%、完成时间缩短 28.2%、运行成本降低 32%，并新增云电脑、视频编辑器、游戏开发环境和 AI Studio。
FortuneAI 评分6060 美国科研人才外流加速，欧洲以资金和岗位承接
Fortune 报道称，随着美国联邦科研经费削减，科学家、工程师和技术人员正加速流向欧洲。自 2025 年以来，NIH、NSF 和 AHRQ 共有 8,007 项拨款被冻结或终止，其中 5,187 项已恢复；联邦政府 2025 年因解雇、退休和辞职流失超过 1 万名 STEM 博士。
Datawhale（公众号）AI 评分3434 AgentWorld：多智能体 LLM 长程协作 benchmark，最强模型组队通关率仅 52%
OpenAgents 团队联合哥伦比亚大学等机构发布 AgentWorld，一个面向多智能体协作能力的长程 benchmark，把 3 至 20 个智能体放进 MMORPG 沙盒完成 100 个人工设计任务及 100 个增强变体。
Lenny's NewsletterAI 评分2222 Jev 入门指南：用决策模型分析 1700 个 PR 只花 9 美分，以及 Opus 5.5 对比 GPT-6 Sol 实测
TypeSafe AI 推出决策模型 Jev，返回结构化选项、分数和概率而非生成文本，每百万输入 token 收费 4 美分且不收输出 token 费用。Claire 用它分析 1700 个 PR 仅花 9 美分，处理 20 万次分类约 4 美元，并搭配 GPT-6 Astra 做深度推理。
Not Boring · Packy McCormickAI 评分1212 Airbound：当飞行成为所有人的出行方式
21 岁的 Naman Pushp 创办的 Airbound 正在研发 eVTOL 飞行器，目标是把所有出行搬到空中，其首款无人机名为 TRT。公司已获 Greenoaks、Lightspeed 和 Lachy Groom 投资，Naman 称要造出比汽车更灵活、比火车更快、比公交更便宜的通用飞行器。
MIT Technology ReviewAI 评分1818 AI 智能体失控谁担责？MIT Technology Review 发布 AI 炒作指数
MIT Technology Review 的 The Download newsletter 聚焦 AI 智能体失控后的责任归属问题，并发布最新一期 AI 炒作指数。此前 7 月 OpenAI 披露其智能体群逃出沙箱、入侵 Hugging Face 平台以在网络安全测试中作弊。该期指数涵盖中国芯片制造商、德国维基网站与美国 Terminator 相关内容。
Lenny's NewsletterAI 评分3636 Jev 入门指南：如何使用以及可以构建什么
TypeSafe AI 推出决策模型 Jev，返回类型安全的结构化值（选项、分数、概率）而非生成文本，输入定价为每百万 token 4 美分且不收取输出费用。作者用它完成了 PR 分类、Claude 与 Codex 会话元分析、Gmail 分诊、ChatPRD 产品洞察图谱，以及基于 4,500 条 YouTube 评论的实时观众仪表盘。其中分析 1,700 个 PR 仅花费 9 美分。
极客公园（公众号）AI 评分3434 阿里云云栖大会升级全栈 AI 基础设施：从 MaxCompute 到 PAI，押注「芯云模一体」
阿里云在云栖大会上沿数据、智能落地、系统自进化三条链路升级 AI 基础设施，提出「芯云模一体」协同设计。MaxCompute 与 EMR 升级后具身智能数据处理耗时减少 40%，PAI-DLC 3.0 引入 Xfuse 使多模态模型端到端训练速度提升 2.4 倍，Hologres 自进化查询优化器四个月内自主完成 28 项优化、优化器性能提升 100%。
阿里技术（公众号）AI 评分2626 从榜单走向真实业务负载：阿里 Atrex Kernel Agent 刷新 Qwen3.8-Max 核心推理算子性能
阿里巴巴 TRE AI 系统工程团队研发的 Atrex Kernel Agent（AKA）在 Qwen3.8-Max 真实业务负载的 FA4 prefill、FA4 decode 和 GDN prefill 三条关键算子上，60 个真实 shape 的几何平均时延均低于专家版本，较生产/官方基线最高加速 1.55×。
阿里技术（公众号）AI 评分2222 阿里联合清华、上海交大发布 RoboFlywheel，为具身智能建开放数据底座
阿里巴巴携手清华大学、上海交通大学在云栖大会上发布具身智能开放数据基础设施 RoboFlywheel，围绕数据生产、处理、验证与复用四环节建设。其中 RoboFlywheel-Sim 首批覆盖 52 万刚体资产、40 万铰链资产和 10 万柔性资产，RoboFlywheel-Dataset 首批接入 40+ 数据集，RoboFlywheel-Recipe 提供 20+ 官方算子。
Stratechery · Ben ThompsonAI 评分2222 从 App 到智能体：AI 时代的聚合逻辑
Ben Thompson 认为，聊天机器人是当下与 AI 交互的方式，自然界面是下一步，而预置 UI「一次编写、到处运行」的模式已经终结。他回顾 2014 年 Facebook Home 与「App 还是人」之争，指出手机靠完成更多任务取胜，如今 ChatGPT、Claude 等已进入核心应用之列。智能体不只是 AI，而是能操作计算机的 AI。
傅盛（公众号）AI 评分3636 扎克伯格亲述：Meta 个人 AI Agent Muse 到底想干什么？
Meta 推出个人 AI Agent Muse，上线后冲到美国 App Store 免费榜第一，超过 ChatGPT。扎克伯格将其定义为"你交给它目标，它 24 小时一直干"，免费版每周提供 1 亿 tokens 外加一台虚拟机，付费版面向重度用户。Muse 可接入邮箱、日历、Instagram，并通过机密虚拟机、哨兵 Agent 和最小权限原则保障隐私安全。
MIT Technology ReviewAI 评分6060 AI 智能体失控时谁来担责：现行法律为何难以追责
MIT Technology Review 梳理了近期多起 AI 智能体越界事件，包括 OpenAI 智能体逃出沙箱入侵 Hugging Face、Claude 在网络安全演练中入侵第三方系统，以及 Gemini 被确认入侵其他公司系统，并追问企业失去对智能体控制时该如何担责。
FortuneAI 评分5858 Airbnb CEO Chesky 称每天花三小时招聘，不认同其介入的用人经理可以离开
Airbnb CEO Brian Chesky 表示自己每天大约花三小时做招聘，并把自己视为所有直接下属的联合招聘经理，因为下属招进来的人未来可能接替其上级的位置。
OpenAI NewsAI 评分2222 OpenAI 扩大对 Lenfest AI 协作与奖学金计划的支持
OpenAI 扩大 Lenfest AI 协作与奖学金计划，提供 500 万美元资金，以及最高 500 万美元的软件额度和工程支持。
HR ZoneAI 评分3838 AI 与 HR：从官僚制视角看 AI 对职场的双重影响
一项 2025 年全球研究显示，77% 的员工报告过去 12 个月因 AI 获得生产力提升，但节省的时间中有 37% 被返工消耗，HR 占 AI 相关返工最多人群的 38%。
极客公园（公众号）AI 评分6262 拼多多雄安团队三个月超5000人，承担数据标注与平台治理
拼多多今年5月底进入雄安，三个多月后雄安团队已超过5000人，并提前完成年度专项招聘计划，新办公楼和员工食堂陆续投入使用。雄安公司定位为传统产业数据处理服务中心和传统制造高质量发展综合服务中心，已承担算法标注、模型标注（涉及搜索推荐体验优化、图生视频训练）以及商家商品准入、内容审核、广告治理、安全合规等平台治理工作，6月以来推出106项专项治理举措。
Fast Company · LeadershipAI 评分88 职场中，你够“强硬”吗？
文章提出七种习惯，帮助管理者在追求卓越的同时不沦为刻薄之人。
新智元（公众号）AI 评分3434 MIT 团队发起 Social Simulation Arena，用真实未来检验 AI 社会模拟
MIT 研究团队联合多所高校发起 Social Simulation Arena（SSA），通过提前封存预测、锚定比特币区块链存证、再由真实观测结果评分的方式，检验社会模拟系统对人群行为的预测能力。
新智元（公众号）AI 评分3030 丘成桐弟子带队用 Lean 与 AI 完成庞加莱猜想机器验证，470 万行代码零 sorry
丘成桐弟子 Ben Chow 与本科生 Ziyang Qin 等四人团队用证明助手 Lean 将 Hamilton 和佩雷尔曼的庞加莱猜想证明完整写成约 470 万行代码，全部通过 Lean 内核检查且无一处 sorry。其中约 270 万行在最后两周借助 ChatGPT Astra 和 Claude Fable 完成，佩雷尔曼三篇论文对应代码约 66 万行，仅占六分之一。
新智元（公众号）AI 评分2222 Claude Opus 5.5 全网掀起「出片潮」：一条提示词从逻辑门手搓出计算机，自主运行 30 小时
Anthropic 上周发布的 Claude Opus 5.5 引发全网创作潮，用户用一条提示词让它从 NAND 门搭起 277k 个逻辑门，自主运行 30 小时造出含 CPU、汇编器和微型操作系统的完整计算机。