Aptos: The first L1 to support dynamic scheduling formal verification

According to Aptos' article on the X platform, Aptos is the first L1 to support formal verification of dynamic scheduling, which can be mathematically proven to run as designed. Aptos claims that AI writes specifications and mathematically proves their correctness, and Move Prover is the trust layer between the market and machines.