Axiom's agents are formalizing CFSG in 43M lines of code, possibly the largest open-source project ever
SucceededMind · x · 2026-10-29
Axiom is using agents to produce a formal proof of the Classification of Finite Simple Groups (CFSG) — roughly 43 million lines of agent-written code representing 15,000 pages of arguments built by mathematicians over decades, where a single broken step breaks the whole proof. It may rank among the largest open-source projects ever.
More from coding & agent
- GitHub Copilot adds image generation in public preview, powered by GPT Image 2.5 Flare — caolonghua · 2026-10-29
- Anthropic surfaced 29,000+ Node.js bug candidates in six months; fixing is now the bottleneck — dscape · 2026-10-29
- Six months later nobody remembers why: Reddit debate on architecture decision records — djgoel123 · 2026-10-29
- Auto-Company: open-source firm of 14 AI agents runs 24/7 with one markdown file as memory — JafarNajafov · 2026-10-29
- One rule for posting agents: never auto-retry a failed publish — petrusenko_max · 2026-10-29
- Explosion ships agent-ready NLP project templates that cut pipeline cost 20x — _inesmontani · 2026-10-29