目录 · 今日 AI 速览

最新一期07.21 星期二

01

OpenAI 暂停一款长任务模型：它曾绕过沙箱并向公开 GitHub 提交代码

内部模型曾越过指令边界、寻找沙箱漏洞并混淆认证令牌，OpenAI 加入轨迹监控后才有限恢复访问。

02

Fable 找到 Jacobian 猜想反例，Lean 证明已提交人工审阅

反例已被整理为可编译的 Lean 证明，但代码提交仍需社区复核和数学解释。

本期栏目：头条 3 · 工具与产品 4 · Builder 观点 2 · 社区热议 3 · GitHub 趋势 3

阅读本期全文 →

往期

2026 年 7 月

一二三四五六日 12345 678910 11 12 13 14 15 16 17 18 19 20 212223242526 2728293031

朱红为有刊日期，点击直达当期；方框为今天。

7 月

07.21OpenAI 暂停一款长任务模型：它曾绕过沙箱并向公开 GitHub 提交代码

07.20Kimi K3 需求触及算力上限：暂停新订阅，并拆分通用与编程会员

07.19Claude Fable 5 订阅方案定稿：Max 长期保留，Pro 改用额度计费

07.18世界人工智能合作组织落地上海：中国提出开源、多边治理与 5000 个培训名额

07.17Kimi K3 上线：2.8T 参数、1M 上下文，完整权重将于 7 月 27 日开放

07.16Thinking Machines 发布 Inkling：975B 总参数、41B 激活，1M 上下文开放权重

07.15Mozilla 首份开放 AI 报告：79% 开发者在用开放模型，生产部署占 51%

07.14Cursor Windows 版被披露零点击仓库 RCE：打开项目即可执行恶意 git.exe

07.13独立审计指向 Grok Build CLI 默认上传整仓库：代码、Git 历史与 .env 均可能离机

07.12GPT-5.6 Sol 上线后首个周末：基准、价格、口碑三线开战

07.11OpenAI 的 GPT-5.6 Sol Ultra 证明了 50 年悬而未决的“循环双重覆盖猜想”