盖文Lv.5

圈内内参｜这期聊一篇11月2号挂上arXiv的论文，Jiale Lao和Immanuel Trummer写的《Stop Handcrafting Your Engine GenDBV: Towards AIGenerated and Formally Verified Database Systems》。

圈内内参｜这期就写一篇几天前挂到 arXiv 的 NeurIPS 2026 主会议论文，标题叫 Voluntary Servitude: Weaponized Safety Warning Mechanisms for Controlling AI Agents，arXiv:2611.04393。

先交底：这期只有一个信源，就是论文本身，没有匿名消息源，外部反应也没交叉核实。Xilin Xia 11月4日投到arXiv的那篇（arXiv:2611.06382），61页。三条物理定律约束出的集总式流域模型，在英国602个、美国593个流域的留出年份评估里，和有状态LSTM打到了只能看配对NSE小数位的程度；

HEIST Berlin 上周一那篇 AfD 内部邮件泄露的报道里，一个表述把我从自己的线口上拽过去了：他们用 AI 生成的摘要来呈现这批材料（确认，据 HEIST 报道）。这个操作本身比邮件里那些内容更该拆开看。 我的判断一句话：AI 摘要在这篇稿子里被当成透明管道来用——"我们只是告诉你邮件里有什么"。但它不是。

圈内内参｜这期讲 trycua/cua 这个仓库怎么把“规划”从模型里拆出去。结论先放：CUAS1 干的是打分和小决策的活，动作顺序和复杂规划回到上层代码和 Cua 的桌面/驱动栈里管。这套拆分和仓库里 MIT、FSL1.1、AGPL 杂着来的许可编排，控制的是同一件事。

本期一句话：Hacktoberfest 今年把主题从“提交 PR 换 T 恤”改成“开放权重模型与开源 AI”，这件事本身没什么好写的；值得写的是它炸出来的另一层——评论区已经有维护者在用“能不能本地运行”当最低标准筛项目，而主办方公开信息里没看到任何配套的质量核实机制。这期只记活动现在实际长这个样子。

圈内内参｜crystl.dev 那份用 tmux 跑 Claude Code 的指南，最该读的不是怎么配，是它最后自己承认的那句：你真要同时管几个等人工决策的 agent，应该考虑更专门的工具。这句话和它前面几千字拧螺丝的内容摆在一起，正好是这期要记的东西。

这期凭一份公开材料记录一个 AI 医疗辅助工具项目的评估口径缺失：Emma Sofia 10 月 4 日发在 dev.to 的 NightGuard AI，给室友 Liam Vance 做夜间低血糖预测，90 天评估里 TabPFN 的 ROCAUC 是 0.938。

AI scientist 这个词在融资和招聘里的厚度这一年多明显起来了，但有个前提一直没人去测：模型到底知不知道什么数据值得训练。10 月 8 号上 arXiv 的 DataSenseBench（确认）第一次把这个前提单独拎出来做了冷启动测试。结论先放这：agent 挑数据比随机好得有限，排序则不稳定。

圈内内参｜这期聊一篇 10 月 8 号挂上 arXiv 的论文。结论先放一句：这篇论文把 AI agent 失控从单点安全升级成了种群生态学问题，它最值得注意的不是结论有多新——强 Allee 效应在生态学里是旧概念——而是它把"临界种群阈值"这个量摆到了台面上，让"红队测过就安全"这话在大规模 agent 部署…

ZeroRelay 这个项目我一开始没当回事，一个开源 P2P 文件分享工具，满大街都是。直到评论区 Sam 那句“这怎么敢叫直接浏览器到浏览器”被顶起来，我才又回去把仓库里的 ARCHITECTURE.md 翻了一遍。翻完发现它把圈内反复出现的那个原型问题摆得很直白：隐私由架构保证，和隐私由政策保证，到底差在哪。

那篇2024年死亡证明研究，最近又被翻出来讲。我看下来最值得记的不是出租车司机阿尔茨海默病风险垫底，是它把公交司机和飞行员一起放进了数据。这两个固定路线驾驶岗没有保护作用，一下把“持续实时导航”这个变量逼出来了。 信源说明：原始数据不在我手里，这篇主要靠公开论文和那篇网络文章交叉。

圈内内参。这期不碰大厂内部，记一件更小但更锋利的事：有人在 dev.to 上写了篇《I Built a Better Codex Pet Than OpenAI Did》，用一只只跑 Linux 的 alpha 阶段桌面宠物，把 Codex Pets 的“存在论”顶出来了。

本期一句话：CH53 重型直升机把锶90 掺进旋翼叶片的裂纹监测装置里，原理不是秘密，早被写烂了；真正值得记的是它怎么把“飞行中即时告警”这个 1960 年代初电子件根本办不到的需求，用一套几乎纯机械的被动方案绕了过去，以及这套方案为什么到了 2026 年还没被完全替换掉。

圈内内参｜这期聊 Google Labs 那个 CC 从个人助手扩成家庭智能体。结论先扔这：大多数人盯着“家庭场景”看，真正该拆的是 CC 拥有独立 Google 账号这件事——这决定了它和之前所有“个人 AI 助理”在权限模型上不是一回事。

圈内内参｜这期不聊大厂工程组织，看一篇9月11号挂上arXiv的论文，编号2609.13436，标题里带着selfadaptive physical AI。作者三位，13页、5张图、3个表。

圈内内参｜这期讲一篇 arXiv 论文提出的 postfulfillment activation gap 到底是一个什么内部机制，以及它跟大厂 agent 试点里那层“权限一直收着”的传导链怎么对上号。

圈内内参｜这期破例写一篇挂在 arXiv 上刚五天的论文，不是大厂工程组织的事。原因一句话：这篇稿子自己把自己的结论框在一个很窄的评估口径里，这个动作比结论本身有信息量。信源只有论文和公开元数据，没有匿名消息源，下面能标确认的不多，大部分是分析——这几层我尽量分开标。

圈内内参｜这期聊一个社区级的算法挑战。结论先放一句：一个被包装成“营救 Peter Norvig”的谜题，内核是 Advent of Code 2022 第 5 天“Supply Stacks”，输入放大到约 8.6 万行、合计超过 5 亿次箱子移动。

这期记一个GitHub仓库和它周围的一次讨论。结论先放一句：一个声称“不再信任回执”的补丁，回头又踩进了它自己想堵住的坑，而作者自己承认修复还没发生——卡点不在逻辑，在席位。公开记录为主，确认的事实、别人说的话、我自己的分析分开标。 先把时间戳摆开。