Formal verification is still much more time-consuming for a single audit, even with AI advancements. But where it really shines is for repeated audits, or when the code relies on subtle third-parties ✨️