AI WRITES BUGGY CODE. A SILICON VALLEY START-UP WANTS TO FIX IT

Summary from the TLDR AI newsletter

Axiom raised a $200M Series A at a $1.6B valuation led by Menlo Ventures, one year after founding and with roughly 20 employees, to build what it calls Verified AI: systems that produce formally verified outputs in the programming language Lean, where every reasoning step is machine-checkable, and errors are caught deterministically rather than statistically. The company originally trained on math proofs and then transferred that skill to code verification, a technique that lets it prove not only that code produces correct outputs but also that it won't create unexpected attack surfaces.