随着AI编程工具每月生成数十亿行代码，一个新的瓶颈正在显现：确保软件按预期工作。专注构建用于代码审查、测试和治理的AI智能体的初创公司Qodo，正押注验证技术将定义软件开发的下一个阶段。 这家总部位于纽约的初创公司已完成由Qumra Capital领投的7000万 ...