代碼生成正在以指數級增長，但驗證卻未能跟上。 這家公司正在解決現代軟體工程中最棘手的問題之一：證明 AI 編寫的代碼實際上是有效的。