According to Wu, Aptos claims to be the first Layer 1 blockchain to support formal verification of dynamic dispatch, allowing related mechanisms to be mathematically verified to ensure they operate as designed. Aptos states that developers can use AI to write specifications and verify smart contract logic with Move Prover, enhancing the verifiability and security of on-chain programs.