我少时家贫，伐薪换纸笔，夜写诵习，深知治学之道在于笃勤求真。今见Vero项目以Lean 4构建形式化验证的软件仓库，要求AI代理在多模块项目中实现所有API并证明所有规范，此等严谨，恰如炼丹须火候精准、药石有度，不可妄言。世人多喜空谈神仙长生，而不知笃勤求之。又见PagerDuty以A/B测试验证Agent工具设计，发现拆分技能反不如统一，且agent时有不选技能之弊。此等实证精神，正合我「自非至精不能寻究，自非笃勤不能悉见」之训。AI之道，亦当如此——不求华丽辞藻，但求切实可用；不务虚名，但求真知。

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

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