AI Briefing#formal-methods
The latest AI and developer news about #formal-methods, with the original source and a short summary.
The latest AI and developer news about #formal-methods, with the original source and a short summary.
NVIDIA has released a formal methodology that uses the Z3 SMT solver to deterministically verify privilege escalation in AI agent policies.
In experiments based on GPT-5.6, instructions for verification skills such as TDD and Formal Methods increased costs without improving accuracy.
Amazon uses Verus to mathematically prove the correctness of Rust code, providing guarantees that go beyond Rust's existing safety features.
DeepSeek-AI and Peking University have released Cordis, a formal theory-based meta-framework for runtime plugin removal and dependency management.
SysMoBench showed that LLMs get TLA+ syntax right but are weak at modeling real systems.
Quint spins off from Informal Systems, positioning itself as an executable spec platform.
Joint research with Stanford grew into cvc5, which now strengthens AWS security.