First, we need to double down on investments in sophisticated monitoring and verification tools for projects that can accurately and transparently track their progress.

首先，我们需要加倍投资于复杂的监控和验证工具，以确保项目能够准确、透明地跟踪其进度。

And then we use the formal verification tool known as Daphneto prove that this program correctly adds up any numbers, not just the numbers that were in your training data.

然后我们使用称为 Daphneto 的正式验证工具来证明该程序正确地添加了任何数字，而不仅仅是训练数据中的数字。