“屁股疼”数学或能让氛围编程摆脱困境

新创公司&Truth切入形式化验证自动化，试图用数学方法证明软件符合预期，为依赖自然语言生成代码的“氛围编程”补上可靠性环节；争议在于，这类验证能否低成本融入开发流程。

AI 点评

新创公司&Truth切入形式化验证自动化，试图用数学方法证明软件符合预期，为依赖自然语言生成代码的“氛围编程”补上可靠性环节；争议在于，这类验证能否低成本融入开发流程。