Axiom released an open-source GitHub repo where dozens of AI agents turned a 15,000-page…
This is a dev post classified by AGK Intelligence as AI dev tools (a tool drop), kept by the Dev Radar because it carries real work, not commentary.
Axiom released an open-source GitHub repo where dozens of AI agents turned a 15,000-page math proof into about 43 million lines of code in 24 days. The proof, known as the Classification of Finite Simple Groups, took 100 mathematicians several decades and lists every basic building block of symmetry in mathematics. The code is written in Lean, a programming language that checks every step of a proof, allowing the whole result to be verified by running the code instead of rereading hundreds of papers. Axiom's chart tracks how large AI-written Lean projects have grown since mid-2025, roughly
Posted by 🚨 AI News | TestingCatalog (82.2k followers) 2 days ago · 109 likes · 10.3k views · view the original post on X. Kept by the Dev Radar as AI dev tools.
More dev work like this
- Rust port of pi, a minimal coding-agent harness: single native binary with full… — @rustaceans_rs
- 🤯天呐！Pi 和 Claude Code 用户狂喜！工具Token调用狂砍 40%！LiquidAI LFM2.5-24B-A2B + HF 专属 LoRA 适配器来了！ — @NFT_Chen
- Mistral Large 4, aka Le Chonk, is now live on llama.cpp (a 1T-parameter model). — @TeksEdge
- 🎃Dario给中国人民带来的极致恐怖从Claude无情封号开始 — @NFT_Chen
- Mia's Qwen3.8-Flash-Next recipe on a DGX Spark: one command, first try, 2 min to the… — @niklaslenz_ai
- Meet Audio8-TTS-Realistic-0.6b: a 0.6B text-to-speech model that clones voices from just… — @HuggingModels
- We're happy to announce our Ruby sponsor: @Superconductor, the multiplayer AI workspace… — @sfrubyconf
- THIS IS ABSOLUTE F*CKING GOLD — @marfinxx
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 31.2k posts from 5k X accounts over the last 21 days, 8.8k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-10-30 21:12 UTC. Full method.