Antithesis

为什么重要：Replit CTO Luis Chávez 的说法是，AI 模型输出是概率性的，同一段代码让模型查两次可能得到两种结论，“很难”靠它找全问题；直接用现有模型审代码还会产生大量误报。Antithesis 的卖点恰好相反——同一场灾难测试可以原样重放，换不同修复方案反复验证。它 2025 年底由 Jane Street 领投 1.05 亿美元 A 轮，投后估值 5.25 亿美元，知情人士称很快会以明显更高的估值再融资。

边界：营收增速是 CEO Will Wilson 的口径，他拒绝给出具体数字；这篇是 Applied AI 10 月 15 日的稿件，本刊 10 月 16 日只在延伸阅读里引过导语，今天补的是正文细节，不是新进展。

结论：在 Applied AI 这篇稿件 [L0] 采访的企业里，AI 生成的应用越多，压力测试被单独拿出来采购或自建的情况越多。证据：Replit 买 Antithesis 的确定性模拟器；Lumen 与 Pegasystems 用 Anthropic 和 Microsoft 的 AI 产品自建测试工具；Microsoft 发言人称，使用其测试软件的客户在增加；Gremlin、Chaos Mesh 以及 Amazon 则卖另一种做法——在真实服务器上做受控故障实验，而不是在模拟环境里。