AI 日报 /2026年10月23日

代理接管账单，人类转做管理

今天最实在的变化是智能体开始学规矩：一家公司给每个真人配了四个AI同事，1Password则让代理代为登录却碰不到密码。另一半消息偏冷门——AI帮着攻克了一道31年的数学猜想，还有一份开源模型的现状盘点，结论有点出人意料。

  1. 1. 一家1800人的公司，养了8000个AI员工
  2. 2. 明略科技给1800名员工配了约5000个AI助理和3000个AI专家，人和AI比例达到1:4，一线员工的活变成管理AI。想搞清AI怎么真正落到日常分工里，这是个能照着看的样本。
  3. 3. AI帮着证了一道卡了31年的数学题
  4. 4. 微软研究员用AI智能体系统性试了100多种证明思路，最终由人完成严格论证，攻下KLS猜想，证明写了140页。论文还在等同行评审，但AI负责搜方向、人负责收口的分工已经很清楚了。
  5. 5. 开源模型落后闭源，只差3到5个月

打开交互阅读器 →

实用技巧 · 4 条

  • 实用技巧 @shao__meng

    Claude Code作者斯坦福课上的五条实战原则

    Claude Code 作者 Boris Cherny 在斯坦福课程「The Modern Software Developer」上分享实战原则。

    来源:@shao__meng

  • 实用技巧 机器之心

    首发实测：腾讯元宝搜索向开发者开放（附激活码）

    文章首发实测腾讯刚开放的元宝搜索能力，介绍其在开发者场景下的用法与减负效果，并附福利激活码。

    来源:机器之心

  • 实用技巧 少楠Plidezus

    把笔记当作 Agent 推荐依据获取信息的技巧

    少楠Plidezus 在 X 上分享了一个在 flomo Agent 中使用的技巧：把笔记当作推荐依据来获取信息，他表示效果还不错，并指出这个方法在任意有记忆的 Agent 上都可以使用。

    来源:少楠Plidezus

  • 实用技巧 博客园_首页

    WorkBuddy 不好用？这些基础配置要先设好

    作者分享使用 WorkBuddy 的配置经验，指出任务中断、文件存储混乱、回复冗长等问题源于基础设置未调好，并逐一讲解各项配置方法。

    来源:博客园_首页

行业资讯 · 5 条

  • 行业资讯 @OpenAIDevs

    OpenAI 决策 API 正式开放

    OpenAI 宣布 Decisions API 正式开放（Generally Available），可将近乎实时的决策能力加入工作流。该 API 让应用对文本和图像进行分类、评估输入并决定下一步，无需生成完整的模型响应，从而更快、更具成本效…

    来源:@OpenAIDevs

  • 行业资讯 @testingcatalog

    Claude 将默认启用自动权限模式

    从下周开始，Claude 在 Pro、Max 和 Team 套餐下将默认启用自动权限模式，覆盖网页版、桌面版和移动端。届时 Claude 不再要求用户逐步批准每一步操作，而是依靠内部安全评估和自动检查来拦截有风险的操作，用户仍可随时切回手动…

    来源:@testingcatalog

  • 行业资讯 微信公众号-机器之心

    田渊栋新公司首个模型亮相：AI全程参与，不到4个月从零造出

    报道田渊栋创办的新公司发布首个模型，模型研发全程有AI参与，从零起步到亮相用时不到4个月。

    来源:微信公众号-机器之心

  • 行业资讯 @ArtificialAnlys

    AI 编程智能体指数发布 2.0 版

    Artificial Analysis 发布 Coding Agent Index v2.0：Cognition 的 FrontierCode v1.1 取代 DeepSWE 成为核心编码能力基准，SWE-Atlas-QnA 评分规则经修订…

    来源:@ArtificialAnlys

  • 行业资讯 Hacker首页帖子

    大模型让形式化软件验证可大规模落地

    Anthropic 与 Theorem 合作，用 Claude 为超过 100 个真实开源软件库的 RISC-V 汇编代码生成形式化安全证明，据称这是首次大规模将 AI 形式化验证用于汇编层面的生产软件。Claude 在写证明过程中还发现了…

    来源:Hacker首页帖子

项目推荐 · 2 条

  • 项目推荐 TechCrunch

    1Password 推出 AI 代理代登录新功能

    1Password 周四推出名为 1Password for Agents 的新平台，让用户授权 AI 代理代为登录个人账户，而代理全程接触不到凭据。代理尝试登录时，系统会向其发送唯一数字密钥确认身份，用户收到提醒并亲自确认后，由 1Pas…

    来源:TechCrunch

  • 项目推荐 Fox

    开源插件：用 Claude Code 以代码制作短片

    LemoLab 开源了 Claude Code 插件 Lemo-Opuscar，不用视频生成模型，而是靠代码做短片：画面由 canvas/WebGL 逐帧渲染，配乐用采样，旁白用 TTS。项目提供 51 种影片风格，每种配一份 STYLE.…

    来源:Fox

文章&播客 · 4 条

  • 文章&播客 Z Potentials

    ChatGPT与Codex负责人：产品终将合流，新王牌是Dots

    Z Potentials 编译的深度访谈，ChatGPT 与 Codex 负责人谈两大产品线将合流、Agent 将承担互联网多数行为、模型成本快速下降，以及新重点「Dots」的构想。

    来源:Z Potentials

  • 文章&播客 What's Next｜科技早知道

    硅谷创业者正在解决 Agent 的哪些麻烦？

    硅谷创业者在一场圆桌讨论中指出，Muse、Dots等个人智能体产品走红后，Agent正从回答问题转向替人执行任务，但长程任务需数百甚至上千步骤、持续数小时乃至数天，仍可能遗忘目标或产生幻觉。

    来源:What's Next｜科技早知道

  • 文章&播客 声东击西

    李晶：互联网增长红利、代价与十年自我重建

    2009年李晶加入阿里，经历跨境电商和移动互联网高速增长，也面对“乘以7”的年度目标、一年7次团队重组和996强制要求；2015年她加入Airbnb，却因孩子频频被叫到学校而受挫，此后通过倾听练习开始自我觉察。2016年后她再次创业，不想复…

    来源:声东击西

  • 文章&播客 @shao__meng

    Nathan Lambert 哈佛讲座：开源模型现状全景

    Nathan Lambert在哈佛CS 2881R讲座中指出，开源模型落后闭源前沿约3到5个月且差距在缩小；性能、下载量和论文引用三方面中国开源模型全面领先，美国开源模型又比中国落后3到4个月。

    来源:@shao__meng