AI，数学能力，与未来
从计算、证明、猜想到世界生成：当 AI 加速求解，也改变后来者进入研究的方式，新的问题与创造者会从哪里长出来？
模型会用工具之后
模型接触真实软件和同伴之后，已有概念开始变成动作。下一步，是学会判断缺少什么证据、怎样取得它，以及何时改变做法。
神谕与黄昏
AI 时代，这个世界多了很多神。神谕漫天而来；每到周中，诸神黄昏也如期而至。
加速的成本
多 Agent 把一次回答变成持续运行的执行系统。成本不再只有 Token，还会沿着网络、存储、计算、访问额度和账号信誉扩散。
奥卡姆很忙
当 Agent 能直接读取代码、状态和结果，许多为上下文断裂建立的结构都需要重新证明价值。真正不能省略的，是目标、边界、证据与回退。
当速度开始改变探索
AI 缩短了想法接触现实的距离，也让生成开始快过经验。当生产不再等待观察，速度带来的可能不是探索，而是同一种东西的高速繁殖。
全部文章
AI，数学能力，与未来
从计算、证明、猜想到世界生成：当 AI 加速求解，也改变后来者进入研究的方式，新的问题与创造者会从哪里长出来？
模型会用工具之后
模型接触真实软件和同伴之后，已有概念开始变成动作。下一步，是学会判断缺少什么证据、怎样取得它，以及何时改变做法。
神谕与黄昏
AI 时代，这个世界多了很多神。神谕漫天而来；每到周中，诸神黄昏也如期而至。
加速的成本
多 Agent 把一次回答变成持续运行的执行系统。成本不再只有 Token，还会沿着网络、存储、计算、访问额度和账号信誉扩散。
奥卡姆很忙
当 Agent 能直接读取代码、状态和结果，许多为上下文断裂建立的结构都需要重新证明价值。真正不能省略的，是目标、边界、证据与回退。
当速度开始改变探索
AI 缩短了想法接触现实的距离，也让生成开始快过经验。当生产不再等待观察，速度带来的可能不是探索，而是同一种东西的高速繁殖。
说明书之外
当用户把目标直接交给 AI，界面、流程和公开接口就只剩下推荐路径。软件会被拆开、绕行、组合，设计者真正能守住的是语义、资源和现实后果。
实现不再稀缺之后
AI 正在拿走执行成本曾经借给想法的稀缺性。想法仍然重要，但它的价值越来越取决于选择、时机，以及实现以后能留下什么。
当软件的时间开始松动
AI 让一部分实现可以等到上下文出现以后再确定，也让使用反馈在原来的事情结束前返回。软件的时间线正在松动，责任却不能跟着松动。
AI 脚手架的半衰期
AI 脚手架不会在过期时主动报错。模型跨过原来的能力缺口以后，真正该问的不是它还能不能运行，而是拆掉以后究竟会失去什么。
AI 与仪式社会
AI 让报告、创作和复盘的仪式变得廉价而漂亮，也逼我们重新辨认：真正的专业性、理解与判断究竟在哪里。
AI 时代的软件开发变迁
AI 让软件更容易被临时制造，也让软件开始被 Agent 操作。工程标准需要跟随寿命、依赖、权限和现实后果，而不只是代码规模。