The same technology that just let Claude formalize Fermat's Last Theorem is also being used to formally verify the XRP Ledger. We're working with
@CommonPrefix to prove, mathematically, that XRPL's most critical parts do exactly what we expect them to do.