A new framework from Google AI Research provides a formal method for auditing machine unlearning. It verifies that specific data points are truly removed from a model's memory. This prevents data leakage in privacy-sensitive applications. Practitioners can now quantify unlearning success rather than relying on heuristic approximations of data deletion.