形式化验证瞄准Vibe Coding缺陷

初创公司&Truth尝试自动化形式化验证，用数学证明AI生成的软件符合预期。

推荐理由：&Truth押注自动化形式化验证，为AI生成代码提供比测试更强的正确性保证；若能降低证明成本，可能补上Vibe Coding在复杂系统中的可靠性短板。