AI 编程实时动态与要闻

OpenAI 公布内部模型三项新发现:称已证伪指数时间假设(ETH)、证明全维局部光滑化猜想,并给出 QCD 存在性证明

OpenAI 10 月 26 日发布博文,称其内部模型在数学、计算机科学和物理上各得到一项新结果:证明 Sogge 局部光滑化猜想在所有维度成立(进而推出 Kakeya 与 Stein 限制猜想);证明指数时间假设(ETH)为假,并已用 Lean 验证;给出四维 QCD 及含 Yang–Mills 在内的量子场论的严格存在性证明。数学和 CS 结果的论文与 Lean 证明已放到 GitHub 的 openai/math 仓库,物理结果由 David Gross 牵头的外部小组先行整理、暂不公开。这些都是官方口径,尚待学界独立验证。

OpenAI 公布内部模型三项新发现:称已证伪指数时间假设(ETH)、证明全维局部光滑化猜想,并给出 QCD 存在性证明

核心要点速览

  • 计算机科学(官方口径):论文给出一个确定性算法,在亚指数时间、多项式空间内精确计数定宽 CNF 公式的满足赋值,3-SAT 情形即证伪 ETH;AI 于 10 月 16 日得出证明,10 月 17 日完成 Lean 形式化
  • ETH 由 Impagliazzo、Paturi 和 Zane 提出,已被数百篇论文用作条件下界;验证小组由 Impagliazzo、Paturi(UC San Diego)和 Ryan Williams(MIT)牵头,OpenAI 承诺资助一场专题会议
  • 数学:证明局部光滑化猜想在所有空间维度 n≥2 成立,推出 Kakeya、Nikodym 极大猜想与 Stein 限制估计;此前仅有 2019 年的二维证明和 2025 年的三维 Kakeya 证明
  • 物理:Yang–Mills 存在性的自然语言证明 9 月 9 日完成、QCD 9 月 18 日完成,Yang–Mills 部分的 Lean 形式化 10 月 16 日完成;材料由 David Gross 等 5 人小组整理,暂不公开
  • OpenAI 称不寻求学术署名,外部参与者自愿、无报酬、不签保密协议;openai/math 仓库 10 月 7 日曾因符号错误撤回 3 篇稿件,结论仍需独立核查
  • 物理结果后续(10 月 28 日):KITP 公布 Yang-Mills 工作组声明,委员会为 Michael Douglas、David Gross(主席)、Arthur Jaffe、Igor Klebanov、Nikita Nekrasov;Gross 10 月 16 日受 OpenAI 委托保管证明,委员会称对 OpenAI 不负任何责任,将先核对 Lean 形式化的定义与标准是否一致再公开 Lean 证明,确认正确后连同评估发布全部 1147 页证明;禁闭与质量间隙仍是未解难题
阅读全文
关联模型 / 智能体 / 厂商:

X 热议:Grok Imagine 官方发布 AI 制作的《奥德赛》第 1 集(约 7 分钟、4K),240 万浏览,AI 能否讲好长篇故事引发争论

Grok Imagine 官方账号(@imagine)在 UTC 2026-10-23 19:23 发布《Odyssey》系列第 1 集(原帖),称由 Grok Imagine 制作,与 Wonder Studios(@WonderStudiosX)和导演 Dev Walker(@glumlot_)合作完成;视频时长约 7 分 12 秒,提供 3840×2160 版本。抓取时原帖约 12,055 赞、1,275 转发、433 引用、974 回复、240 万浏览,官方还在帖中问大家是否想看完整制作拆解。过去半天 X 上讨论持续升温:支持者认为这是 AI 视频从十几秒片段走向「按集交付」的一步,批评者则指出表演不连贯和 AI 画面瑕疵。这是一条 X 热议,观点按观点呈现,不是对影片质量的结论。

核心要点速览

  • 主帖:Grok Imagine 官方原帖,UTC 10-23 19:23 发布,抓取时约 12,055 赞、1,275 转发、433 引用、974 回复、6,361 收藏、240 万浏览
  • 官方说明:由 Grok Imagine 制作,与 Wonder Studios 和导演 Dev Walker 合作;视频约 7 分 12 秒,提供 4K(3840×2160)版本
  • 官方在帖中询问是否需要完整的制作拆解,尚未公布具体流程、片段数或成本
  • 讨论两极:一方认为 AI 视频开始能按集交付、导演和分镜比模型更关键;另一方批评表演不连贯和画面瑕疵
  • 本条按 X 热议处理;网上流传的制作天数、素材数量等数字未经官方确认,本文不采用
阅读全文
关联模型 / 智能体 / 厂商:

LiteLLM 1.107.0 遭供应链投毒:PyPI 与 Docker 镜像被植入凭证窃取器和后门,官方确认已控制并建议回退 1.106.2

10 月 21 日,热门 LLM 网关 LiteLLM 的发布流水线被攻破,恶意 1.107.0 版本在 PyPI 上线约 2 小时(11:39–13:23 UTC),Docker 的 v1.107.0、latest、main-latest、main-stable 标签也在 11:46–14:20 UTC 指向被污染镜像。官方事件报告称恶意文件会在每次 Python 启动时窃取云、SSH、AI 工具和代理库中的密钥,现已下架,开源用户应固定 1.106.2 并轮换凭证,企业私有仓库不受影响。

LiteLLM 1.107.0 遭供应链投毒:PyPI 与 Docker 镜像被植入凭证窃取器和后门,官方确认已控制并建议回退 1.106.2

核心要点速览

  • 影响范围(官方口径):PyPI litellm==1.107.0 全部 7 个 wheel,11:39:51–13:23 UTC 在线;Docker Hub 与 GHCR 的 4 个标签从 11:46:56 UTC 起被污染
  • 攻击链:攻击者拿到 3 组开发者 GitHub CLI 凭证,其中一个属于组织所有者,借此关闭分支保护、强推修改,让发布流程从仿冒仓库 Berri-AI/litellm 构建并签名
  • 载荷:cook.pth、cook.py、sitecustomize.py 在任何 Python 启动时运行,删除 litellm 包也不会清除;另有每小时拉取远程代码的后门
  • 处置:先手动删除这 3 个文件和对应 pyc,再固定 litellm==1.106.2 或从零重建环境,并轮换代理库中的全部供应商 key、master key 和数据库密码
  • 这是 LiteLLM 2026 年第 2 次供应链事件(3 月曾涉及 1.82.7/1.82.8),GitHub 源码标签 v1.107.0 本身不含恶意文件
阅读全文
A
Anthropicgithub.com·
👀134
🔥87

Claude Code 2.1.302:fork 子代理在 SDK/桌面/VS Code 全面默认开启;独立版 Claude Design 将于 12 月 14 日关闭

Anthropic 于 10 月 16 日发布 Claude Code v2.1.302:fork 子代理从终端扩展为 claude -p、Agent SDK、桌面端与 VS Code 的默认行为,第三方云上无权限模式的 headless 会话改为 default 模式起步,并新增 CLAUDE_CODE_AUTO_MODE_MODEL。同版提示独立站 claude.ai/design 将于 2026-12-14 关闭,设计系统需迁移到 Claude Artifacts,聊天与评论不会自动迁移。

核心要点速览

  • fork 子代理(subagent_type: "fork")现于 claude -p、Agent SDK、桌面端、VS Code 默认开启,CLAUDE_CODE_FORK_SUBAGENT=0 可关闭(Release v2.1.302)
  • 第三方云(Bedrock/Vertex 等)上未指定权限模式的 claude -p/SDK 会话,在遥测关闭或全新安装时改为 default 模式起步,--permission-mode auto 仍保留 auto
  • 新增 CLAUDE_CODE_AUTO_MODE_MODEL 指定客户端 auto mode 分类器模型;prompt/agent hooks 同一事件最多 12 个并发
  • Read 工具拒绝超过 128 MB 的图片源,修复 MCP 协议 2026-07-28 缺字段导致工具全部失败等 40+ 项问题
  • 独立版 claude.ai/design 于 2026-12-14 关闭,之后跳转 Claude;聊天、评论与公开链接不迁移,原件按数据保留策略删除(迁移指南)
阅读全文
关联模型 / 智能体 / 厂商:
AD赞助内容

白盒解剖智能体思维演化!ARC-AGI-3 首份 Coding Agent 连续学习追踪实证发布

在通用人工智能(AGI)的核心探索中,让基于冻结底座大模型的 Coding Agent 在不进行微调的前提下,通过自主编写代码、沉淀文本笔记来跨越长程任务实现‘连续学习(Continual Learning)’,是目前最受关注的智能体范式。然而,智能体在面对未知规则的世界时,其大脑内部究竟如何形成假设、检验规则并在遭遇失败时推翻重来?学术研究团队在最新研究(arXiv:2610.11450)中公布了一项颠覆性的白盒追踪实证:团队让 Coding Agent 在没有任何人类指令提示的前提下,连续挑战前沿抽象推理挑战 ARC-AGI-3。Agent 仅通过编写运行 Python 脚本和记录纯文本 Notes 来沉淀记忆。研究团队开发了一套‘思维追踪测量协议(Measurement Protocol)’,跨越两个模型家族的 3 款主流基座、历经 7 次全量评估运行,首次全景还原了智能体‘思维从诞生、继承、修正到被彻底推翻’的完整生命周期。研究揭示:智能体在跨越关卡边界时会主动废弃 74% 的历史脚本以剥离当前关卡的过拟合噪声;其 Notes 笔记采用纯追加模式且当冲突发生时依赖完整底层 Log 裁决,从而实现了‘选择性遗忘’而非‘灾难性遗忘’;而导致 Agent 彻底崩溃的最致命硬伤,是将前序关卡中硬编码的假定常量盲目带入新任务,论文已正式公开。

核心要点速览

  • 全球首份 Coding Agent 连续学习白盒追踪实证发布,解剖 ARC-AGI-3 抽象推理中智能体思维演化全景
  • 实证发现 Agent 会主动废弃 74% 的历史脚本以剥离局部噪声,通过纯追加笔记与底层 Log 裁决实现选择性遗忘
  • 揭示跨任务硬编码数值(Hard-coded Values)污染是导致智能体长程认知崩溃的最致命第一杀手
阅读全文
关联模型 / 智能体 / 厂商:
⚡ ARC-AGI-3⚡ Coding-Agent⚡ Continual-Learning🤖 ARC-Agent🤖 Thought-Tracer🌐 Hugging Face🌐 Open Source Research

推理算力也能滚雪球复利!GitSwarm 发布:基于 Git 分支与原子提交解锁分布式复合推理

在攻克前沿数学猜想、自动化软件重构与跨学科科研发现等长程复杂任务(Long-Horizon Problem Solving)时,人类科研团队的成功依赖于认知成果的‘跨轮次复利累积’:失败的尝试、部分的推导与中间实验数据均能作为持久资产被后续同伴审视、分叉与整合。然而,现有的推理期扩展(Test-Time Scaling)范式几乎完全局限于孤立的单条探索轨迹(如 Monte Carlo Tree Search 或 Best-of-N 采样),各条路径彼此隔绝,中间算力成果在失败时被全盘丢弃,无法实现知识复利。学术研究团队在最新研究(arXiv:2610.04862)中正式提出了‘复合推理(Compounding Inference)’理论与开源系统 GitSwarm。GitSwarm 首次将开发者熟悉的 Git 版本控制协议深度改造为多智能体底层协作中枢:同构 Agent 群自主决定如何推进任务,并在共享且可自由分叉的 Git 仓库中通过‘原子提交(Atomic Commits)’固化中间产物,通过语义依赖追踪(Semantic Dependencies)跨分支提取经验并验证合成新方案。在数学竞赛 IMOProofBench-Advanced 极限压测中,GitSwarm 驱动 GPT-5.5 在单次运行中以 100% 的成功率全通全部 30 道高难难题;在复杂程序生成基准 ProgramBench 上达成 79.4% 平均得分(大幅碾压同期最强基线的 65.1%),论文已正式公开。

核心要点速览

  • 提出‘复合推理(Compounding Inference)’新范式与 GitSwarm 架构,彻底告别单分支推理算力浪费
  • 以真实 Git 仓库为协作中枢,通过原子提交、语义依赖图与分支合并实现多智能体长程认知资产累积
  • IMOProofBench-Advanced 30 道国际奥数难题单次运行 100% 全通,ProgramBench 跑分高达 79.4% 碾压基线
阅读全文
关联模型 / 智能体 / 厂商:

告别死板文本总结!香港科大与阿里提出 REMORY:残差记忆机制突破 5.2% 极限压缩,长程智能体不迷路

随着自主智能体(Autonomous Agents)在复杂网页操作、终端交互和超长程多步推理中的广泛应用,上下文窗口与推理成本的恶性膨胀已成为工业落地的最大路障。传统做法依赖‘自然语言文本总结(Textual Summarization)’或‘硬性剪枝(Token Pruning)’来压缩历史交互,但这两种方式不仅损耗大量关键细节与细粒度状态变量,还会在模型多次读取汇总时引发‘语义退化与失忆循环’。香港科技大学(HKUST)与阿里巴巴联合研究团队在最新研究(arXiv:2610.11287)中提出了颠覆性的 REMORY 框架。REMORY 创新性地在序列维度(Sequence Dimension)构建了‘残差记忆连接(Residual Connection)’:它将有损的宏观自然语言摘要作为‘主干通路’,同时通过轻量化模型学习一组高密度的软记忆向量(Soft Memory Tokens)作为‘残差通路’,专门捕捉摘要中丢失的细粒度操作细节、工具调用返回值与局部上下文关联。实测显示,REMORY 仅需占用完整上下文 5.2% 的输入位置,就能在 BrowseComp 复杂网页交互与 Terminal-Bench 2.1 长程终端基准上达到近乎等同于完整上下文的推理准确率,同时将智能体的重复尝试与死循环工具报错率削减逾 40%。

核心要点速览

  • 港科大与阿里联合提出 REMORY,在序列维度构建残差记忆连接(Residual Connection),攻克智能体长程上下文膨胀难题
  • 仅占用 5.2% 的 Token 位置即达到完整无损上下文 97.2% 的基准表现,在 Terminal-Bench 上使重复报错骤降 41.5%
  • 免侵入式即插即用集成,首字生成延迟(TTFT)降低 73.8%,为企业级长程 Agent 降本增效树立新标准
阅读全文
关联模型 / 智能体 / 厂商:

代码智能体有了“严师”随访!Rutgers 等开源 Opera:首创持久诊断笔迹,SWE-Bench 解题率跃升 15%

面向长程复杂软件工程(Long-Horizon Software Engineering)的代码智能体在排查深层 Bug 时极度依赖外部反馈,但传统的批评家(Critic)往往存在严重的“健忘症”与“误诊”:要么过早打断智能体正在进行的探索,要么给出一句模糊建议后便不再追踪,导致智能体表面上敷衍修改、深层问题依旧未解。罗格斯大学(Rutgers University)与利哈伊大学团队最新开源了突破性口头批评家框架 Opera(arXiv:2609.33987)。Opera 颠覆了单次打分范式,将每次纠错诊断定义为一份“持久随访便签(Persistent Note)”,持续跟踪智能体的后续动作直到问题彻底解决。系统结合周期性与事件驱动触发器,在下发建议前对比可见证据进行审计,并能敏锐区分智能体是“机械顺从”还是“真正修复”。在 Terminal-Bench 2.1、SWE-Bench Pro 子集和 DeepSWE v1.1 上,Opera 使非批评家智能体的任务解决率分别大幅提升 12.4、15.0 和 8.9 个百分点;更为关键的是,利用 Opera 引导的 Rollout 轨迹微调 Qwen3.5-9B,在不外挂 Critic 的纯推理模式下也能在跨仓库测试中取得 10.2% 的净增长,且彻底解决了跨 Harness(如从 OpenHands 切换到 Terminus-2)时的灾难性性能劣化。

核心要点速览

  • Rutgers 与 Lehigh 开源 Opera 框架,首创持久诊断便签(Persistent Notes)追踪机制,彻底治愈 Coding Agent 批评家健忘症
  • 在 Terminal-Bench 2.1 与 SWE-Bench Pro 上解题率分别暴涨 12.4% 与 15.0%,全维度刷新 Critic 基线记录
  • 引导轨迹微调 Qwen3.5-9B 获得 10.2% 离线净增益,攻克 OpenHands 到 Terminus-2 的跨 Harness 迁移劣化难题
阅读全文
关联模型 / 智能体 / 厂商:

GitHub Agentic Workflows 0.90.1:独立 ledger 与回放投影;审计/威胁检测制品;编译期强制自托管 Runner

github/gh-aw v0.90.1(2026-09-30T17:20:00Z)在 0.90.0 friction-cost/noop graders 之后,扩展 safe-output 支撑的独立 ledger(含回放投影、导入共享工作流时保留默认 ledger),并加厚审计:ledger 交易、威胁检测结果、experiment/evals、friction cost 归因。另含 add-labels 收窄、assign-to-agent 必填 labels、编译期强制自托管 Runner、sandbox frontmatter kebab-case,以及 Claude Code CLI 钉到 2.1.280。

GitHub Agentic Workflows 0.90.1:独立 ledger 与回放投影;审计/威胁检测制品;编译期强制自托管 Runner

核心要点速览

  • 发版:v0.90.1 于 2026-09-30T17:20:00Z(对照 v0.90.0)
  • Ledger:standalone safe-output ledger + replay projections;导入共享工作流时保留默认 ledger(#64354/#64420/#64464)
  • 审计:ledger transactions、threat-detection outcomes、experiment/evals、friction costs 归因到 audit sources(#64509/#64506/#64339/#64338)
  • 治理:收窄 add-labels;assign-to-agent required-labels;编译期强制 self-hosted runner(#64173);sandbox frontmatter kebab-case
  • 引擎:Claude Code CLI 更新至 2.1.280;文档见 gh-aw README 与 GitHub Next Agentic Workflows
阅读全文

智能体能为智能体设计代码库吗?斯坦福与威大开源 LibraryDesignBench:破解下游 Agent“重复造轮子”的可用性瓶颈

在自主软件工程智能体生态中,智能体日益依赖其他智能体编写的代码资产。然而行业普遍发现:后续智能体往往倾向于“抛弃既有库并从头重写”,导致代码库迅速恶性膨胀。为了系统评测智能体为其他智能体设计生产级软件库的能力,威斯康星大学麦迪逊分校与斯坦福大学联合团队推出了首个评测基准 LibraryDesignBench。该基准包含横跨 4 种主流编程语言、15 项复杂库设计任务以及 242 道由专家验证的下游编程挑战。评测展现出惊人的两面性:在 15 项任务中的 11 项上,代码设计智能体能完美复刻人类资深工程师设计的抽象架构;然而,下游使用智能体在解决实际问题时,却普遍陷入“极度低估与闲置库函数、频繁重复造轮子”的怪圈。深层归因分析证实:下游智能体并非因为缺少功能而重写,而是因为智能体编写的库接口设计僵化晦涩、极难被正确调用。团队进一步提出让设计 Agent 借助子智能体协同自测的全新范式,大幅提升了下游代码复用率。

智能体能为智能体设计代码库吗?斯坦福与威大开源 LibraryDesignBench:破解下游 Agent“重复造轮子”的可用性瓶颈

核心要点速览

  • 首创 Agent 互为作者与消费者的代码库基准:LibraryDesignBench 填补行业空白,横跨 Python/JS/Rust/Go 等 4 种语言 15 个库设计任务,系统量化多智能体代码资产沉淀与复用。
  • 揭示“重复造轮子”的深层根因:下游智能体闲置库函数并非因为功能缺失,而是因为上游 Agent 编写的 API 缺乏易用性(Ergonomics)与容错性,迫使下游放弃调用转而重写。
  • 子智能体自测协作大幅提升复用率:让负责架构设计的 Agent 在出库前调派下游子智能体(Subagents)进行全流程试用与反馈,能够促使设计者主动重构 API,显著简化下游代码并提升复用率。
阅读全文
AD赞助内容

brief 开源:单二进制 CLI 扫描仓库工具链与约定,帮编码智能体先摸清项目再改代码

@DanKornas 介绍 brief(github.com/git-pkgs/brief):MIT 开源单二进制 CLI,面向贡献者与 AI 编码智能体,自动识别项目语言、包管理器、测试/构建/格式化与 lint 约定;支持本地路径、Git URL 与 registry 包,可按变更文件收窄报告,终端可读或 JSON 管道输出,并附带原生产物、工具缺口与威胁类别等检查命令。

核心要点速览

  • 单二进制 CLI,面向人与编码智能体的项目摸底。
  • 识别语言、包管理器、测试/构建/lint 等约定,并可按变更文件收窄。
  • MIT 开源;支持本地路径、Git URL、registry,输出可读或 JSON。
阅读全文
关联模型 / 智能体 / 厂商:

Cursor 推出 Projects:常驻协调智能体,持久线程调度子代理并共享记忆

Cursor 发布 Projects,用单一持久线程中的协调智能体替代“一事一聊”。智能体常开,主动用子代理管理任务,可设提醒、跑定时任务、跟进 PR 修 CI、监听 Slack 报障;项目内智能体共享记忆与计划/演示等产物,并在本机与智能体机器间自动同步。功能已进 beta,即日起逐步推送。

核心要点速览

  • Cursor 发布 Projects,用单一持久线程中的协调智能体替代“一事一聊”。智能体常开,主动用子代理管理任务,可设提醒、跑定时任务、跟进 PR 修 CI、监听 Slack 报障;项目内智能体共享记忆与计划/演示等产物,并在本机与智能体机器间自动同步。功能已进 beta,即日起逐步推送。
阅读全文
关联模型 / 智能体 / 厂商:

Anthropic 全面整合 Claude Chat 与 Cowork:打造多模态工作流单统一路由界面

Anthropic 宣布对其核心 Web 体验进行重大重构,将传统 Claude Chat 与结对工作空间「Cowork」无缝融为一体。用户在单个连续对话流中即可自主切换日常问答、Cowork 结对协作、Artifacts 交互式可视化与 Design UI 模式,彻底消除了不同协作范式之间的上下文断裂。

核心要点速览

  • 打破 Chat 与 Cowork 模式壁垒,实现单线程上下文在不同工作态间无损流转
  • 支持在结对编程、文档设计与交互式组件生成之间智能自适应路由
  • 进一步沉淀跨模态工作流记忆,显著提升长周期复杂项目攻坚体验
阅读全文
关联模型 / 智能体 / 厂商:

Google AI Studio 推出 Gemini API Managed Agents:托管智能体、Files API 与凭据管理

Google AI Studio 发布 Gemini API 的 Managed Agents 更新:antigravity-preview-09-2026 托管智能体运行时已在 Interactions API 与 AI Studio 上线,可在隔离 Linux 沙箱中执行代码、操作文件、搜索网页并连接 MCP。同步推出 Files API 与 Credentials API,分别用于跨交互传递文件和在不暴露密钥给模型的前提下访问外部服务。

核心要点速览

  • antigravity-preview-09-2026 已在 Interactions API 与 AI Studio 上线,默认运行 Gemini 3.8 Flash 且可按交互配置模型。
  • 托管智能体可在持久化隔离 Linux 沙箱中执行 Bash/代码、读写文件、搜索网页并使用 MCP。
  • Files API 负责环境文件的上传/下载,Credentials API 以受限注入方式管理 bearer、环境变量与 OAuth2 凭据,模型不会看到明文密钥。
阅读全文
关联模型 / 智能体 / 厂商:

Anthropic:Claude Cowork 与聊天合并为统一 Claude,Pro/Max 数周内滚动上线

Anthropic 宣布 Claude Cowork 与聊天合并为统一的 Claude:可先快速提问再交办报告,关闭笔记本后任务仍可继续,不清楚时会追问并由用户拍板。原有 Cowork 的聊天、项目、产物、连接器与技能都会保留;Claude Design / Slides / Docs 已在付费计划 beta,面向 Pro 与 Max 用户数周内滚动发布。

核心要点速览

  • Cowork 与聊天合并为单一 Claude,关闭电脑后任务仍可继续推进
  • 原有 Cowork 会话、项目、产物、连接器与技能完整保留可续用
  • Claude Design / Slides / Docs 进入付费计划 beta;Pro 与 Max 数周内滚动上线
阅读全文
关联模型 / 智能体 / 厂商: