形式化验证 1

• AI 写了 95% 的代码，谁来验证它？ 2026/03/04