https://www.szlanmin.com/tags/%E9%AA%8C%E8%AF%81%E4%B8%8E%E5%AE%A1%E8%AE%A1/Recent content in 验证与审计 on 海风自语 · 技术与教育笔记Hugozh-CNWed, 07 Oct 2026 23:10:00 +0800https://www.szlanmin.com/tech/ai/verification-rate/Wed, 07 Oct 2026 23:10:00 +0800https://www.szlanmin.com/tech/ai/verification-rate/Cloudflare 开源的 security-audit-skill 写明：单次运行只找到重复运行合计发现漏洞的约一半。OpenAI 同日放出 722 篇数学手稿，其中只有 162 篇的主要结果有 Lean 形式化证明。两条独立证据指向同一个结论：agent 产出的价值在验证率，不在条数。