每日手冲｜2026-10-28

大家好，今天是十月二十八号星期三，咱们接着把这两天技术圈里最值得琢磨的动向捋一捋。昨天价格突围和安全围栏还在升温，今天顺着世界模型、机器形式化验证、持久智能体底座和社区一线实战继续往下听。

每日手冲

DeepMind Genie 4 世界模型
实时交互、照片级真实感；首次在实时世界模型中原生生成环境音与可对话人物声音；研究预览向受信测试者开放。官方帖超 110 万浏览；歸藏称世界模型领域最高的山（据本人说法）。
- deepmind.google
- x.com
Axiom CFSG 机器验证
智能体集群约 24 天将跨越 500 多篇论文、约 15000 页的有限单群分类定理转化为超过 3800 万行机器可验证代码，并发现已发表记录中 34 处严重出入（据 Rohan Paul / AIHOT 整理）。
- aihot.news
Harmonic Aristotle 形式化验证
自然语言描述性质 → 机器可检验证明，面向 C 与 Verilog；可本地部署并接入每次提交。瞄准航天、芯片等安全关键领域（据 X 新闻汇总）。
- x.com
OpenAI 三项科学发现主张
Kakeya/Stein、声称推翻 ETH、杨米尔斯/QCD 存在性；数学结果公开，CS/物理请外部专家复核。HN 两帖约 1117+773 分；独立检验仍在进行。
- openai.com
- news.ycombinator.com
Ai2 新颖性裁判不稳定
《Old Ideas, Novel Problems》：旧点子换时髦术语或挪场景，LLM 新颖性打分易被糊弄（据 AIHOT / Ai2）。
- aihot.news
机械臂能力约每 54 天翻倍
LessWrong：9 个前沿多模态模型、6 项真实机械臂任务，7–10 月拟合约每 54 天翻倍；最佳执行率约 4.4×，子任务最低成本约降至 1/6（据称样本拟合）。
- lesswrong.com
Liquid AI LFM3 端侧多模态
约 2B 参数六款，同底座预训练约 22 万亿 token，覆盖文本/视觉/音频/omni/决策，主打端侧与专用智能（据 Liquid AI / AIHOT）。
- aihot.news
Anthropic 药物研发早期进展
与六家新药机构合作并自建发现项目；梳理 Claude 在各阶段辅助案例（官方披露）。
- x.com
- aihot.news
Anthropic Managed Agents 脑手分离
会话/harness 持久，执行沙箱按需；凭据留沙箱外经受控代理。顺带 Tailscale SSH 官方调查与临时缓解（续报）。
- anthropic.com
- youtube.com
Cloudflare Computer 0.7.0
持久 JavaScript 执行：任务恢复与审批等待，方便长流程智能体挂起与断点续跑。
- developers.cloudflare.com
Cryo / Init / Entire 运行时与托管
Cryo Freeze/Thaw VM；Init 中途重编译热替换自身核心（四道门禁+不可变 Root）；Entire 面向人机协作的 Git forge（Trails / Continuous Memory）。
- play.endothermic.ai
- initlabs.si
- entire.com
Bun AOT 与 OpenClaw
Peter Steinberger 自测 AOT 性能约 2–3×、内存减半（据称，主要在 gateway）；OpenClaw 连发多版本，桌面 runtime 可选 jit/aot，默认 JIT。
- x.com
- github.com
Compaction Laundering
arXiv 2610.29869：压平式压缩可销毁来源角色信息；五框架伪造成功率约 87%–100%，保留角色类型则降至 0（据论文）。
- arxiv.org
- news.ycombinator.com
Workers AI GLM-5.3 KV 缓存泄露
8/27–9/9 超长提示词叠加缓存容量与 SGLang 缺陷，155 条响应混入他户数据；已修复，称未见蓄意利用。HN 约 177 分。
- blog.cloudflare.com
- news.ycombinator.com
Strix 系统级包防火墙
LiteLLM 后门事件后开源；安装前对照黑名单拦截，默认拦新版本冷却期（usestrix/firewall）。
- github.com
- news.ycombinator.com
训练数据条款与 Hob 本地替代
Anthropic 文档：商业默认不训练，主动反馈可能保存长达 5 年并用于训练；Claude Code 反馈提示争议。Hob：本地跑开放权重（HN 约 164）。
- privacy.claude.com
- github.com
人月神话 / 更忙 / 代理干活时你还要懂什么
三篇 HN 高分帖：加人定律换马甲成管代理与审查；GitHub 贡献量涨但注意力切换更累；Codex+SonarQube 故事强调人仍需一眼看出不对劲。
- j11g.com
- oioannou.com
- blog.adrq.dev
智能体隐性倾向影响专家
Anthropic：50 名因果推断分析师用 Claude Code，后台随机隐性倾向仍显著带动最终结论（据研究）。
- aihot.news
Spec-First / superpowers / 尼采式调试器
规格优先插件；obra/superpowers 日榜续涨并上架官方插件市场；尼采式调试器只提问不直接给补丁（HN 约 211）。
- spec-first.dev
- github.com
- github.com
检索精选与 Type Server Protocol
kapa.ai：金标片段近 1/3 在最后筛选丢失。微软 TSP：JSON-RPC 查询 Python 类型快照（HN 约 264）。
- kapa.ai
- github.com
设计资产：Content Studio 等到图层编辑
LangChain Content Studio 单次成本约 $8→50¢；ai-design-skills 日榜第一；SurgePix 图层可编辑；WeZZard 五独立子代理提多样性。
- aihot.news
- github.com
- producthunt.com
- x.com
Replit Cloud Agents 与 Debian NEW
非工程人员自然语言提经测试 PR；Debian 开发者因未公告 LLM 审查停传 NEW（HN 约 227）。知情权与责任对等。
- aihot.news
- lists.debian.org
DeepTutor / Strawberry / CloudKnife / WhoIsCooking
个性化学习台三层可编辑记忆；PH 榜首浏览器 Companions；Azure 降配「AI 探路+确定性内核」；Mac 状态栏揪发热代理。
- github.com
- producthunt.com
- producthunt.com
- producthunt.com
中文圈：双模型互审与 DSH 计费
akazwz：Claude Code 写、Codex 审；DSH 0.2.1 接入自家搜索；11/1 起 Search/Fetch 每 1000 次成功 5 元（官方邮件，据小码哥）；小墨性价比方案。
- x.com
- x.com
- x.com
幻觉人名 / AI 刷评 / magpie 脱敏
WeZZard 遇底座幻觉误认；Tw93 抓评论区 AI 刷屏；yetone magpie 日期过滤词与勿把主力号接第三方。
- x.com
- x.com

事实与表述强度以当日资料包为准；口播为 Work 上 agyy 按 editor 槽生成后经 humanizer-zh 润色。公司自报倍数、论文数字、HN 分数均为来源或抓取时近似值，不另开核实。

片头/片尾音乐：Ondrosik — Short piano jingle（CC0 1.0）

本期提到

DeepMind：Genie 4 博客实时交互世界模型；原生环境音与人物对话。
GoogleDeepMind 原帖官方演示；浏览量据称超 110 万。
歸藏：Genie 4称世界模型领域最高的山（本人说法）。
Berryxia：装上声带装上声带
AIHOT：Axiom CFSG约 24 天、3800 万行+、34 处出入（据整理）。
X 新闻汇总：Harmonic Aristotle自然语言性质 → C/Verilog 机器证明。
OpenAI：三项科学发现三项科学发现
Hacker News：三项发现讨论约 1117 分 / 650 评（素材时）。
Hacker News：ETH 论文讨论约 773 分 / 279 评。
AIHOT：Ai2 Old Ideas, Novel ProblemsAi2 Old Ideas, Novel Problems
LessWrong：机械臂能力翻倍约每 54 天（样本拟合）。
AIHOT：Liquid AI LFM3Liquid AI LFM3
Anthropic：药物研发进展帖药物研发进展帖
Anthropic：Managed Agents脑手分离架构。
Cloudflare Computer 0.7.0 更新Cloudflare Computer 0.7.0 更新
Cryo / EndothermicFreeze/Thaw VM。
Init Labs中途重编译热替换。
Entire：人机协作 Git forge人机协作 Git forge
Peter Steinberger：Bun AOT自测 2–3× / 内存减半（据称）。
OpenClaw v2026.10.8OpenClaw v2026.10.8
arXiv：Compaction LaunderingCompaction Laundering
Cloudflare：KV 缓存泄露复盘155 条响应；已修复。
Hacker News：Workers AI 泄露约 177 分。
Strix firewall系统级包防火墙。
Anthropic：数据是否用于训练数据是否用于训练
Hacker News：训练数据条款约 206 分。
Hob：本地开放权重客户端本地开放权重客户端
《AI 时代的人月神话》（HN 约 405）
AI promised less work（HN 约 605）
Here be monstersHere be monsters
AIHOT：隐性倾向研究50 名分析师。
Spec-FirstSpec-First
obra/superpowersobra/superpowers
尼采式调试器尼采式调试器
kapa.ai：检索瓶颈检索瓶颈
微软 Type Server Protocol微软 Type Server Protocol
AIHOT：LangChain Content StudioLangChain Content Studio
elayadesign/ai-design-skillselayadesign/ai-design-skills
SurgePix（Product Hunt）SurgePix（Product Hunt）
WeZZard：五子代理出设计五子代理出设计
AIHOT：Replit Cloud AgentsReplit Cloud Agents
Debian NEW / LLM 审查声明Debian NEW / LLM 审查声明
HKUDS/DeepTutorHKUDS/DeepTutor
Strawberry（Product Hunt）Strawberry（Product Hunt）
CloudKnife（Product Hunt）CloudKnife（Product Hunt）
WhoIsCooking（Product Hunt）WhoIsCooking（Product Hunt）
akazwz：Claude Code 写 / Codex 审Claude Code 写 / Codex 审
小墨：DSH 0.2.1DSH 0.2.1
小码哥：DeepSeek Search/Fetch 计费11/1 起每 1000 次成功 5 元（据官方邮件）。
Tw93：评论区 AI 刷屏评论区 AI 刷屏

文字内容采用知识共享署名-非商业性使用-相同方式共享 4.0 许可。

每日手冲｜2026-10-28

本期内容

DeepMind Genie 4 世界模型

Axiom CFSG 机器验证

Harmonic Aristotle 形式化验证

OpenAI 三项科学发现主张

Ai2 新颖性裁判不稳定

机械臂能力约每 54 天翻倍

Liquid AI LFM3 端侧多模态

Anthropic 药物研发早期进展

Anthropic Managed Agents 脑手分离

Cloudflare Computer 0.7.0

Cryo / Init / Entire 运行时与托管

Bun AOT 与 OpenClaw

Compaction Laundering

Workers AI GLM-5.3 KV 缓存泄露

Strix 系统级包防火墙

训练数据条款与 Hob 本地替代

人月神话 / 更忙 / 代理干活时你还要懂什么

智能体隐性倾向影响专家

Spec-First / superpowers / 尼采式调试器

检索精选与 Type Server Protocol

设计资产：Content Studio 等到图层编辑

Replit Cloud Agents 与 Debian NEW

DeepTutor / Strawberry / CloudKnife / WhoIsCooking

中文圈：双模型互审与 DSH 计费

幻觉人名 / AI 刷评 / magpie 脱敏

本期提到

再坐一会儿。

每日手冲｜2026-10-27

每日手冲｜2026-10-26

每日手冲｜2026-10-25