Michael Lynch：编程助手为什么还让人费心 多 Agent 写代码，怎样把验证放进流程 游戏能运行，不代表反编译正确：一份三个月的 Agent 实践 让 Agent 学会接棒：MPT 的启发与被放大的结论 分布式生物推理：把扰动数据变成可追问的线索 Cloudflare 把漏洞扫描拆成持续任务，保留每次检查的证据 Axiom 将有限单群分类证明形式化：难点也在把定义接起来 50：经理也可能把正确答案改错