导语
AI 编程工具每月生成数十亿行代码，但一个瓶颈正在浮现：如何确保这些代码真正可用？总部位于纽约的初创公司 Qodo 押注——代码验证（verification）将成为软件开发的下一个主战场。
Qodo 获投 7000 万美元，瞄准 AI 代码信任危机
Qodo 近日宣布完成 7000 万美元 B 轮融资，累计融资总额达 1.2 亿美元。本轮由 Qumra Capital 领投，Maor Ventures、Phoenix Venture Partners、Square Peg、Susa Ventures、TLV Partners 等机构跟投，OpenAI 副总裁 Peter Welender、Meta 工程总监 Clara Shih 也参与其中。
这笔资金将用于扩展其 AI 代码审核&查验、测试与治理的 Agent 能力。
核心差异：不只关注"改了什么"，更关注"影响了什么"
当前大多数 AI 代码审核&查验工具主要分析单次变更，而 Qodo 的思路不同——它关注代码变更对整个系统的影响，并综合考虑组织规范、历史上下文与风险容忍度，帮助企业更自信地管理 AI 生成的代码。
公司 CEO Itamar Friedman 曾在 Mellanox（后被英伟达收购）从事硬件验证自动化，并在阿里巴巴达摩院主导机器视觉业务。他向 TechCrunch 表示，两段经历深刻塑造了 Qodo 的方向：
- Mellanox 时期：他意识到"生成系统"与"验证系统"需要完全不同的方法论和工具链
- 阿里巴巴时期：见证了 AI 向具备人类语言推理能力的系统演进
到 2021–2022 年（GPT-3.5 发布前夕），他判断 AI 将生成世界上很大一部分内容——尤其是代码——这进一步强化了他的信念：代码生成与代码验证需要从根本上分离的系统。
数据揭示的落差：95% 的开发者不完全信任 AI 代码
一项调查 显示，尽管 95% 的开发者不完全信任 AI 生成的代码，但仅有 48% 会在提交前进行系统性审核&查验——认知与实践之间存在显著落差。
这也是 Qodo 看到巨大机会的原因。Friedman 指出：
"代码生成公司大多围绕 LLM 构建，但谈到代码质量与治理，LLM 本身远远不够。质量是主观的，取决于组织标准、历史决策和隐性知识。LLM 无法完全理解这些上下文——就像把一个优秀的工程师从 A 公司派去审核&查验 B 公司的代码，他们缺少内部语境。"
技术指标领先：在 Martian 基准测试中排名第一
Qodo 近期发布了 Qodo 2.0，一款多智能体代码审核&查验系统。据其披露，在 Martian Code Review Bench 基准测试中，Qodo 以 64.3% 的得分排名第一，领先第二名超过 10 个百分点，领先 Claude Code Review 达 25 个百分点。
该基准测试重点考察两个维度：能否捕捉棘手的逻辑缺陷，以及能否识别跨文件关联问题——而不产生过多误报干扰开发者。
已有企业客户：英伟达、沃尔玛、红帽、Intuit 等
Qodo 目前已与多家大型企业建立合作，包括 英伟达（NVIDIA）、沃尔玛（Walmart）、红帽（Red Hat）、Intuit、得克萨斯仪器（Texas Instruments），以及高增长公司 Monday.com 和 JFrog。
下一步：从"无状态 AI"到"有状态系统"
Friedman 总结道：
"每一年都有标志性时刻——从 Copilot 到 ChatGPT，再到全任务自动化。现在我们正在进入一个新阶段：从无状态的 AI 走向有状态的系统，从'智能'走向'人工智慧'。这正是 Qodo 的使命。"
评论