Aptos becomes the first L1 to support formal verification of dynamic scheduling

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