There's a venerable field called formal verification, which proves stuff about code.

有一个古老的领域称为形式验证，它证明有关代码的东西。

Meta acknowledged that it doesn't conduct formal parent verification, but says it uses other checks to determine if a user should be allowed to oversee a teen's account.

Meta 承认它还没有进行正式的家长验证，但它表示，它会使用其他检查方法来确定是否允许用户监督青少年的账户。

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 的正式验证工具来证明该程序正确地添加了任何数字，而不仅仅是训练数据中的数字。