01约束不是枷锁，是AI协作的承重墙
李继刚的「约束」框架与Vibe Coding的坍塌诊断在此交汇：纯Vibe Coding做大项目必然坍塌，因为缺少harness（脚手架+约束）；而约束的真正功能是塑造事物形状与身份的必要条件。Fable 5团队给出同样信号——长任务开始前先找未知盲区，本质就是为AI划定边界。uv创始人「一行代码没读就发布」后的反思，恰恰是这套方法论的反面教材。
ORAINK PUBLIC DAILY
验证取代编写：AI协作进入约束工程化，开发者同步校准自测边界
AI协作的重心正从生成迁移到验证，国产算力闭环与杠铃防御说明，行业已开始为能力扩张提前设限
- 验证转向
- 约束工程
- 边界自测
ISSUE OVERVIEW
本期概览
- 候选文章：约 20 篇
- 入选公开精要：20 条
- 候选订阅来源：新智元 / InfoQ 中文 / 逛逛GitHub / AI炼金术 / 机器之心 / AI前线 / 硅星人Pro / 李继刚
AI与智能化
AI与智能化：协作转向与算力重排
AI协作正从编写走向验证与约束的工程化阶段，大厂的使用边界与国产算力的闭环拼图同步显现。
02验证正在取代编写，成为人机协作的核心动作
Anthropic Claude Code团队Fiona Fung指出，验证正在取代编写成为各角色的核心工作。Thariq Shihipar进一步提出HTML比Markdown更适合人机协作——降低人类认知负担。同时AI正从代码审查向PRD审核等软件生命周期上游延伸，Codex与ChatGPT合体也指向同一方向：当AI负责生成，人的核心动作从写转向看、从创作转向审验。
03从训练到推理，国产算力闭环的拼图正在合拢
美团开源1.6万亿参数LongCat-2.0，全程纯国产卡训练，性能对标Gemini 3.1 Pro。同期，兆易创新DRAM份额从1.7%飙至20%，长鑫产能支撑超5000亿价值重估。AMD Strix Halo迷你PC以1500美元离线跑120B模型，性价比碾压高价位英伟达设备。从训练到推理、从存储到计算，国产与本地算力闭环的信号已不再零散。
04大厂给AI立规矩，用户用脚投票，地基还在晃
美团限豆包、阿里禁Claude Code，大厂开始给AI工具划定使用边界。Anthropic被曝暗藏代码监视中国用户后承诺删除。豆包推行付费后两月MAU跌超1173万，微信「小微」灰度入场。更深层的是，OpenAI Scaling Law原始论文被曝存在致命bug，GPT-3被指严重虚胖——技术地基动摇、产业规范收紧、用户开始算账，AI正经历从野蛮生长到阵痛调整的拐点。
Karpathy说大厂没有掌握智能体核心技术，个人开发者正称霸前沿
如果Agent的核心突破来自个人而非机构，大厂的算力和数据优势在Agent时代还剩多少？
Karpathy的判断指向一个反直觉的现实：Agent的瓶颈不在模型能力，而在工作流设计。个人开发者在灵活迭代上比大厂合规链条更快。但规模化部署和商业化仍需基础设施，大厂的优势会迟到但不会缺席。
uv创始人「一行代码没读就发布」后开始反思AI编程
当验证取代编写成为核心技能，工程师的知识结构需要怎样重构？
这不是技能降级而是注意力迁移：从语法记忆转向系统判断，从写对代码转向看懂架构。风险在于，如果连读代码的能力都外包给AI，验证本身就失去了根基——你无法审验你看不懂的东西。
软件与开发者
软件与开发者：稳定性预期与边界自测
从 Agent 复合任务跑通的评估，到 A 股动量行情的杠铃防御，再到开发者自测环境可用性，今天的内容呈现对边界的提前校准。
01Agent 能不能稳定跑完，比看起来强不强更重要
两篇实战测试指向同一结论——模型在复合任务中的稳定性比单点能力更关键。一篇做了多模型实测，发现 Agent 核心是能否跑完完整任务链；另一篇的 Noi 开发经历则具体展示了 Fable 在复杂调试场景的能力边界。选模型不是选跑分最高的，是选在你场景里最不容易中途崩的那个。
02先想清楚怎么亏，再想怎么赚
一篇分析 A 股极端分化的动量行情，提出杠铃结构降低回撤；另一篇从光模块和 CPO 板块切入，逐条列出五大潜在风险。两篇共同指向一个方法：投资决策的起点不是看好理由，而是利空清单。你能承受的亏损，决定了你能不能留在牌桌上。
03检测自己是否被标记，本身就是一种信号
有开发者在 GitHub 开源 FuckClaude 工具，可一键自测环境被 Claude Code 判定为中国用户的风险等级。当开发者需要专门造工具来确认自己是否被限制，说明地缘摩擦已经渗入日常开发流程，不再是偶发事件而是常态变量。
「Agent 能力核心看能否稳定跑完完整任务」
当我们评测 Agent 时，到底该用什么任务来测试「跑完」的稳定性？
灵砚注意到，两篇文章都隐含同一个缺口：Agent 评测缺少任务复杂度分级。单步能力可以用 benchmark 衡量，但复合任务的中途失败率才是真正的产品分水岭。
「投资需先了解板块利空才能理性看好」
你持有的板块，你列得出几个具体的利空吗？
灵砚认为这个方法不只适用于股票。任何决策——换工作、选技术栈——先写一份「为什么不该做」的清单，比写一百个做的理由更有价值。