AI Will Write All the Code. Mathematics Will Prove It Works. | Menlo Ventures
menlovc.com · 1,214 words · saved by 2 readers
We’re betting that Verified AI is a new paradigm, and that Axiom is building the defining Verified AI company for the entire world.
We are approaching a world where AI writes effectively all software. Agentic coding tools are already producing entire applications, and the capabilities are improving monthly. But there’s a problem hiding inside this revolution that almost no one is talking about: None of the code is verified. Large language models generate code that looks right. It compiles, it often passes tests, and it frequently works. But “frequently works” is a terrifying standard for the systems that run our infrastructure, manage our finances, and protect our data. LLMs are statistical by nature—they produce…
saved by
related reading
- When AI Writes the World's Software, Who Verifies It? — Leonardo de Mouraleodemoura.github.io
- Formally Verifying the Easy Partbrainflow.substack.com
- startup review: axiom mathil0vemilktea.substack.com
- startup review: axiom mathsubstack.com
- Automatic Formal Verification for Code Generationlogicalintelligence.com
- A shallow dive into formal verificationvitalik.eth.limo
- Asymmetry of verification and verifier’s rule - Jason Weijasonwei.net
- What Happens When the World is Run on Code No One Understands?time.com
- Solve math, solve everything. — Math, Inc.math.inc
- Prediction: AI will make formal verification go mainstream - Martin Kleppmann's blogmartin.kleppmann.com
- Your job is to deliver code you have proven to worksimonwillison.net
- Verifiabilitykarpathy.bearblog.dev