# AI Will Make Formal Verification Mainstream

AI is making formal verification more accessible and widespread.

- **Source:** [Martin Kleppmann](https://martin.kleppmann.com)
- **Published:** 2025-12-08
- **Topic:** [Data & AI](https://brifing.si/c/data-ai)
- **Original article:** <http://martin.kleppmann.com/2025/12/08/ai-formal-verification.html>
- **On Brifing:** https://brifing.si/s/3d674527-6d53-4ad4-9f45-2943d12fa17b

## What is Formal Verification?

Formal verification is the process of mathematically proving that a piece of software adheres to a specific specification. This method is used to prevent errors, especially in critical systems, but requires expertise and time.

## AI's Role

Artificial intelligence is automating the formal verification process, reducing costs. LLM-based coding assistants are rapidly advancing in both writing code and generating proofs.

## Industrial Applications

Currently, formal verification is limited to research projects. However, with AI, this method could become widespread in high-security areas like medical devices and aircraft systems.

## Economic Impact

As the cost of formal verification decreases, more software can be verified. This could significantly reduce the costs associated with software errors.

## AI-Generated Code and Trust

Verifying AI-generated code could eliminate the need for human review. This could speed up the software development process while increasing reliability.

## Future Perspective

AI could mainstream formal verification, changing the culture of software development. The limiting factor will be adoption speed, not technological boundaries.

## Sources covering this story

- http://martin.kleppmann.com/2025/12/08/ai-formal-verification.html — 

---

_Summary written by Brifing from the original reporting. Copyright in the original article belongs to its publisher; read the full piece at the link above._