Clauday.

LiteLLM 周二发布了一条严重级安全公告 GHSA-w4c7-34wj-hqm8，CVSS 评分 10.0。按项目方的原话，在装了企业版许可证的代理上，一个不需要身份验证的请求打到任意 LLM 路由，就可能让代理读取本地文件，再把内容发到攻击者指定的地址。读到进程环境变量，主密钥和各家模型服务商的 API 密钥就全漏了，某些配置下还能进一步以 root …

OpenAI 宣称自家模型推翻了指数时间假设（ETH）的第二天，Anthropic 回应了，没发博客也没发推。周二 UTC 03:07，它的 formal-math 仓库多了一个提交：一篇题为《3-SAT 的 2^o(n) 时间算法》的论文，外加一整套 Lean 4 形式化证明，Apache 2.0 协议。 最惊人的是来源说明：核心算法是 10 月 16 …

Cloudflare 周一晚上发了一篇事故复盘：Workers AI 上跑的 GLM-5.3，有大约两周时间，部分回复里混进了别的用户请求的数据。受影响的回复一共 155 条，全部来自长度超过 681,280 token 的提示。 原因说出来近乎乏味。模型对外宣称支持 1,048,576 token 上下文，但预填充的 KV 池只装得下 681,280 t…

有限单群分类定理被数学家叫做"巨型定理"不是没道理：证明散落在几百篇论文、几万页纸里，前后写了半个世纪。Axiom 刚把它完整形式化进了 Lean，大部分活是一群 agent 用三周半干完的。 项目页上的数字：4310 万行 Lean，205 万条声明，覆盖 715 篇论文和专著。第一批蜂群 10 月 2 日上线，agent 通过 GitHub issue…

Pomerado 周日在 YC 发布，一句话定位：几分钟把任何网站变成一个 API 或 MCP。它是 YC 2026 秋季批次的公司，核心代码以 MIT 协议开源在 GitHub 上，大约 190 颗星，仓库 10 月 5 日创建。 它瞄准的是 agent 至今还得一下一下点过去的那部分网页：保险、供应商、物流、医保支付方的老旧门户，电子病历系统，政府网站…

HumanLayer 做的是一套管理 Claude Code 和 Codex 会话的工作流，很受欢迎。周五晚上，它把整个产品以 Apache 2.0 协议开源了。不是阉割的社区版。用 Dex Horthy 的话说：这就是 HumanLayer Cloud 正在跑的同一份代码。 里面有什么：桌面端（Electron，外加一个 Tauri 版本）和背后的 We…

两周前，OpenAI 一口气放出 722 篇机器生成的数学稿。周六，陶哲轩博客上的一篇客座文章宣布：返工队成立了。 作者是 Abhinav Nellore、Johannes Schmitt、Soledad Villar 和 Rachel Ward，他们搭了一个叫 oai-math-revised 的社区项目，专门修这批稿子。诊断很客气也很直接：OpenAI…

Cindy 今天上了 GitHub Trending，一天涨了大约 470 颗星，总数已经过 4000。它想做的不是一个更强的 coding agent，而是骑在 coding agent 头上的那一层，把它们当零件用。 README 里写得很直白：模型和 harness 可以自由搭配，任务做到一半也能换，工作区、记忆、技能和工具都不断。第一批支持的 ha…

很多 agent 原型都是在 Chroma 这个开源向量数据库上起步的。10 月 23 日，Chroma 宣布已签署最终协议并入 Replit，条款未披露。官方说法是一起打造"自动驾驶公司的上下文层"，也就是 agent 干的活越来越多、因为它们知道组织知道的一切。Replit 的总裁 Michele Catasta 和 CEO Amjad Masad 都是…

MiniMax 守住了日子。10 月 23 日，M3.1 Flash 的权重在 Hugging Face 上公开，距离模型发布只有三天；发布那天它刚被揭晓就是那个通过 OpenCode 免费档跑了 200 万亿 token 的 Space Bunny。这是一个 MoE 模型，总参数约 428B、激活 23B，支持文本、图片、视频输入，1M 上下文，首日就有 …