Topic Timeline
#形式化验证
这个主题在过往早报中的出现记录。深度条目直达研究报告，其余条目回到当日 edition。
- 行业动态2026-09-19 · 周六重要度 3/5深度报告 →
Trail of Bits复盘AI辅助审计
Trail of Bits 9 月 18 日发布 AI 辅助审计工程案例：先为 Miden zkVM 补 LSP、反编译器和 Lean 模型。
这是社区工具信号，不占今日行业主事件位置。它的价值在于说明 agent 可把审计准备做成可复用基础设施。
- 头条2026-09-05 · 周六重要度 5/5深度报告 →
Anthropic称Claude完成费马证明形式化
Anthropic 9月4日称Claude用11天完成费马大定理端到端Lean形式化证明，并公开可核验仓库。
这条新闻把AI从解题助手推向大规模验证工程。费马大定理本身早有证明，新增价值在Lean工件可核验并可复跑。