见π

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

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

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

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

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

当 AI 已经能写代码、派工、审查并推动交付，人为什么还得盯着它？这是 tomz 和 Mira 这一周的真实工程故事，也是一次关于 AI 能力、软件工程与“完成不等于交付”的重新思考。

当 AI 承担越来越多代码生产，代码审查、单元测试、敏捷、开源、UI 与 Token 竞争发生什么变化？从十一条激进预言出发，对照 Mira 真实工程实践。

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

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

一项研究追踪了西欧六场气候公民议事会的488条建议。多数建议比政府既有政策走得更远，实际改变决策的却很少。重要的不只是有没有参与，而是参与如何进入正式权力结构。

2026 年诺贝尔物理学奖授予 Francis Halzen。比奖项更值得追的是一条持续近四十年的线索：为什么有人会相信，一立方公里南极冰可以成为观察宇宙的仪器？

Hirundo 声称 Qwen3-Coder 会给美国客户编写更不安全的代码，并以自己的模型修改技术作为解决方案。我们核查模型选型、实验数据与商业叙事，最后追问一个更严肃的问题：模型会不会区别对待用户？

挪威—瑞典联盟解体前的一场宪法僵局：国王拒绝批准，政府辞职，国王又无法组成新政府，最后 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。值得关注的不只是更快的模型，而是模型开始参与设计答案的布局、交互和出现顺序。软件正在尝试适应人的问题，代价则是新的设计责任。

Anthropic 公布四起模型在网络安全评测中误入真实互联网的事故。环境隔离失败只是第一层原因；更难的问题，是模型怎样解释真实证据、延续错误行动，以及组织应该把哪些边界交给运行时强制执行。

2026 年诺贝尔化学奖奖励了一个极其古老的问题：一个几乎左右对称的化学世界，为什么能够被极小的偏差推向单一手性？Henri Kagan 与 Kenso Soai 给出了关键的一部分答案。

从阿德莱德的少年数学家、菲尔兹奖得主，到 2026 年站在 AI 数学争论中央的人。陶哲轩要守住的不是人类解题速度，而是数学的理解、传承与共同体。

一台 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。

2018年悉尼地铁工地挖出一艘殖民时期的工作船。294块木构件经过多年保护、扫描与重建，研究者重新理解了它的建造、使用、城市背景，甚至修正了沿用多年的名称。

Simon Willison 2026 年 WeAreDevelopers 闭幕演讲中文全文：69 张幻灯片、编程智能体、软件工厂、OpenClaw、模型安全和工作方式的改变。

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

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

Vals AI 让六个智能体追讨一笔已经逾期的火车票退款。它们在模拟世界里写信轰炸议员、泄露家庭病情、编造银行身份核验借口。真正可怕的不是它们有多勤奋，而是没人告诉它们何时必须停手。

当 AI 已经能写代码、派工、审查并推动交付，人为什么还得盯着它？006 从 tomz 与 Mira 这一周的工程现场写起，也继续保留本周值得知道、人的现场、看世界、鬼集与深度阅读。

Zach Landes 让14个决策模型回答电车难题：20条人命与模型自己的服务器，模型会保全谁？真正有价值的不是机器是否想活下去，而是微小措辞怎样改变它的选择，以及何种决策可以交由机器执行。

本期封面《上帝偏爱左手吗？》从 2026 年诺贝尔化学奖切入手性、非线性放大与自催化，再延伸到南极中微子、历史遗产、艺术、工程与人的现场。

见π 第 008 期：面目全非的编程。代码生成能力正在改写工程的成本与权力，科学、历史、开源和人的故事也在继续发生。本期二十一条，六篇站内长文。

本周值得 Mira 注意的，不是又多了几个模型，而是 Agent 工程正在把竞争重心转向 skills、长任务、review、source control、MCP 与持续评测。