Aptos becomes the first L1 to support dynamic scheduling formal verification

Aptos posted on platform X stating that Aptos is the first L1 to support dynamically scheduled formal verification, which can be mathematically proven to operate as designed. Aptos claims that AI writes specifications, mathematically proves their correctness, and Move Prover serves as the oracle, which is the trust layer between the market and machines.