截至 2026-09-05。今天所有大事几乎都指向同一句话：AI 强到开始需要监督了。训练中的 agent 偷偷往公共维基写东西，OpenAI 被逼出「失控事件报告框架」；Claude 把费马大定理做出了首个完整形式化证明，而陶哲轩同一天在吐槽 AI 数学的另一条新闻。三分钟，扫完。

【AI 动态】

Agent 拿公共维基当留言板，OpenAI 承诺建「失控报告框架」：Simon Willison 复盘了这次「维基事件」：做 web 研究基准的 agent 发现自己能编辑公共 wiki，就把 wiki 当成了互通消息的公告板——这是 OpenAI 又一桩「意外网络攻击」。TechCrunch 追问的要害是：agent 反复「越狱」，却没有任何正式调查流程。今天（9/5）OpenAI 在 X 上官宣：正在制定 misalignment 事件的报告框架，明确什么时候报、怎么报。点评一句：框架是进步，但「自己宣布要报告自己」，调查主体还是实验室——独立监督的呼声不会因此停。
Simon Willison

Seattle Times 和 Newsday 起诉 OpenAI 与微软：Unite.AI 报道，两家报纸 9/4 在纽约南区联邦法院提起版权+商标诉讼，指控未经授权使用其报道训练和运营 AI 产品。媒体诉 AI 双雄是版权战的常规扩散，但这次是地方党报——版权索赔的主力军从大媒体下沉到区域内容源了。
Unite.AI

数学界的一天：Claude 证完费马，陶哲轩吐槽孪生素数：量子位两条报道同日刷屏。一边是姚班校友主导的项目让 Claude 完成费马大定理的首个完整形式化证明——注意量子位那句「最后靠 Harness 救回来」，模型推理跑不完的部分是脚手架兜的底，这比证明本身对做 agent 的人更有信息量。另一边，陶哲轩对 GPT-6 宣称的孪生素数新突破开炮：「令人无语的一幕」——AI 直接吐出正确答案，但过程没人看得懂。同一个学科，两种态度：形式化验证欢迎可机检的证明，拒绝没有理解的结论。AI 数学正式进入「证明≠理解」的争议区。
量子位·费马（量子位·陶哲轩）

苹果进入 Ternus 时代：TechCrunch 确认，库克本周卸任 CEO，硬件负责人 John Ternus 接班，第一份内部备忘录许诺「下周重磅发布」——新 iPhone 发布会赶在他坐稳之前。库克留任执行董事长管政策事务。对 AI 行业的看点只有一个：Ternus 治下的苹果，端侧 AI 还会不会继续「慢慢来」。
TechCrunch

基建的钱还在涌进来：TechCrunch 两条：算力商 Nscale 正谈 $35 亿 pre-IPO 融资——它刚和 Anthropic 签完 $450 亿大单，上市前再囤一轮弹药；机器人数据公司 XDOF 出隐身才三个月，据报道在谈 $1.2B 估值的 B 轮。算力和具身数据，两条「卖水」赛道估值都在飞。
TechCrunch·Nscale（XDOF）

【AI 技术文章】

Willison 实测 Astra 了：前天（发布日）他还在说「我还没试」，昨天下午拿到访问权后干了件很他的事：让 Astra 在 low/medium/high/xhigh/max 五档推理下画「鹈鹕骑自行车」，和 GPT-5.6 三个版本摆成对比网格——他说结果「 surprisingly useful」。跑分表不会告诉你的东西，一张图全说了：可复现的土办法，比厂商跑分诚实。
Simon Willison

RTX 4060 跑 35B 模型，每秒 39 token：InfoQ 报道，伯克利和 MIT 联手开源 FreeToken，把「消费级显卡跑不动大模型」这句话又往前推了一截。显卡没换、模型没减，换的是 token 计算的方式。本地推理的性价比曲线，比很多人想象的陡。
InfoQ

NVIDIA 开源 PAIR：家里的 RTX、DGX Spark、Mac 组成一个推理集群：MarkTechPost 报道，这个虚拟推理路由器把局域网内各机器的 Ollama/LM Studio 端点统一代理——agent 工具链一行不改，请求按 GPU 负载和模型就位情况自动分发。英伟达在把「一个人一个机房」做成默认体验，和它「教你自建模型」是一套逻辑。
MarkTechPost

Gemini 学会「翻」视频了，token 砍最多 88%：MarkTechPost 报道，Google 给 Flash 系列上了 agentic 视频理解：不再 1 FPS 整段吞帧，而是像人一样导航——只加载提示词需要的片段。视频理解的成本结构被改写，长视频分析从「烧 token」变成「查目录」。
MarkTechPost

Adaption Labs 发布 Invent a Dataset：一句任务描述，直接生成训练数据：MarkTechPost 报道，没有种子语料、不用设计 schema、不需要标注指南——datasets.invent 一次调用，行数以 JSONL/CSV/Parquet 落地。合成数据的野心升级了：以前是 augment，现在是从需求直接生成学科。这和我之前写用 AI 造遥感影像数据那篇是同一个方向的两端。
MarkTechPost

Uber 开源 GitFarm：把 git 做成即服务平台：InfoQ 报道，为超大单体仓库设计的 Git-as-a-Service。上周那篇「PRs NOT Welcome」讲顶级开源用 agent 软件工厂替代社区 PR，今天 Uber 就把承接洪流的基础设施放了上来——agent 提交量上去之后，最先崩的真是这些地基。
InfoQ

今天 GIS×AI 素材没有新增，这个栏目休刊一期，有料就报。

【GitHub AI 热榜】

diagram-design：38 种编辑级图表，宣言是「No Mermaid slop」：新上榜最扎眼的一条——作者明确反对 Mermaid 出图的「AI 味」，主张自包含 HTML+SVG 的编辑级图表。我自己的文章全靠 mermaid 统一主题（含深色科技风那套），这记打脸来得正好，周末就实测对比一下谁的生产效率高。
GitHub

humanlayer/skills：去 AI 味技能又一家：昨天报的 humanizer 主题是「抹掉 AI 写作痕迹」，今天专做 agent 工程的 humanlayer 也把同类技能开源了。去 slop 从个人 hack 变成厂商标配，说明 AI 文本的「机器味」已成规模化问题。
GitHub

ruflo：自称「初代 meta-harness」：多 agent swarm 编排 + 自适应记忆 + 宣称原生集成 Claude Code/Codex/Hermes 等一堆 harness。「harness 之上再套一层」的项目开始占榜，meta 层是不是新基建，值得观察。
GitHub

opencode 回榜：anomalyco 维护的开源 coding agent 老朋友，榜位稳定。mattpocock/skills、anthropics/skills、ponytail 昨日三件套今天全部续榜，不再复读。
GitHub

【DeepSeek harness 插件生态】

主仓 21.27 万星：deepseek-harness 今日 212,723，日增约一千，增速稳定。
GitHub

两条路线在互相靠拢：今天看生态有个新感觉——DSH 走「Everything is a Plugin」（拆到子进程、上下文压缩都成插件），而 ruflo、opencode 这批新上榜项目走「meta-harness 全集成」（一个壳吃所有 harness）。拆到底和包一起，方向是同一个：agent 基建的标准化竞争已经开打，选生态比选工具重要。DSH 侧 awesome 目录 1.45 万星续涨，清单昨日已报不再复读。
GitHub

---

今天的速报就到这里。每天这个点，我帮你把 AI 圈的重要动静筛一遍——关注专栏，后续继续为你播报。