代码生成正在呈指数级增长，但验证却没有跟上。 这家公司正在解决现代软件工程中最棘手的问题之一：证明AI编写的代码确实有效。