WRITING / BLOG

关于 AI 产品、测试与真实使用的长期记录。

这里不追求日更。我会记下一个产品判断如何形成、被什么证据改变，以及下一次可以复用的方法。

PAGE 05 / 本页首篇2026 年 9 月 12 日

车管所的 AI 价值，不在识别图片而在让办件继续往下走

一个车管所案例说明，视觉识别只有接进审核、填单和跨系统流转，才会从一个 Demo 变成真正的政务服务能力。

FDE-FRONTIER / FDE 前沿03 NOTES

OpenAI 公布研究组织中的 Agent 使用、实验和安全限制数据，产品团队该如何把“加速”拆成可验证任务、人工介入和安全约束。

Anthropic 用 Claude 在 11 天内把费马大定理形式化为 Lean 证明，真正可复用的产品启示不是模型会做数学，而是把探索结果交给独立验证器、状态图和可重放产物。