Aptos став першим L1, який підтримує формальну верифікацію динамічного планування

Odaily Планетарна щоденна газета повідомляє, що Aptos на платформі X опублікував заяву про те, що Aptos є першою L1, яка підтримує формальну валідацію динамічного планування, і може математично довести свою роботу за задумом. Aptos стверджує, що штучний інтелект пише стандарти, математично доводить їхню правильність, а Move Prover є оракулом, що є рівнем довіри між ринком і машинами.