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
- startup review: axiom mathil0vemilktea.substack.com
- startup review: axiom mathsubstack.com
- When AI Writes the World's Software, Who Verifies It? — Leonardo de Mouraleodemoura.github.io
- Formally Verifying the Easy Partbrainflow.substack.com
- Automatic Formal Verification for Code Generationlogicalintelligence.com
- The fall of the theorem economydavidbessis.substack.com
- Axiom — The Starting Point for Reasoning.axiommath.ai
- Your job is to deliver code you have proven to worksimonwillison.net
- Convictionconviction.com
- Convictionconviction.com
- After Automation | Everyevery.to
- Solve math, solve everything. — Math, Inc.math.inc