An agent swarm formalized the 15,000-page classification of finite simple groups in 24 days — the bottleneck was the checker, not the models
This story is from 2026-10-28. It is preserved in the archive; the latest stories are on the live feed.
Axiom released a complete Lean formalization of the Classification of Finite Simple Groups on October 26: 43.1 million lines, 2.05 million declarations, 24 days, swarms of dozens of agents coordinated through GitHub issues and a Slack channel, split across 108 milestones. About 1.2 million lines we…
Read the full story at r/OpenAI ↗
Timeline · 1 report
- 2026-10-28 14:20 · r/OpenAI
An agent swarm formalized the 15,000-page classification of finite simple groups in 24 days — the bottleneck was the checker, not the models
More stories
- NVIDIA Nemotron 3.5 Transcribe and Granary v2: Intelligent Multilingual Transcription You Can Prompt and Adapt — Hugging Face Blog
- Anthropic reveals plans for blockbuster IPO — Sky News Technology
- OpenAI launching election war room to track interference efforts — Politico Technology
- Meta's Waddle World is a Tamagotchi-like AI pet app — Engadget
- Anthropic's IPO filing shows soaring sales and steep losses — France 24 — Artificial Intelligence
- DeepMind unveils Genie 4 world model promising more realistic physics and humans — Ars Technica AI
- Elon Musk’s AI Odyssey review – the dullest, most pointless riposte possible to Christopher Nolan’s brilliant epic — The Guardian AI
- AI may quickly generate ideas, but working with people leads to more creative ones — The Conversation AI (US)
Get the daily brief of stories like this at 6:30 every morning →