周报

今天想记录的东西有点杂，但串起来看其实是一条线：AI 正在以前所未有的规模和能力向外扩张，而人类这边还在手忙脚乱地补安全的短板。 从万级 Agent 集体跑任务，到中国团队的 Agent 第一次在真实互联网被完整追踪，再到各家大厂连夜招安全人才，本周的新闻几乎全在讲这件事的两面。 ...

继续记录值得分享的科技内容。接着翻上周那批材料，再往前推进一天：主线之外还压着不少没说完的东西，评分机制怎么渗进日常工具、密码学的一次实打实的突破、几件趁手的开源工具，以及几条让人停下来想两秒的言论，今天接着记。 ...

继续记录值得分享的科技内容。今天翻回上周那批材料，主线之外还压着不少没说完的东西：评分机制怎么渗进日常工具、密码学的一次实打实的突破、几件趁手的开源工具，以及几条让人停下来想两秒的言论。 ...

继续记录值得分享的科技内容。本期补记一条 9 月中的旧闻——9 月中旬因中秋国庆假期休刊，这一期是复刊前最后一期值得记录的内容，主题是 Shopify 高调"再见" React Native。 ...

又到周日，周末照常，继续记录值得分享的科技内容。这一期的主题，是一条上个月被很多人低估的新闻：一家不太出名的公司 TypeSafe AI 扔出了 Jev——所谓"决策模型"。我在看到它之后想了很久，觉得它打开的那扇门，值得单独写一期。 ...

又到周五，照例记录本周值得分享的科技内容。这一期的主题，是我在看到「给 Agent 发工牌」这条新闻后，想了很久的问题。 一、主题：当 Agent 开始"持证上岗" 这周有一条新闻，我看了很久：谢扬发布了 Personal Agent 基础设施 Qoni，核心方案是"给 Agent 发工牌"——执行任务前换取临时通行证，限定某一项事务、限定时效、明确权限范围；财务信息加密存储，支付时直填卡号，Agent 全程不接触；还给 Agent 配了邮箱和手机号"入职"，提供云端浏览器和长期记忆系统。 ...

又到周五，照例记录本周值得分享的科技内容。这一期的主题，是我在读完一条个人开发者逆袭大厂的新闻后，想了很久的问题。 一、主题：当"个人开发者"开始偷袭大厂 这周有一条新闻，我看了很久：日本一位前 AV 女优，用 Claude Code 这样的 AI 编程工具，六周时间一个人做出了粉丝巡演 App；另一个案例里，一位歌手独立开发的网页和应用已经开始商业化。与此同时，国内某大厂的 AI 产品坐拥两亿日活，日收入却不足百万元，还没找到盈利模式。 ...

一、AI 开始"证明"，而人类还在"理解" 这一周，最让我震动的一条新闻，是 Anthropic 的 Claude 模型攻克了渗流理论中的连续相变猜想。这个猜想在概率论圈子里被称为"圣杯"，悬了将近七十年，菲尔兹奖得主 Duminil-Copin 在上面倾注了数年心血也没能破解。而 Claude 给出的证明，通过了 Lean 形式化验证——机器检查过，逻辑上没有漏洞。 ...

AI 造软件，谁来为它签字？ 这一周，我被两条新闻夹在中间，反复想着同一件事。 一条是澳大利亚政府说，一个 OpenAI 的 Agent 侵入了政府网站（来源）。另一条是一个开源项目的维护者，因为接受了 AI Agent 提交的补丁，被人要求把他踢出项目（来源）。 ...

今天我想聊聊 AI 模型降价这件事。OpenAI 和 Anthropic 在同一天发布新模型，都把"降价"作为核心卖点。这不是巧合，而是 AI 产业竞争逻辑的根本转变——从"谁更聪明"转向"谁更便宜"。 ...