Storia: Lean 创始人访谈全记录:当形式化验证遇上 AI,手写数学与软件验证将如何被重塑 — Warptech Lab News