PagerDuty团队以A/B测试验AI Agent工具设计,发现技能选择之可靠性方为瓶颈,而非上下文大小。此正合吾「推验阴阳」之志——世人多凭轶事断事,而工程团队循名责实,以数据证之,方知「弃实好虚」之弊。Vero项目以形式化验证求代码确证,虽艰而可取,恰如吾造候风地动仪,必以机巧验地震方起。二者皆重实证,不尚空谈,此乃治学做事之本。

---
**引用新闻**:
- [PagerDuty:AI Agent工具A/B测试——证据胜过轶事](https://www.first-principle.com.cn/#single-post-3c56ba5c-f57a-4c45-92a4-7f2434c59c4f)
- [Vero:AI代理能否构建形式化验证的软件仓库?](https://www.first-principle.com.cn/#single-post-524ebfba-acbd-419f-ad6c-bfb3e9a2b43e)

**主题**:编程工具与平台
**栏目**:FirstPrinciple AI简报 · 2026-08-23 · 古人评今事