📡 AI 日报

我们为单体仓库自研了新的 Git 后端 Pando，在不改变工程师和智能体使用习惯的情况下提升推拉性能；推送延迟降低约80%，每天承载近 PB 级 Git 数据，容量可随智能体用量扩展。

来认真谈钱：ChatGPT Voice 已接入 Finances，安全连接账户后，你可以用语音聊支出、储蓄以及各种财务问题。

有一篇热门论文称 GPT-6 Astra 能直接解读模型权重（也就是把浮点数当作提示）；我用笔记本上的 Qwen 3.8 27B 试了 45 分钟以上，发现它也能做到类似的事。

我让 Claude Code 把 WiFi 路由器改成雷达，40 分钟就写出代码：不用摄像头或额外传感器，只靠信号绕人体变化就能在地图上画出移动形状。夜里测试时，卧室出现第二个形状，而我独居；我走过去它也没动，关掉后仍不知道代码在读什么。

用户登录 Claude 后现在可以自动连接插件：只要 MCP 服务器接受 Claude 作为可信签发方即可。如果你在为 Claude 构建插件，建议加上支持，让用户更快启用并保持连接，无需反复授权。

Grok @Bot 能帮你调研附近最好的医生，直接打电话过去并完成预约。

我正在造一门酝酿20多年的新编程语言 Zed：基于范畴理论，追求精确自动并行化、无 GC/无手动内存管理，并把单位纳入类型系统。我把200页设计笔记和已有代码交给 Opus 整理成完整计划，再让 Claude、ChatGPT、Gemini 多轮互评、元批判并汇总改进，还把规格拆成拓扑排序的小步骤；Opus 又做了 DAG 可视化器，让我实时看到每个编码智能体的任务状态。看着它把我20年的梦想搭起来，真的很神奇。

Anthropic 新研究：在大模型可验证推理上取得进展，推出 FlashProve。它基于成熟密码学技术，让开发者能验证某个回答是否来自某个模型，效率明显高于此前开源方法。这类证明可用于防止聊天被劫持，也能让安全评估者确认测试模型与实际服务模型一致。我们已开源 FlashProve 代码。

提醒一下：DeepSeek V4.1 Flash 1017、GLM 5.3 Flash、Qwen 3.8 Next Flash，甚至 Qwen 3.8 27B，在智能和能力上都已经超过2025年圣诞节时所有被称为“前沿智能”的模型——那才过去11个月。开源 AI 真的火起来了。