RecodeX 重构消息，TLA+形式化验证工具被用于支持AI代码生成，提升生成代码的可靠性与正确性。