According to CoinMeta, the AI system developed by Google DeepMind completed the mathematical proof of the Signal encryption protocol within four weeks and successfully identified known vulnerabilities in the older version. This system verifies security by transforming security requirements into mathematical formulas, ensuring that it always meets safety standards under specified conditions. Researchers stated that ordinary security tests cannot detect all vulnerabilities, while mathematical proofs provide a more rigorous form of verification. In the current protocol part of this inspection, no new vulnerabilities were found in AI.