新创公司&Truth用数学形式化验证为AI编程加保险

新创公司&Truth加入自动化形式化验证的竞赛，该技术用数学方法证明软件按预期运行。这被视为应对“氛围编程”代码可靠性问题的方向，但过程繁琐费力。