Aptos becomes the first L1 to support dynamic scheduling formal verification

Odaily reports that Aptos announced on X platform that it is the first L1 to support dynamic scheduling formal verification, mathematically proving that it operates as designed. Aptos states that AI writes the specifications, mathematics proves their correctness, and the Move Prover serves as the oracle — this is the trust layer between the market and machines.