Axiom Math formally verifies Stacks Project: 7,654 pages into 16M lines of checked code
danielrock · x · 2026-11-08
Axiom Math announced the formal verification of the Stacks Project, one of the largest bodies of mathematics ever written.
- A fleet of AI agents translated 7,654 pages into 16 million lines of computer-checked code.
- The $1.6B startup wants a verified foundation so AI agents can write software and eventually do science without AI slop.
- Context: OpenAI recently released 719 manuscripts claiming solutions to hard math problems, and even computer checks can slip.
More from AGI Musings
- Locally deployed LLM extracts 136K data points from 130K clinical notes with 97.5% accuracy — DrDatta_AIIMS · 2026-11-08
- Why women trust AI less: missing voices, extra cleanup work, competence penalties — AnnaCiaunica · 2026-11-08
- It's 2030: burnout replaced by boredom, performance reviews by 'what did I accomplish?' — YogeshMalik · 2026-11-08
- Addy Osmani: Managing coding agents is just management — and it beats prompt engineering — addyosmani · 2026-11-08
- Why go to conferences when AI reads and writes the papers? A UIST researcher's reflection — plopesresearch · 2026-11-08
- AI zines fluent in x-risk discourse yet clueless about AI itself: the midwit tell — repligate · 2026-11-08