Aptos has announced that it is the first Layer 1 blockchain to support formal verification of dynamic dispatch, allowing mechanisms to be mathematically verified for correct operation. This advancement enables developers to use AI to write specifications and employ Move Prover to verify smart contract logic, enhancing the verifiability and security of on-chain programs.