Antithesis获1.05亿美元融资，Jane Street领投，迎合AI代码审核需求

本轮融资总额达1.05亿美元，创下软件测试领域近五年最大单笔融资纪录，凸显资本市场对AI辅助开发工具安全性的高度关注。Jane Street作为领投方，首次大规模进军软件测试赛道，反映出金融交易行业对代码可靠性验证的迫切需求——高频交易系统依赖毫秒级精准代码，任何AI生成错误都可能导致巨额损失。

除Jane Street外，红杉资本和Accel等顶级风投跟投，资金将重点投入工程团队扩张和全球数据中心建设。Antithesis首席执行官在声明中强调，此轮融资估值较2023年A轮提升300%，但未披露具体数字，凸显投资者对AI代码审核赛道的估值溢价。

Antithesis的核心产品是一款基于形式化验证的自动化测试平台，专为GitHub Copilot、Amazon CodeWhisperer等主流AI编码工具生成的代码提供深度审核。其技术通过数学模型模拟数百万种执行路径，精准识别逻辑漏洞和安全风险，错误检出率较传统测试工具提升40%。

该平台已集成至多家科技巨头的开发流程，典型案例包括：

• 为某头部自动驾驶公司拦截了可能导致传感器误判的AI生成代码缺陷，避免潜在安全事故
• 协助金融科技企业将代码审查周期从两周压缩至48小时，显著提升部署效率
• 支持开源社区对LLM生成代码的自动化审计，已覆盖Python、Java等12种主流编程语言

AI编码工具的普及直接催生了代码审核需求的指数级增长。GitHub数据显示，2025年开发者使用Copilot等工具生成的代码占比已达35%，但第三方研究指出其中18%存在安全隐患，推动企业将测试预算向AI专用工具倾斜。

行业分析师指出三大关键趋势：

• 企业合规压力加剧——欧盟AI法案要求所有生成式AI输出必须经过独立验证，违规企业面临全球营收6%的罚款
• 开发效率瓶颈凸显——传统人工审核无法匹配AI编码速度，平均每千行AI生成代码需200小时人工检查，而自动化工具可降至20小时
• 安全事件频发倒逼投入——2024年因AI生成代码漏洞导致的数据泄露事件同比激增120%，金融和医疗行业成为重灾区

此次融资将加速软件测试行业的范式转变，Antithesis计划在18个月内推出支持多模态AI的下一代平台，不仅能审核文本代码，还将验证AI生成的3D模型和芯片设计指令。公司已与Linux基金会合作建立开源测试标准，推动行业统一规范。

市场研究机构预测，到2027年全球AI代码审核市场规模将突破50亿美元，年复合增长率达65%。Antithesis的领先优势可能重塑竞争格局，传统测试厂商如Selenium和Jenkins正加速整合类似功能，但初创企业凭借技术敏捷性占据先机。

Jane Street的深度参与更暗示跨界融合趋势——交易公司正将软件测试能力纳入核心基础设施，以保障其AI驱动的量化模型在极端市场条件下的鲁棒性，这或将成为金融科技与软件工程协同创新的新范式。