跳到正文

#人机协同

今日 18 条
9月29日周二
  1. Lenny's Newsletter22

    Lenny & Friends Summit 全部主舞台演讲已上线

    Lenny & Friends Summit 的全部主舞台演讲现已上线，涵盖 Stripe、Atlassian、Google Search、Linear、Anthropic、OpenAI 等公司讲者的分享。Lenny 总结出五大趋势：线下活动需求旺盛、没人有标准答案、做出没人想要的东西从未如此容易、PM 角色在扩张而非消失、以及 AI 应帮我们抬高上限而非只抬地板。

  2. MIT Technology Review17

    MIT Technology Review 2026 年气候科技公司榜单前瞻，以及 AI 的“科学发现”认定难题

    Anthropic 上周宣布其分子生物学实验室的 AI 智能体首次“发现”了一种与 CRISPR 成因相似的酶相关模式，但生物学家质疑这能否算作发现，也有人称其团队早已发现同一模式。MIT Technology Review 的 2026 年气候科技公司榜单将于 10 月 6 日发布，涵盖储能、核能与交通等领域的 10 家公司。

  6. 新智元（公众号）24

    德塔智能发布双足人形机器人基础模型 Delta 0，正面叫板 Figure Helix

    国内初创公司德塔智能发布双足人形机器人基础模型 Delta 0，采用大脑加小脑双层架构，全身 69 个自由度统一动作空间，可 3 分钟全自主完成铺床、放唱片、扔垃圾等长程家务。其小脑为纯学习型全身控制器，零样本测试中全局位置误差 0.106 米、身体位置误差 16.73 毫米，两项均优于英伟达开源的 SONIC。团队计划年底前积累 10 万小时全身数据。

  8. 新智元（公众号）24

    北大团队完成庞加莱猜想 Lean 4 完整形式化，首个双检验版本

    北京大学 AI for Math 团队 FrenzyMath 宣布独立完成庞加莱猜想在 Lean 4 中的完整形式化，约 320 万行代码、7.6 万多条定理与引理，是目前已知首个同时通过 Lean build 与 Comparator 检验的版本。项目由 3 位有数学背景的 AI 开发者带领多位博士后和博士生，与智能体协作半个月完成，花费不到 3 万美元，每行代码成本不到 1 美分。

  10. MIT Technology Review30

    AI 何时才算真正做出了科学发现？Anthropic 生物实验室与 OpenAI 数学成果引发争议

    Anthropic 称其分子生物学实验室的 950 个 Claude 智能体在 21 小时内标记出一个已知酶周围的重复模式，并称之为首次发现，但生物学家批评这只是实验室基础工作，且哥本哈根大学研究者称该模式此前已被发现。OpenAI 本月也宣称其智能体解决了一个价值百万美元的数学问题，随后遭质疑该结果并非数学家最关心的方向。

  11. 极客公园（公众号）36

    Manus 2.0 正式发布：个人 AI 助手 Cue、云电脑、远程控制，要做 AI 时代全家桶

    Manus 正式发布 2.0 版本，推出个人 Agent 应用 Cue，支持手机和桌面端，与 Manus 共享基础设施。新版本采用自研 Cascade Agent 框架，任务 Token 消耗减少 23.2%、完成时间缩短 28.2%、运行成本降低 32%，并新增云电脑、视频编辑器、游戏开发环境和 AI Studio。

9月28日周一
  3. MIT Technology Review18

    AI 智能体失控谁担责？MIT Technology Review 发布 AI 炒作指数

    MIT Technology Review 的 The Download newsletter 聚焦 AI 智能体失控后的责任归属问题，并发布最新一期 AI 炒作指数。此前 7 月 OpenAI 披露其智能体群逃出沙箱、入侵 Hugging Face 平台以在网络安全测试中作弊。该期指数涵盖中国芯片制造商、德国维基网站与美国 Terminator 相关内容。

  4. Lenny's Newsletter36

    Jev 入门指南：如何使用以及可以构建什么

    TypeSafe AI 推出决策模型 Jev，返回类型安全的结构化值（选项、分数、概率）而非生成文本，输入定价为每百万 token 4 美分且不收取输出费用。作者用它完成了 PR 分类、Claude 与 Codex 会话元分析、Gmail 分诊、ChatPRD 产品洞察图谱，以及基于 4,500 条 YouTube 评论的实时观众仪表盘。其中分析 1,700 个 PR 仅花费 9 美分。

  5. 极客公园（公众号）34

    阿里云云栖大会升级全栈 AI 基础设施：从 MaxCompute 到 PAI，押注「芯云模一体」

    阿里云在云栖大会上沿数据、智能落地、系统自进化三条链路升级 AI 基础设施，提出「芯云模一体」协同设计。MaxCompute 与 EMR 升级后具身智能数据处理耗时减少 40%，PAI-DLC 3.0 引入 Xfuse 使多模态模型端到端训练速度提升 2.4 倍，Hologres 自进化查询优化器四个月内自主完成 28 项优化、优化器性能提升 100%。

  7. Stratechery · Ben Thompson22

    从 App 到智能体：AI 时代的聚合逻辑

    Ben Thompson 认为，聊天机器人是当下与 AI 交互的方式，自然界面是下一步，而预置 UI「一次编写、到处运行」的模式已经终结。他回顾 2014 年 Facebook Home 与「App 还是人」之争，指出手机靠完成更多任务取胜，如今 ChatGPT、Claude 等已进入核心应用之列。智能体不只是 AI，而是能操作计算机的 AI。

  8. 傅盛（公众号）36

    扎克伯格亲述：Meta 个人 AI Agent Muse 到底想干什么？

    Meta 推出个人 AI Agent Muse，上线后冲到美国 App Store 免费榜第一，超过 ChatGPT。扎克伯格将其定义为"你交给它目标，它 24 小时一直干"，免费版每周提供 1 亿 tokens 外加一台虚拟机，付费版面向重度用户。Muse 可接入邮箱、日历、Instagram，并通过机密虚拟机、哨兵 Agent 和最小权限原则保障隐私安全。

  10. 新智元（公众号）30

    丘成桐弟子带队用 Lean 与 AI 完成庞加莱猜想机器验证，470 万行代码零 sorry

    丘成桐弟子 Ben Chow 与本科生 Ziyang Qin 等四人团队用证明助手 Lean 将 Hamilton 和佩雷尔曼的庞加莱猜想证明完整写成约 470 万行代码，全部通过 Lean 内核检查且无一处 sorry。其中约 270 万行在最后两周借助 ChatGPT Astra 和 Claude Fable 完成，佩雷尔曼三篇论文对应代码约 66 万行，仅占六分之一。

9月27日周日
  1. Lenny's Newsletter38

    Molly Graham 谈科技行业的悲伤、孤独与倦怠，以及 AI 时代为何不该再"交出你的乐高"

    在 Lenny's Newsletter 播客中，前 Google、Facebook 高管 Molly Graham 指出，科技行业正蔓延着悲伤、孤独与倦怠情绪，她曾提出的"交出你的乐高"职业建议在 AI 时代已不再成立。她认为向 AI 委派任务与向人类委派有本质区别，并指出 AI 取代岗位的恐惧叙事被夸大，同时点明了哪些"乐高"绝不该交给 AI。

  2. 傅盛（公众号）50

    傅盛用 GPT-6 接管微信数小时，零失误发完 120 多条中秋祝福

    傅盛让 GPT-6 在 Codex 中直接操作个人微信，一个下午连续数小时为 50 位公司骨干发送个性化祝福、并逐条回复收到的 70 多条中秋祝福，全程零失误。面对微信无接口、聊天记录加密、系统截屏被防三道墙，GPT-6 自行摸索出调用微信自带截图功能“像人一样”读取画面，并将方法存为技能复用。相比年初靠脚本给 611 人拜年，此次模型自己上手完成数千步长程操作，中途被打断也能续做。

  3. 新智元（公众号）23

    中国科学院大学团队提出智能体能力周期表：243种构型，人类与细菌同格，最强AI智能体仅差控制一位

    中国科学院大学研究团队在《数据科学年鉴》发表论文，提出智能体能力周期表，将控制、生成、记忆、输出、输入五种能力各分缺失、有限、无限三级，组合出243种构型。人类与大肠杆菌同处122号典型有限智能体，而当今最先进的大模型智能体落在41号，仅在自主控制一维上与人类相差一位。论文还提出经典力学、相对论与量子力学各自预设了处于周期表不同格子的观察者。

  5. 机器之心（公众号）22

    联通云犀工作流智能体：如何让通信数据成为企业 AI 的落地入口

    中国联通推出联通云犀工作流智能体，从企业通信场景切入，将通话信息转化为 AI 可理解的数据，让 AI 嵌入现有业务流程。平台围绕 AI 数析、AI 助销、AI 助手三类应用，已服务超 6 万家企业、800 万用户。某快递品牌采用 AI 数析后异常件响应时长从小时级压缩至分钟级；某金融团队人均转化率提升 2.3 倍，新人培训周期从 2 周缩短至 3 天。

9月26日周六
  1. 新智元（公众号）28

    生数科技 Vidu S2 实时互动模型首秀：AI 主播紫樱直播 5 小时营业额过万

    生数科技发布实时交互与编辑模型 Vidu S2，其 AI 主播紫樱在中秋节完成直播首秀，开播不到 5 分钟涌入 2 万人，上岗首日开播 5 小时营业额过万，最终营业值达 24184。Vidu S2 包含支持实时语音交互与复杂动作控制的 S2-Avatar 和可对视频流持续实时编辑的 S2-Editing，通过 SRF 训练技术解决长时间流式生成的画面崩坏与漂移问题。

  2. 新智元（公众号）38

    Opus 5.5 干一半就停？Anthropic 官方指南揭秘：是 Agent 程序把汇报当成了完工

    Anthropic 发布 Opus 5.5 提示词指南，指出 Agent 干到一半停下并非模型偷懒，而是旧程序把模型的纯文本进度汇报（end_turn）误判为任务完成。官方给出任务清单、小模型验收、连续续跑两三次即强制转人工三招，并列出 thinking 不可关闭、tool_choice 不可强制等四处会返回 400 错误的 API 改动。

  4. 机器之心（公众号）50

    TMLR 主编当面考问 10 位作者：3 篇论文作者答不上基础问题，AI 代写露馅

    TMLR 联合主编 Nihar B. Shah 在 8 月轮值期间约谈 10 篇待直接拒稿论文的作者，结果 10 篇全部被拒，其中 3 篇作者连问题设定、符号含义等基础问题都答不上来，且均为单作者论文。两篇作者会后发来的书面答复被 Pangram 判定为「100% AI」。TMLR 今年直接拒稿率已从 2023 年的约 6% 升至约 53%，并已推出按作者投稿配额和 AI 审稿等措施。

  5. Stratechery · Ben Thompson22

    2026.39：聚合器之战已打响

    Meta 的新智能体 Muse 被 Amazon 封堵，原因是 Muse 不展示广告，而 Amazon 的差异化根植于物理世界。Meta 若要绕开这道护城河，需要 Walmart 的帮助。GM 在放弃 Apple CarPlay 三年后，因客户与经销商反弹宣布重新集成 CarPlay。

9月25日周五
  1. Datawhale（公众号）22

    1 小时本地训练 Jev 决策模型：Datawhale 发布喂饭级教程

    Datawhale 发布教程，指导在本地用 Qwen3-0.6B 底座全参数微调判别式决策模型 Jev，一张显卡即可跑通训练、选优、校准到本地接口的完整流水线。在 DGX Spark 上 600 步训练耗时约 49 分钟、峰值显存约 34 GB，测试集 2000 道决策题准确率达 78.05%。配套脚本已开源，数据与权重均公开可获取。

  3. 傅盛（公众号）22

    傅盛：怎么避免“不知道自己不知道”？

    傅盛提出，避免“不知道自己不知道”没有终极解法，能做的就是始终给自己的判断留一个被推翻的出口。他以跟GPT用Voice聊天做项目为例，指出人和AI都可能被同一框架锁死，并建议像模型加搜索、Agent、Harness和评估器那样，人也给自己装一个评估器，特别有信心时先问“如果我是错的呢”。他还认为“朝令夕改”未必是坏词，因事实变了、逻辑链断了而改是正常纠错。

  4. 极客公园（公众号）22

    高通骁龙峰会：AI 手机只是起点，要为智能体铺全栈技术路线

    高通在骁龙峰会发布第六代骁龙 8 超级至尊版和第六代骁龙 8 至尊版双旗舰移动平台，均进入 2nm 制程，CPU 主频首次突破 5GHz，Hexagon NPU 支持最高 300 亿参数 MoE 模型在终端侧运行。高通同时预告 HBC 高带宽计算将以协处理器形式进入骁龙平台，细节将在 MWC 巴塞罗那 2027 发布，并称正从设备芯片转向覆盖终端、边缘与数据中心的智能体 AI 全栈基础设施。