Aptos: The first L1 network to support AI-assisted dynamic scheduling contracts

CryptoWorld news reports that Aptos has announced that its network has become the first L1 network to support AI-assisted dynamic scheduling contracts, claiming that its Move Prover can serve as an “oracle” between market and machine agents. Aptos emphasized that its Move smart contract stack can mathematically prove that its behavior conforms to the design, even when contracts use higher-order functions and dynamic scheduling. On social media, Aptos Labs stated that AI writes specifications and provides mathematical proofs of correctness, and that Move Prover acts as a trust layer to ensure trust between the market and machines. The team also pointed out that Move is the only smart contract language with built-in native formal verification, and that it has expanded support for dynamic scheduling. According to Aptos’s Move Prover documentation, validators are used at the protocol level to verify core logic, including staking, measurement, code deployment, and supporting data structures. Recent research shows that dynamic scheduling significantly increases the complexity of the state space, requiring Aptos engineers to redesign how verification condition generation and checking are performed. The push for this AI-assisted verification is accompanied by a 50,000,000 USD Aptos funding plan, aimed at supporting on-chain markets and AI systems.