当AI编码工具每月生成数十亿行代码时，一个新的瓶颈正在浮现：如何确保这些软件按预期工作？初创公司Qodo正在押注代码验证将成为软件开发的下一个关键阶段。

7000万美元B轮融资

总部位于纽约的Qodo宣布完成7000万美元B轮融资，由Qumra Capital领投，总融资额达到1.2亿美元。参与本轮融资的还有Maor Ventures、Phoenix Venture Partners、S Ventures、Square Peg、Susa Ventures、TLV Partners、Vine Ventures，以及OpenAI的Peter Welinder和Meta的Clara Shih等知名天使投资人。

为什么代码验证如此重要？

随着企业加速采用OpenClaw和Claude Code等AI编码工具，许多人发现更快的代码产出并不一定意味着可靠或安全的软件。

Qodo创始人Itamar Friedman对此深有体会。他曾在Mellanox工作，该公司后来被英伟达收购，负责使用机器学习自动化硬件验证。这段经历让他意识到：生成系统和验证系统需要完全不同的方法——不同的工具，不同的思维方式。

后来，在阿里巴巴达摩院工作期间，他看到AI正在向能够推理人类语言的系统演进。到2021-2022年，就在GPT-3.5发布前夕，他清楚地看到AI将生成全球大部分内容——尤其是代码——这强化了他对代码生成和验证需要完全不同系统的认知。

与LLM形成互补

代码生成公司主要建立在LLM之上。但对于代码质量和治理，仅靠LLM是不够的。质量是主观的。它取决于组织标准、过去的决策和隐性知识。LLM无法完全理解这些上下文。这就像把一位优秀的工程师从一家公司带到另一家公司去审查代码——他们缺乏内部上下文。

虽然大多数AI代码审查工具只关注代码变更本身，但Qodo关注的是代码变更如何影响整个系统，综合考虑组织标准、历史上下文和风险承受能力，帮助公司更自信地管理AI生成的代码。

市场表现亮眼

Qodo正在以性能证明自己。在Martian代码审查基准测试中，该公司以64.3%的得分排名第一——比第二名高出10多个百分点，比Claude Code Review高出25分。该基准测试突出了其捕捉棘手逻辑错误和跨文件问题的能力，同时不会用噪音淹没开发者。

在过去一个月，公司推出了Qodo 2.0，这是一个多代理代码审查系统，目前领先于各种基准测试。同时，还引入了能够学习每个组织代码质量定义的工具。

Qodo已经在与英伟达、沃尔玛、红帽、Intuit、德州仪器等大型企业合作，以及Monday.com和JFrog等高成长公司。

从无状态AI到有状态系统

每年都有一个决定性时刻——从Copilot到ChatGPT到全任务自动化。现在我们正进入一个新阶段：从无状态AI到有状态系统——从智能到人工智慧。这就是Qodo的目标。

调查显示，虽然95%的开发者不完全信任AI生成的代码，但只有48%的人在提交前会一致地审查代码。这种认知与实践之间的差距，正是Qodo试图解决的市场机会。

写在最后

Qodo的崛起反映了AI编码领域的一个重要趋势：代码生成只是第一步，如何验证和管理这些代码同样关键。随着AI生成的代码量激增，对验证工具的需求将呈指数级增长。

这不仅仅是技术问题，更是信任问题。企业需要确信AI生成的代码符合安全标准、业务逻辑和内部规范。Qodo正在成为这个新兴市场的先行者，其成功也预示着代码验证可能成为AI时代软件开发的必备环节。