Aptos said it is the first Layer-1 blockchain to support AI-assisted formal verification for dynamically scheduled Move contracts. The company said artificial intelligence drafts the specification, while Move Prover is used to verify correctness, positioning the system as a bridge between markets and machine agents. The update highlights a security-focused development for blockchain infrastructure by applying formal methods to execution logic and scheduling.