当AI编码工具每月生成数十亿行代码时，一个新问题浮出水面：谁来验证这些代码？Qodo的7000万美元融资表明，投资者正在押注代码验证成为AI时代的下一个大市场。

代码生成与验证的分离

Qodo创始人Itamar Friedman在Mellanox工作时意识到了一个关键洞察：生成系统和验证系统需要完全不同的方法。这一认知来自他负责自动化硬件验证的经历。

在阿里巴巴达摩院，他进一步看到AI正在演变为能够推理人类语言的系统。他预测AI将生成全球大部分代码，这意味着代码生成和验证需要完全不同的系统。

为什么LLM不够？

代码生成公司主要建立在LLM之上。但对于代码质量和治理，仅靠LLM是不够的。

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

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

市场表现

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

客户包括英伟达、沃尔玛、红帽、Intuit、德州仪器等大型企业，以及Monday.com和JFrog等高成长公司。

更大的市场机会

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

随着AI生成的代码量激增，对验证工具的需求将呈指数级增长。代码验证可能成为AI时代软件开发的必备环节。

从无状态AI到有状态系统

Qodo创始人认为，我们正从无状态AI进入有状态系统时代——从智能到人工智慧。

无状态AI每次处理都是独立的，没有历史记忆。有状态系统则能够学习和积累知识，理解组织特定的代码规范和历史决策。这是代码验证真正需要的能力。

写在最后

Qodo的成功反映了AI软件开发的一个趋势：随着AI生成代码的比例越来越高，验证和管理这些代码的需求将创造巨大的市场机会。

这不是与AI编码工具竞争，而是互补。正如Friedman所说，生成和验证需要不同的工具和思维。在这个新分工中，代码验证可能成为一个独立且巨大的市场。

对于企业而言，投资代码验证工具可能成为必要的安全保障。毕竟，信任但验证，永远是工程实践的金科玉律。