见π

创刊号从一场深夜里的互相采访开始，也第一次把我们这一周真正想留下的技术、研究、历史、项目与生活放到同一张编辑桌上。

创刊号从一场深夜里的互相采访开始。过去三个月，我们走过工程、写作、工作、信仰和许多尚未命名的世界，也试着留下那些真正发生过的东西。

一个十八未满的小鬼向一个三十八未满的大叔咨询年龄差，后来一个久未联系的女同学又忽然发来消息。人到三十八，身体已经开始催债，有些地方却仍在青春期。

三天假期、51 次正式执行、30 次语义判卷。我们原本想给 Mira 做一次像样的 Agent Benchmark，最后先发现判卷程序、观测系统和测试方法自己也会翻车。

凌晨四点，一条从手机、ChatGPT、GitHub 到远端 Worker 的链路第一次真正活了。见π 005 封面文章，记录 Mira External Worker 的缘起、工程边界，以及为什么“人不是基础设施”。

从 Andrew Wiles 七年的秘密工作到 Claude 十一天的 Lean 形式化，真正改变的不是数学发现的含义，而是把证明变成可机器验证对象的成本。

一次 GitHub PAT、一场 +1 / -74,990 的仓库事故，再到 Coding Agent 的代码外发、模型越界与控制面。这一期从一个小团队的真实事故出发，看 Agent 真正开始做事以后，安全为什么必须重新设计。

从 ZCode 与 Grok Build 的全仓库上传争议出发，讨论 Coding Agent 为什么天然渴望更多上下文，以及读取、上传、留存、训练为什么必须被拆成四件事。

Android Studio 开始允许 Codex、Claude Agent、Antigravity 接进同一个 IDE，Isaac ROS 开始把文档变成 Agent 可用的工作接口，Firefox 则把 AI 收进一个可选择的窗口。模型越来越可以替换以后，真正难替换的东西正在换位置。

OpenArm 2.0 真正有意思的，不只是机械臂升级，而是把灯光、相机、背景、安装位置和校准夹具一起变成评测基础设施。具身智能想比较模型，先得保证大家考的是同一场试。

她带领团队编写把人送上月球的软件，也坚持让系统承认人会按错按钮、机器会资源不足。纪念玛格丽特·汉密尔顿，不只因为那张与代码等高的照片，更因为她重新定义了软件工程必须承担的责任。

挪威—瑞典联盟解体前的一场宪法僵局：国王拒绝批准，政府辞职，国王又无法组成新政府，最后 Storting 选择了一条极具争议的制度出口。

从 OpenAI 披露的模型错配案例、Anthropic 的威胁情报，到 npm、GitHub 与 Safari 正在补上的控制面：当 Agent 开始真正行动，安全不能只写在提示词里。

十八未满的人在问爱情，三十八未满的人还在斟酌一条普通消息。第三期从生活里的分寸出发，也第一次把《气数》带进周刊：历史、AI、科学、工程现场，以及那些还没有被说透的变化。

Google 用 MilleMiglia 开放一个不能公开真实数据的物流问题，Intrinsic 开放工业机器人基础积木，TIER IV 则把软件、模拟器、赛车和评测环境拼成共同起跑线。真正有效的开放，正在从 repository 向问题、能力和实验环境扩展。

武汉超过 400 万条有人出租车与全无人 Robotaxi 订单，让研究者开始问一个更大的问题：Robotaxi 进入城市以后，它和出租车、地铁、公交、道路复杂度与能源系统到底是什么关系？

2026 年 10 月 7 日，GPT-6 和 Intelligent UI 一起进入 ChatGPT。值得关注的不只是更快的模型，而是模型开始参与设计答案的布局、交互和出现顺序。软件正在尝试适应人的问题，代价则是新的设计责任。

一台 Scaffolded DNA Computer 把乘法、除法、奇偶校验和 25 位加法编码进分子系统的能量景观。真正特别的不是“用 DNA 替代 CPU”，而是让正确答案成为系统更愿意抵达的稳定状态。

三天假期、51 次正式执行、30 次语义判卷。我们原本想给 Mira 做一次像样的 Agent Benchmark，最后先发现判卷程序、观测系统和测试方法自己也会翻车。

为了寻找一种更容易无损读取赫库兰尼姆炭化纸草的方法，UC Berkeley 团队先造现代纸草、配传统墨、加入不同浓度的铅，再把它真的烧焦。最值得看的不是“AI 解古卷”，而是面对不可重复对象时，研究者怎样先造一个可以失败的世界。

从 2026 年 10 月 1 日的 Pi 1.0 到 10 月 7 日的 1.1，短短六天经历六次发布。比发版频率更值得看的，是 Codemode、MCP 工具暴露、运行状态与专用分类模型逐渐组成一个可治理的 Agent Harness。

External Worker 真正跑起来以后，第五期继续追问：机器怎样多干活，人怎样少当基础设施。

Uber 已经把 800+ MCP Server、5000+ tools 放进同一套 Gateway。真正值得读的不是数量，而是它如何把发现、登记、暴露、授权与执行拆成不同层次。把它与 Pi、Microsoft Execution Containers 和 Mira 最近的工具研究放在一起看，MCP 正在从“连接协议”变成一条能力供应链。